c++ - 在这些直接在函数中使用参数的情况下，我是否需要完善前向参数？

Question

我心想我不需要std::forward<T>(arg);在我的函数中，因为我没有将参数传递给另一个函数，所以我直接使用它。然而，后来我想，即使我直接使用它，例如分配它，或使用它作为构造函数参数，那么这些都是函数调用，分别是 operator=和构造函数，这是一个函数调用:

template <typename element_T>
    void push_back(element_t&& copy)
    {
        *_end = copy; // This calls operator=, which is a function
    }

template <typename ... ConstructorArgs>
void emplace_back(ConstructorArgs&& ... args) 
    { 
        
        new (_end) element_t(args); 
// Calls constructor, needs (std::forward<ConstructorArgs>(args)...) ?

        
    }

我需要调用std::forward吗？在这些情况下？

Answer 1

作为变量名称的表达式始终是左值。例如，在

1  template <typename T>
2  void push_back(T&& copy) {
3      *_end = copy;
4  }

copy第 3 行的左值 value category无论 T 推导出什么类型。取决于如何operator=第 3 行中已定义/重载，这可能会导致选择错误的重载或错误的类型推导。

考虑以下简单示例(遵循评论部分中 Ted Lyngmo 的示例):

struct A {
    void operator=(const A&);  // (1)
    void operator=(A&&);       // (2)
};

struct C {
    template<class T>
    void push_back(T&& copy) {
        a = copy;
    }
    A a;
};

C{}.push_back(A{});

哪个A的赋值运算符会在这里被调用吗？人们可能会期望 (2)，因为 A{}是纯右值，但正确答案是 (1)，因为 copy is an lvalue ，并且左值不能绑定(bind)到右值引用。

如果我们将分配更改为

a = std::forward<T>(copy);

然后表达式 std::forward<T>(copy)将具有 xvalue 值类别，并且将按预期调用 (2) 赋值运算符。

新的展示位置遵循相同的推理。