c++ 复制消除问题解决示例详析
更新时间：2023年08月10日 10:51:01 作者：hedzr
这篇文章主要为大家介绍了c++ 复制消除问题解决示例详析,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
错误示范
push_back 这么写是错的：
template<class T>
class threaded_message_queue {
public:
using lock = std::unique_lock<std::mutex>;
void push_back(T t) {
{
lock l(_m);
_data.push_back(std::move(t));
}
_cv.notify_one();
}
}
};//入参 T t 导致了调用者在这里会发生一次临时对象 TMP 的复制，稍后在函数退出点处 TMP 还会被隐式析构。所以这个写法不是良构。
至于函数体中的 std::move(t) 也就是聊胜于无了，它并不会让 t 少掉 TMP 的复制，仅仅只是少掉了 t 到 _data 的一次复制而已。
正确工作
做模板类开发时，经常会遇到 push_back 的这种场景。
正确的 push_back 应该包含左值复制和右值移动两种语义，一般来说像是这样子：
template<class T>
class threaded_message_queue {
public:
using lock = std::unique_lock<std::mutex>;
void emplace_back(T &&t) {
{
lock l(_m);
_data.template emplace_back(std::move(t));
}
_cv.notify_one();
}
void push_back(T const &t) {
{
lock l(_m);
_data.push_back(t);
}
_cv.notify_one();
}
}
};注意右值加上移动语义才是一对搭配。T t 和移动语义在一起只是一种错觉。
你还可以加上一个 push_back 的移动语义：
void push_back(T &&t) {
{
lock l(_m);
_data.template emplace_back(std::move(t));
}
_cv.notify_one();
}这是因为按照约定，emplace_back 通常采用模板变参并实现 T 类的原位构造。这个话题我在 C++ 中的原位构造函数及完美转发 - 写我们自己的 variant 包装类 已经有过一定的讨论，这里就不详述了。
X-class
hicc::debug::X 是一个专门用来调试 RVO，In-place construction，Copy Elision 等等特性的工具类，它平平无奇，只不过是在若干位置埋点冰打印 stdout 文字而已，这可以让我们直观观察到哪些行为实际上发生了。
X-class 在构造函数的入参部分有相似的构造：
namespace hicc::debug {
class X {
std::string _str;
void _ct(const char *leading) {
printf(" - %s: X[ptr=%p].str: %p, '%s'\n", leading, (void *) this, (void *) _str.c_str(), _str.c_str());
}
public:
X() {
_ct("ctor()");
}
~X() {
_ct("dtor");
}
X(std::string &&s)
: _str(std::move(s)) {
_ct("ctor(s)");
}
X(std::string const &s)
: _str(s) {
_ct("ctor(s(const&))");
}
X &operator=(std::string &&s) {
_str = std::move(s);
_ct("operator=(&&s)");
return (*this);
}
X &operator=(std::string const &s) {
_str = s;
_ct("operator=(const&s)");
return (*this);
}
const char *c_str() const { return _str.c_str(); }
operator const char *() const { return _str.c_str(); }
};
} // namespace hicc::debug以上就是c++ 复制消除问题解决示例详析的详细内容，更多关于c++ 复制消除问题的资料请关注脚本之家其它相关文章！
相关文章
这篇文章主要为大家详细介绍了C语言实现通讯录系统课程设计，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-07-07
C/C++编译报错printf was not declared in
这篇文章主要介绍了C/C++编译报错printf was not declared in this scope问题及解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教2023-08-08
在本篇文章里小编给大家分享的是关于VC中控制台程序创建窗口的实例方法及相关代码内容，有需要的朋友学习下吧。2021-12-12
Java C++算法题解leetcode1592重新排列单词间的空格
这篇文章主要为大家介绍了Java C++算法题解leetcode1592重新排列单词间的空格示例，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2022-09-09
本篇文章是对VC回调函数的使用进行了详细的分析介绍，需要的朋友参考下2013-05-05
这篇文章主要给大家介绍了关于C++解析特殊符号tab、换行符号的相关资料，这个功能在我们日常开发中经常会遇到，需要的朋友可以参考下2021-05-05
本来自己想到用C++实现神经网络主要是想强化一下编码能力并入门深度学习，对C++实现神经网络框架SimpleNN的详细过程感兴趣的朋友一起看看吧2021-08-08
这篇文章主要介绍了C++11显示类型转换的优点，帮助大家更好的理解和学习c++，感兴趣的朋友可以了解下2020-08-08
这篇文章主要介绍了C++构造函数抛出异常需要注意的地方，帮助大家更好的理解和学习c++，感兴趣的朋友可以了解下2020-08-08
C语言判断结构要求程序员指定一个或多个要评估或测试的条件，以及条件为真时要执行的语句（必需的）和条件为假时要执行的语句（可选的）2017-10-10
最新评论