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

Question

std::tuple包含，除其他外，以下的构造：

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

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

两者在它们初始化每个与args对应的值的元素等效的描述。唯一的区别是在第二个参数被转发。

从我对rvalue引用的理解中，我不明白为什么第一个版本是必需的，因为可以将相同的参数传递到第二个版本。这些引用将被转发，没有人会更聪明，尤其是没有提到移动语义。

任何人都可以解释它是什么使得两个构造函数都是必需的吗？

Answer 1

下面是一个简单的例子：

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

第二个构造需要某种模板类型扣。这在所有情况下都不起作用，例如与初始化列表。如果第一个构造函数可用，以下初始化仅适用：

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

Answer 2

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

http://thbecker.net/articles/rvalue_references/section_07.html