C ++传递向量（从左值到右值）

Question

假设您已将2 vectors传递给函数lvalue references。后来您意识到，可以使用递归并vectors使用它们的切片iterators。

难道是一个恰当的策略，如果我继续前进，写一些util功能，利用这些vecotrs作为rvalues？还是我应该以任何方式避免这种情况？

简化模式：

Node* util(vector<int>&& a, vector<int>&& b) {
    Node* root = new Node(a[0]);

    root->left = util({ a.begin(), a.end() }, { b.begin(), b.end() });
    root->right = util({ a.begin(), a.end() }, { b.begin(), b.end() });

    return root;
}

Node* main(vector<int>& a, vector<int>& b) {
    return util({ a.begin(), a.end() }, { b.begin(), b.end() });
}

实际示例（LeetCode 105）：

TreeNode* util(vector<int>&& preorder, vector<int>&& inorder) {
    if (!preorder.empty()) {
        TreeNode* root = new TreeNode(preorder[0]);

        auto r = find(inorder.begin(), inorder.end(), preorder[0]);

        root->left = util(
        { preorder.begin() + 1, preorder.begin() + 1 + distance(inorder.begin(), r) },
        { inorder.begin(), r });
        root->right = util(
        { preorder.begin() + 1 + distance(inorder.begin(), r), preorder.end() },
        { r + 1, inorder.end() });

        return root;
    }
    return nullptr;
}

TreeNode* buildTree(vector<int>& preorder, vector<int>& inorder) {
    return util({ preorder.begin(), preorder.end() }, 
                { inorder.begin(), inorder.end() });
}

Answer 1

您使用的是错误的方式：{a.begin(), a.end()}等效于std::vector<int>(a.begin(), a.end())，即调用接受两个迭代器的构造函数，后者在这两个迭代器之间复制所有数据，即您所用的整个向量（或更实际的示例中向量的子范围） 。

但是您不会以任何方式修改向量，因此不需要任何副本。

如果您只想读取原始向量，则可以直接使用迭代器。您可以按值传递这些参数，无论如何，它们或多或少只是指向向量数据的指针：

TreeNode* util
(
    vector<int>::const_iterator preorderBegin, vector<int>::const_iterator preorderEnd,
    vector<int>::const_iterator inorderBegin, vector<int>::const_iterator inorderEnd
)
{
    // ...
    ++preorderBegin; // if we do so before the call, we have just one addition; compiler
                     // might optimize to the same code, but we don't rely on it this way
    util(preorderBegin, preorderBegin + distance(), inorderBegin, r);
    // ...
}

const_iterator？好吧，我们要接受const向量：

TreeNode* buildTree(vector<int> const& preorder, vector<int> const& inorder)
//                                ^                            ^
// you don't modify the vectors, so accept them as constant
{
    return util(preorder.begin(), preorder.end(), inorder.begin(), inorder.end());
    // note the dropped braces...
}