std :: tuple을 호환 유형의 std :: tuple로 요소별로 생성 할 수없는 이유는 무엇입니까?

Question

호환 유형의 std::tuple에서 요소 별로 std::tuple 개 요소를 초기화 할 수 없습니다. boost::tuple처럼 작동하지 않는 이유는 무엇입니까?

#include <tuple> 
#include <boost/tuple/tuple.hpp> 

template <typename T> 
struct Foo 
{ 
    // error: cannot convert 'std::tuple<int>' to 'int' in initialization 
    template <typename U> 
    Foo(U &&u) : val(std::forward<U>(u)) {} 

    T val; 
}; 

int main() 
{ 
    boost::tuple<Foo<int>>{boost::tuple<int>{}}; // ok 

    auto a = boost::tuple<int>{}; 
    boost::tuple<Foo<int>>{a};      // ok 

    std::tuple<Foo<int>>{std::tuple<int>{}};  // fails with rvalue 

    auto b = std::tuple<int>{}; 
    std::tuple<Foo<int>>{b};      // fails with lvalue 
} 

Live on Coliru는

---

std::tuple이 요소 현명한 건축 일을하지 않습니다 (GCC 또는 연타와 된 libstdC++ 컴파일되지 않습니다, 그러나 연타와의 libc는 ++ 오류없이 컴파일) 그리고 Foo<int>::Foo<std::tuple<int>> 대신 Foo<int>::Foo<int> 인스턴스화 . 내가 생각 std::tuple::tuple overloads no. 4 and 5는 그 목적을 위해 정확했다 :

template <class... UTypes> 
tuple(const tuple<UTypes...>& other); 

template <class... UTypes> 
tuple(tuple<UTypes...>&& other); 

참고 :
std::is_constructible<Ti, const Ui&>::value 모든 i에 대한 true하지 않는 한

가 오버로드 확인에 참여하지 않습니다.

std::is_constructible<Foo<int>, int>::value은 true입니다. GCC 템플릿 오류에서 오버로드 번호를 볼 수 있습니다. 3 :

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

이 대신 선택됩니다. 왜?

Answer 1

오버로드 (4), (5)보다 더 가난한 일치가 (3) 통과 할 때 tuple& : (3) 완벽한 전달의 마법을 통해 정확히 일치하는 동안 그들이 const& 및 && 과부하입니다.

(3)은 Foo(U&&) 생성자가 지나치게 욕심 때문에 유효합니다.

template <class U, 
    std::enable_if_t<std::is_convertible<U,int>{},int>* =nullptr 
> 
Foo(U &&u) : val(std::forward<U>(u)) {} 

를 rvalue 케이스해야하지만, 일을하거나 모호 할 : 그것은 구축에 실패 할 때 일치하지 않도록

는 Foo(U&&)에 SFINAE 검사를 추가합니다. 실제 예제의 오류 로그를 보면, 볼 수있는 유일한 오류는 lvalue 하나입니다.