make_tuple mit Template-Parameter lässt sich nicht kompilieren

Question

diesen Code vor:

#include <tuple> 

int main() 
{ 
    int i; 
    long k; 

    auto tup1 = std::make_tuple<long>(i); // Compiles 
    auto tup2 = std::make_tuple<int>(k); // Compiles 
    auto tup3 = std::make_tuple<int>(i); // Does not compile 
    auto tup4 = std::make_tuple<int>(i+0); // Compiles 
    auto tup5 = std::make_tuple(i);   // Compiles 
} 

Warum auto tup3 = ... nicht kompilieren? Offensichtlich will make_tuple<int>(...) eine Rvalue-Referenz als sein Argument; aber warum?

(Ich bin mit GCC 6.1.0.)

Answer 1

std::make_tuple und std::make_pair sind so konzipiert, Template-Parameter abzuleiten (unter anderem gleichem Bezug Wrapper Auspacken). Die explizite Angabe ist ein Fehler.

In diesem speziellen Fall ist es, weil Vorlage Abzug für rvalues ​​ihre Art ergibt, analog zu diesem Beispiel:

template<typename T> 
void foo(T&&); 

foo(42); // foo<int>(int&&) 
int i{}; 
foo(i); // foo<int&>(int&) // after reference collapsing 

und deshalb make_tuple<int>(...) einen rvalue Bezug auf ihr Argument will.

Wenn Sie Conversions zwingen wollen, alles, was Sie sagen müssen, ist

auto tup1 = std::tuple<long>(i);