第一版
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的构造函数。这种比较保险,因为是它推导出来的类型。