时间戳

首页 > 解决方案 > 在这些直接在函数中使用参数的情况下，我是否需要完善前向参数？

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

问题描述

我心想我不需要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在这些情况下，我需要调用 to吗？

标签： c++perfect-forwarding

解决方案

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

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

copy在第 3 行中，无论推导出什么类型，都有左值值类别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 是左值，并且左值不能绑定到右值引用。

如果我们将分配更改为

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

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

放置 new 遵循相同的推理。

推荐阅读