类模板参数不能从c++ 17以前的构造函数中推断出来

在c++ 17之前，你不能写这样的东西:

std::pair p(1, 'a');

因为这将从构造函数参数推断模板类型，你必须显式地将它写成:

std::pair<int,char> p(1, 'a');

c++ 17使这种语法成为可能，因此make_pair是多余的。

在c++ 17之前，std::make_pair允许我们编写更少的详细代码:

MyLongClassName1 o1;
MyLongClassName2 o2;
auto p = std::make_pair(o1, o2);

而不是更啰嗦:

std::pair<MyLongClassName1,MyLongClassName2> p{o1, o2};

它重复类型，并且可以很长。

类型推断适用于c++ 17之前的情况，因为make_pair不是构造函数。

Make_pair本质上等价于:

template<class T1, class T2>
std::pair<T1, T2> my_make_pair(T1 t1, T2 t2) {
    return std::pair<T1, T2>(t1, t2);
}

同样的概念也适用于inserter vs insert_iterator。

参见:

为什么不从构造函数推断模板参数? https://en.wikibooks.org/wiki/More_C++_Idioms/Object_Generator

最小的例子

为了使事情更具体，我们可以用以下方法最小限度地观察问题:

main.cpp

template <class MyType>
struct MyClass {
    MyType i;
    MyClass(MyType i) : i(i) {}
};

template<class MyType>
MyClass<MyType> make_my_class(MyType i) {
    return MyClass<MyType>(i);
}

int main() {
    MyClass<int> my_class(1);
}

然后:

g++-8 -Wall -Wextra -Wpedantic -std=c++17 main.cpp

编译愉快，但是:

g++-8 -Wall -Wextra -Wpedantic -std=c++14 main.cpp

失败:

main.cpp: In function ‘int main()’:
main.cpp:13:13: error: missing template arguments before ‘my_class’
     MyClass my_class(1);
             ^~~~~~~~

而要求工作:

MyClass<int> my_class(1);

或者帮手:

auto my_class = make_my_class(1);

它使用常规函数而不是构造函数。

std::reference_wrapper的区别

这条注释提到std::make_pair解包装std::reference_wrapper，而构造函数没有，所以这是一个区别。做例子。

用GCC 8.1.0, Ubuntu 16.04测试。

类模板参数不能从c++ 17以前的构造函数中推断出来

在c++ 17之前，你不能写这样的东西:

std::pair p(1, 'a');

因为这将从构造函数参数推断模板类型，你必须显式地将它写成:

std::pair<int,char> p(1, 'a');

c++ 17使这种语法成为可能，因此make_pair是多余的。

在c++ 17之前，std::make_pair允许我们编写更少的详细代码:

MyLongClassName1 o1;
MyLongClassName2 o2;
auto p = std::make_pair(o1, o2);

而不是更啰嗦:

std::pair<MyLongClassName1,MyLongClassName2> p{o1, o2};

它重复类型，并且可以很长。

类型推断适用于c++ 17之前的情况，因为make_pair不是构造函数。

Make_pair本质上等价于:

template<class T1, class T2>
std::pair<T1, T2> my_make_pair(T1 t1, T2 t2) {
    return std::pair<T1, T2>(t1, t2);
}

同样的概念也适用于inserter vs insert_iterator。

参见:

为什么不从构造函数推断模板参数? https://en.wikibooks.org/wiki/More_C++_Idioms/Object_Generator

最小的例子

为了使事情更具体，我们可以用以下方法最小限度地观察问题:

main.cpp

template <class MyType>
struct MyClass {
    MyType i;
    MyClass(MyType i) : i(i) {}
};

template<class MyType>
MyClass<MyType> make_my_class(MyType i) {
    return MyClass<MyType>(i);
}

int main() {
    MyClass<int> my_class(1);
}

然后:

g++-8 -Wall -Wextra -Wpedantic -std=c++17 main.cpp

编译愉快，但是:

g++-8 -Wall -Wextra -Wpedantic -std=c++14 main.cpp

失败:

main.cpp: In function ‘int main()’:
main.cpp:13:13: error: missing template arguments before ‘my_class’
     MyClass my_class(1);
             ^~~~~~~~

而要求工作:

MyClass<int> my_class(1);

或者帮手:

auto my_class = make_my_class(1);

它使用常规函数而不是构造函数。

std::reference_wrapper的区别

这条注释提到std::make_pair解包装std::reference_wrapper，而构造函数没有，所以这是一个区别。做例子。

用GCC 8.1.0, Ubuntu 16.04测试。

使用make_pair和显式地使用指定类型参数调用pair构造函数之间没有区别。当类型是verbose时，Std::make_pair更方便，因为模板方法具有基于给定参数的类型推断。 例如,

std::vector< std::pair< std::vector<int>, std::vector<int> > > vecOfPair;
std::vector<int> emptyV;

// shorter
vecOfPair.push_back(std::make_pair(emptyV, emptyV));

 // longer
vecOfPair.push_back(std::pair< std::vector<int>, std::vector<int> >(emptyV, emptyV));

区别在于std::pair需要指定两个元素的类型，而std::make_pair将创建一个带有传递给它的元素类型的pair，而不需要告诉它。这是我从各种文件中收集到的。

请看http://www.cplusplus.com/reference/std/utility/make_pair/上的这个例子

pair <int,int> one;
pair <int,int> two;

one = make_pair (10,20);
two = make_pair (10.5,'A'); // ok: implicit conversion from pair<double,char>

除了它隐含的转换奖励，如果你不使用make_pair，你必须这样做

one = pair<int,int>(10,20)

每次你分配给一个人，随着时间的推移会很烦人……

从c++11开始，只对pair使用统一初始化。所以不要:

std::make_pair(1, 2);

or

std::pair<int, int>(1, 2);

只使用

{1, 2};

正如@MSalters上面回答的那样，你现在可以在c++ 11中使用花括号来做到这一点(刚刚用c++ 11编译器验证了这一点):

pair<int, int> p = {1, 2};