C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了C副本省略参考大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
@H_301_0@
考虑到以下简化代码,Cache :: operator []的调用者保证接收映射值的副本?
#include <string>
#include <map>
#include <mutex>
#include <iostream>

class Cache {
    public:
        std::string operator[] (int k) {
            std::lock_guard<std::mutex> lock(m_mutex);

            if (! m_map.count(k)) m_map[k] = "Hello world";
            return m_map[k];
        }

    private:
        std::mutex m_mutex;
        std::map<int,std::string> m_map;
};

int main (int argc,char *argv[]) {
    Cache c;
    auto v = c[42];
    std::cout << v << std::endl;
    return 0;
}

正如我所看到的,我的意图是并发性,并且在释放互斥锁之后,不能保证映射值的继续存在.

std :: map<> :: operator []返回一个引用std :: string&.我的理解是复制结构会产生一个无名的临时版,然后可能会受到RVO的影响.

何时会发生复制省略并且这会导致不同的线程返回相同的对象而不是自己的副本?如果是这样,怎么能避免这种情况?

实际代码涉及数据库查找填充缓存,其中映射键是表主键,映射值是从行字段构造的对象.

解决方法

你有的代码很好.当编译器意识到它可以优化掉临时对象而不是在适当的位置构造新对象时,就会发生复制省略. map :: operator []返回对其值类型的引用这一事实无关紧要,该函数不返回引用.因此,
// case 1
std::string myFunction()
{
    return std::string("Hello");
}

// case 2
std::string myFunction(int k)
{
    return m_map[k];
}

都将返回副本.不同之处在于,在第一种情况下,您的编译器很可能使用copy elision / RVO(即不调用复制构造函数),而在第二种情况下,它必须调用复制构造函数并进行复制.

如果您的编译器不使用copy elision / RVO,而不是C 11标准,则返回的值是临时的(在第一种情况下),并且因为类std :: string是可移动的,所以临时将被移动.例如,

std::string newStr = myFunction(); // RHS returns an r-value => move-semantics is used

因此,预先说明是否使用move-semantics或者是否会出现copy elision / RVO并不总是很明显,这取决于你的编译器.如果您愿意,可以使用强制移动语义

std::move

编辑:顺便说一句,你甚至不会被允许返回对临时的引用.你不能参考r值(临时).

大佬总结

以上是大佬教程为你收集整理的C副本省略参考全部内容,希望文章能够帮你解决C副本省略参考所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。
标签: