C++ Guaranteed Copy Elision

考虑如下代码：

struct S
{
    S(){}

    // not copyable, not movable:
    S(S const &) = delete;
    S(S  &&) = delete;
};

S getS_GCE() {
    return S();
}

int main()
{
    S s = getS_GCE();
    return 0;
}

这段话在C++17前是编译不过的。因为在用到拷贝构造函数时，却遇到程序员禁止了它们（=delete标注的函数）。C++17新标准，Guaranteed Copy Elision。prvalue的含义发生变化（是啊，还没听说什么纯右值，广义右值之类的“新”名词，prvalue就改变了定义了）。这段程序片段被神奇的编译通过了！

考虑另一段代码：

struct S
{
    S(){}

    // not copyable, not movable:
    S(S const &) = delete;
    S(S  &&) = delete;
};

S getS_NRVO() {
    S s;
    return s;
}

int main()
{
    S s = getS_NRVO();

    return 0;
}

C++17仍旧编译失败。看来，是因为Guaranteed Copy Elision只适用于特定的情况。此处待研究。

参考：

http://en.cppreference.com/w/cpp/language/copy_elision

https://stackoverflow.com/questions/38043319/how-does-guaranteed-copy-elision-work

原文链接: https://www.cnblogs.com/thomas76/p/8576124.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍;

也有高质量的技术群，里面有嵌入式、搜广推等BAT大佬

原创文章受到原创版权保护。转载请注明出处：https://www.ccppcoding.com/archives/397566

非原创文章文中已经注明原地址，如有侵权，联系删除

关注公众号【高性能架构探索】，第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处！

C++ Guaranteed Copy Elision

相关推荐