c – make_pair如何知道其args的类型？

发布时间：2020-12-16 10:54:26 所属栏目：百科来源：网络整理

导读：MSVC“实用程序”标头中make_pair的定义是： templateclass _Ty1,class _Ty2 inline pair_Ty1,_Ty2 make_pair(_Ty1 _Val1,_Ty2 _Val2) { // return pair composed from arguments return (pair_Ty1,_Ty2(_Val1,_Val2)); } 我一直使用make_pair,但不将参数类

MSVC“实用程序”标头中make_pair的定义是：

template<class _Ty1,class _Ty2> inline
 pair<_Ty1,_Ty2> make_pair(_Ty1 _Val1,_Ty2 _Val2)
 { // return pair composed from arguments
 return (pair<_Ty1,_Ty2>(_Val1,_Val2));
 }

我一直使用make_pair,但不将参数类型放在尖括号中：

    map<string,int> theMap ;

    theMap.insert( make_pair( "string",5 ) ) ;

我不应该告诉make_pair第一个参数是std :: string而不是char *？

怎么知道的？

解决方法

函数模板调用通常可以通过参数推导避免显式模板参数(即make_pair< ...>),其由C03§14.8.2定义.摘抄：

When a function template
specialization is referenced,all of
the template arguments must have
values. The values can be either
explicitly specified or,in some
cases,deduced from the use.

具体的规则有点复杂,但只要你只有一个通常足够合格的专业化,它通常“只能工作”.

您的示例使用两个演绎步骤和一个隐式转换.

> make_pair返回一对< char const *,int>,>然后模板< class U,classV> pair< string,int> :: pair(pair< U,V> const&)用U = char *,V = int开始并执行成员初始化,>调用string :: string(char *).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!