CppCon 2019的演讲(https://www.youtube.com/watch?v=St0MNEU5b0o&t=2171s)
Klaus Iglberger提出,使用 vector::push_back 时,假如move constructor没有用noexcept修饰,那么即使使用了std::move ,程序仍然可能采用“先拷贝,再删除源对象”的操作。
里面有个例子,采用了noexcept修饰后,程序耗时2毫秒,比不采用noexcept省了4毫秒。原因是不采用noexcept的情况下,push_back不会调用移动构造函数,而是调用拷贝构造函数。
结论:与vector::push_back是强异常保证有关,在移动构造函数可能造成异常时,push_back所要求的强异常保证可能做不到。所以,为了确保强异常保证,即使在push_back中用到了std::move,移动构造函数也不会被调用,而是调用拷贝构造函数。
原理链接:http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2855.html#throwing-move-constructor
【C++】对vector的push_back的简单理解
最新推荐文章于 2024-07-24 13:42:08 发布