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语言自制测色弱找方块游戏的示例代码

    C语言自制测色弱找方块游戏的示例代码

    这篇文章主要介绍了基于C语言自制测色弱找方块的游戏。该游戏是仿照最近网上流行的找方块游戏编写的,可玩性还是挺高的,感兴趣的可以了解一下
    2022-12-12
  • C语言数据结构实现字符串分割的实例

    C语言数据结构实现字符串分割的实例

    这篇文章主要介绍了C语言数据结构实现字符串分割的实例的相关资料,希望通过本文能帮助到大家实现这样的功能,需要的朋友可以参考下
    2017-10-10
  • C++教程之进制转换的实现方法

    C++教程之进制转换的实现方法

    在C++中进行进制转换可以通过标准库函数或自定义算法实现,本文主要为大家整理了两种常见场景的转换方法及示例代码,有需要的小伙伴可以根据需求进行选择
    2025-04-04
  • C语言MFC导出dll回调函数方法详解

    C语言MFC导出dll回调函数方法详解

    这篇文章主要为大家介绍了C语言MFC导出dll回调函数方法详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2022-11-11
  • C/C++ chrono简单使用场景示例详解

    C/C++ chrono简单使用场景示例详解

    这篇文章主要介绍了C/C++ chrono简单使用场景示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧
    2025-06-06
  • C++中的RAII机制详解

    C++中的RAII机制详解

    这篇文章主要介绍了C++中的RAII机制详解,RAII是Resource Acquisition Is Initialization的简称,是C++语言的一种管理资源、避免泄漏的惯用法,需要的朋友可以参考下
    2014-09-09
  • C++多态与虚拟之C++编译器对函数名的改编(Name Mangling)

    C++多态与虚拟之C++编译器对函数名的改编(Name Mangling)

    在Windows DLLs中,使用C++编写的DllMain()等callback函数需避免C++编译器进行name mangling,因此需使用extern "C",这篇文章主要介绍了C++多态与虚拟:C++编译器对函数名的改编(Name Mangling),需要的朋友可以参考下
    2024-04-04
  • C语言数学公式来实现土味表白

    C语言数学公式来实现土味表白

    大家好,本篇文章主要讲的是C语言数学公式来实现土味表白,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下,方便下次浏览
    2021-12-12
  • CFileDialog设置多选的问题解决

    CFileDialog设置多选的问题解决

    前几天同事问我在CFileDialog中多选时按确定按钮后DoModal函数的返回值是IDCANCEL的问题解决
    2013-02-02
  • C++ float转std::string 小数位数控制问题

    C++ float转std::string 小数位数控制问题

    这篇文章主要介绍了C++ float转std::string 小数位数控制问题,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2022-11-11

最新评论