济宁网站建设top网站开发生命周期模型

第一版

    std::map<int, int> t;t.emplace(1, 1);for (const std::pair<int,int>& data : t){int i = 0;std::ignore = i;}中间留一些空格，是因为ms在调试的时候，尤其是模板比较多的时候，经常断点的行号有问题。比如第5行的断点，需要打在第4行。
如果代码之间没空行，经常断点会搞错。

把端点下在：for (const std::pair<int,int>& data : t)

发现调用了构造函数，既然调用了构造函数，那么就存在拷贝的可能性，这里是int所以没关系，如果first和second是类，就会发生拷贝动作：

D:\DevTools\VS2017\VC\Tools\MSVC\14.16.27023\include\utility

看其堆栈：

拷贝出来：

std::pair<int,int>::pair<int,int><int const ,int,0>
(const std::pair<int const ,int> & _Right={...}

)

其中，std::pair<int,int>::pair<int,int>就是构造函数，就是for (const std::pair<int,int>& data : t)里的std::pair<int,int>& data，显式指定的类型。

0就是enable_if出来的结果。

思考：

由于构造函数也是个模板，所以它的参数也是推导出来的，参数的类型是const std::pair<int const ,int> & _Right={...}

也就是说推导出来的key的类型是int const，value的类型是int，那么它所对应的std::pair应该是std::pair<int const,int>。而for循环里显式指定了std::pair<int,int>，所以这里面就产生了一个拷贝构造函数的动作。可以认为const std::pair<int,int>是一个临时对象？

改个写法，key上添加const

    std::map<int, int> t;//t.emplace(1, 1);for (const std::pair<const int,int>& data : t){auto x = std::make_unique<int>();}

这个时候，就不会走pair的构造函数了。

最好的办法是用for(const auto& data : t)，这种写法也不会走std::pair的构造函数。这种比较保险，因为是它推导出来的类型。