Нужны ли все конструкторы 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, и оптимизировано для перемещения конструкции. Первая версия используется для lvalues. См. Следующую ссылку, чтобы лучше объяснить.

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