std :: make_pair与std :: pair的构造函数的目的是什么?
std::make_pair
的目的是什么?
为什么不只是做std::pair<int, char>(0, 'a')
?
这两种方法有什么区别?
不同之处在于std::pair
需要指定两个元素的types,而std::make_pair
将创build一个具有传递给它的元素types的对,而不需要告诉它。 这就是我可以从各种文档收集反正。
从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)
每次你分配给一个,这将是随着时间的推移烦人…
使用make_pair
和显式调用具有指定types参数的pair
构造函数没有区别。 std::make_pair
在types冗长时更方便,因为模板方法根据给定的参数进行types推导。 例如,
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));
正如@MSalters上面所回答的那样,现在可以使用花括号在C ++ 11中完成这个工作(只需使用C ++ 11编译器进行validation即可):
pair<int, int> p = {1, 2};
值得注意的是,这是C ++模板编程中常见的习惯用法。 它被称为对象生成器的成语,你可以在这里find更多的信息和一个很好的例子。
编辑正如有人在评论中提出的build议(自从删除)以下是一个稍微修改的链接摘要,以防万一它中断。
对象生成器允许创build对象而不显式指定其types。 它基于类模板没有的函数模板的有用属性:函数模板的types参数是从其实际参数中自动推导出来的。 std::make_pair
是一个简单的例子,它根据std::make_pair
函数的实际参数返回std::pair
模板的一个实例。
template <class T, class U> std::pair <T, U> make_pair(T t, U u) { return std::pair <T, U> (t,u); }
make_pair通过直接构造函数创build一个额外的副本。 我总是键入我的对,以提供简单的语法。
这显示了差异(Rampal Chaudhary的例子):
class Sample { static int _noOfObjects; int _objectNo; public: Sample() : _objectNo( _noOfObjects++ ) { std::cout<<"Inside default constructor of object "<<_objectNo<<std::endl; } Sample( const Sample& sample) : _objectNo( _noOfObjects++ ) { std::cout<<"Inside copy constructor of object "<<_objectNo<<std::endl; } ~Sample() { std::cout<<"Destroying object "<<_objectNo<<std::endl; } }; int Sample::_noOfObjects = 0; int main(int argc, char* argv[]) { Sample sample; std::map<int,Sample> map; map.insert( std::make_pair( 1, sample) ); //map.insert( std::pair<int,Sample>( 1, sample) ); return 0; }
类模板参数不能从C ++ 14的构造函数参数中推断出来
这就是为什么std::make_pair
存在并且能够减less冗长的基本原因,因为可以推导出函数的模板参数。
在C ++ 17中情况可能会改变: 为什么不从构造函数推断模板参数?
这也提到了一个链接: https : //stackoverflow.com/a/15435081/895245 ( https://en.wikibooks.org/wiki/More_C++_Idioms/Object_Generator )
这就是为什么你不能简单地写出理想:
std::pair p(1, 'a');
因为这会调用构造函数。
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
vsinsert_iterator