所有的 std::tuple 构造函数都是必需的吗？答案

【问题标题】：Are all the std::tuple constructors necessary?所有的 std::tuple 构造函数都是必需的吗？
【发布时间】：2013-08-20 11:23:45
【问题描述】：

std::tuple 包含以下构造函数：

explicit tuple( const Types&... args );

template< class... UTypes >
explicit tuple( UTypes&&... args );

两者都有相同的描述，因为它们用args 中的对应值初始化每个元素。唯一的区别是第二个参数是转发的。

根据我对右值引用的理解，我不明白为什么需要第一个版本，因为可以将相同的参数传递到第二个版本。引用将被转发，没有人会更明智，尤其是因为没有提到移动语义。

谁能解释一下是什么让这两个构造函数都必需？

【问题讨论】：

【解决方案1】：

这是一个简化的例子：

template <typename T>
struct foo
{
    foo(const T&);
    template <typename U>
    foo(U&&);
};

第二个构造函数需要某种模板类型推导。这并不适用于所有情况，例如带有初始化列表。只有在第一个构造函数可用时，以下初始化才有效：

auto f = foo<std::vector<int>>{ { 1, 2, 3 } };

【讨论】：

【解决方案2】：

这用于 RValue 引用转发，并针对移动构造进行了优化。第一个版本用于左值。请参阅以下链接以更好地解释。

【讨论】：