如何围绕std：：move构建unique_ptrs的二叉树？

Question

我目前正在尝试创建一个二叉树，其中的每个节点都包含一个指向树中其他节点的unique_ptr。我的问题是一个关于设计的问题：我不完全确定如何编写一个递归函数来构建这样的树，而不调用节点中包含的指针move，以便将它们作为参数传递给下一个递归函数调用。

我有一个如下所示的函数：

void MParser::parseExpression(unique_ptr<Symbol>& parent, string expression){

    Scope mainScope = findMainScope(expression);
    unique_ptr<Symbol> child;
    
    if (mainScope.type == ScopeType::Atomic){

        child = buildAtom(expression);
        parent->appendChild(child);
        return;

    }else{

        child = buildOperation(mainScope.type);
        parent->appendChild(child);

        vector<string> operands = separateOperands(mainScope, expression);

        parseExpression(child, operands[0]);
        parseExpression(child operands[1]);
    }  
}

我不喜欢使用shared_ptr，因为实际上没有任何共享所有权，这将大大降低函数的速度。

我确信这是一个我没有正确考虑的设计问题。任何帮助我如何解决这个问题都是感激的。

Answer 1

问题是，我的appendchild()函数涉及一个std::vector.push_back()，它要求用std::move()移动传入的子级。现在可以了，子节点已经被推入树中的正确位置。但是，这个函数中的子变量现在是nullptr，当我试图将它传递到下一个函数调用中时，我得到了不希望的行为。

当使用move语义时，您需要确保访问了被移动的对象。在这种情况下，只需重新排序语句就可以解决问题。此外，我建议使用std::vector::emplace_back直接调用move构造函数，而不使用默认构造函数+move赋值。

}else{

    child = buildOperation(mainScope.type);

    vector<string> operands = separateOperands(mainScope, expression);

    parseExpression(child, operands[0]);
    parseExpression(child operands[1]);

    parent->appendChild(child);

}

或者，您可以让appendchild返回对新构造节点的常量引用；只是确保在使用引用时不要添加更多的子项。

}else{

    child = buildOperation(mainScope.type);

    const std::unique_ptr<Symbol>& currentChildHolder = parent->appendChild(child);

    vector<string> operands = separateOperands(mainScope, expression);

    parseExpression(currentChildHolder, operands[0]);
    parseExpression(currentChildHolder, operands[1]);
}

const std::unique_ptr<Symbol>& ParentSymbol::GetChild(size_t index)
{
    return m_children[index];
}

再次注意，如果子列表的长度被修改，该引用可能会变得不可用，因此您可能希望使用std::unique_ptr::get从unique_ptr对象中“提取”信息。或者，您可以直接返回一个非智能指针。