如何在可变参数上下文中完美转发右值对象的成员变量

先看你的简化代码：

MyPair包装结构体：

template <typename T>
struct MyPair {
    T data;
    // some other stuff here
};

问题出在Tuple的构造函数实现：

template <typename... Ts>
struct Tuple {
   public:
    template <typename... Pairs>
    Tuple(Pairs&&... pairs)
        : data_{std::forward<Ts>(pairs.data)...} {} // 错误的转发方式

   private:
    std::tuple<Ts...> data_;
};

问题根源 #

1. std::forward<Ts>的用法错误：Ts是Tuple的模板参数，和传入的Pairs对象的值类别完全无关，无法根据原始对象的左/右值属性进行转发。
2. 函数参数pairs本身是左值（即使它的类型是右值引用），所以pairs.data始终是左值，用std::forward<Ts>强制转换会把左值转为Ts&&，触发不必要的移动构造。

正确解决方案 #

要实现完美转发，必须基于Pairs的实际类型来保留原始对象的值类别，正确的做法是先转发pairs，再访问其data成员：

template <typename... Ts>
struct Tuple {
   public:
    template <typename... Pairs>
    Tuple(Pairs&&... pairs)
        : data_{std::forward<Pairs>(pairs).data...} {}

   private:
    std::tuple<Ts...> data_;
};

原理说明 #

• std::forward<Pairs>(pairs)会严格保留传入的MyPair对象的左值/右值属性：如果原始对象是右值，转发后还是右值；如果是左值，转发后还是左值。
• 访问转发后的对象的data成员时，data的值类别会和原始MyPair对象一致，这样std::tuple的构造函数就能根据这个类别选择拷贝或移动构造，实现真正的完美转发。

可选的类型安全检查 #

为了避免传入不符合要求的类型，可以添加静态断言，确保每个Pairs都是对应Ts的MyPair特化：

template <typename... Pairs>
Tuple(Pairs&&... pairs)
    : data_{std::forward<Pairs>(pairs).data...} {
    static_assert((std::is_same_v<std::decay_t<Pairs>, MyPair<Ts>> && ...), 
                  "每个参数必须是与Tuple模板参数匹配的MyPair<T>类型");
}

修改后，当传入左值MyPair时会触发拷贝构造，传入右值时触发移动构造，完全消除了不必要的移动操作。

内容的提问来源于stack exchange，提问作者Scyla