爲什麼`std :: pair`將`std :: tuple`作爲ctor參數類型而不是`const std :: tuple＆`？

Question

的C++ 11標準定義的std::pair一個構造如下：

template<class... Args1, class... Args2> 
pair(std::piecewise_construct_t, std::tuple<Args1...> first_args, 
    std::tuple<Args2...> second_args); 

爲什麼std::pair採取std::tuple作爲構造函數參數類型，而不是const std::tuple&？

如果重複複製first_args和second_args怎麼辦？

Answer 1

目的是爲那些元組具有引用的元組，如通過創建std::forward_as_tuple：

Foo x; 
Bar y(1, 2, true); 

std::pair<A, B> p(std::piecewise_construct, 
        std::forward_as_tuple(10, x, make()), 
        std::forward_as_tuple(std::move(y), false, get(), 'a')); 

此構建體對元件彷彿由A(10, x, make())等

實際的元組類型是std::tuple<int &&, Foo &, Z &&>等，這是重量輕。