是否可以确保复制省略？

发布于 2024-11-10 01:34:46 字数 455 浏览 0 评论 0原文

复制省略是一种简洁的优化技术，在某些情况下依赖于复制省略实际上比“手动”传递引用更快。

因此，假设您已经确定了一条关键代码路径，您依赖于编译器为代码路径执行复制省略以获得最大性能的事实。

但现在您依赖于编译器优化。

是否有任何（显然是特定于编译器的）方法来确保实际执行复制省略，并让编译器（或其他工具）在无法执行复制省略时生成警告/错误？

（我正在考虑与 Visual C++ 的 __forceinline 非常相似的东西，如果编译器未内联标记的函数，则会生成警告。）

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

愛上了 2024-11-17 01:34:47

不。

但是您可以编写一个等效的代码，尽管完全不可读，代码：

BigObj f()
{
    BigObj x(g());
    x.someMethod();
    return x;
}

//...
BigObj z = f();
//...

被翻译（带有复制省略）为：

void f(BigObj* obj)
{
    new(obj) BigObj(g());
    obj->someMethod();
}

//...
char z[sizeof(BigObj)];
f((BigObj*)&z[0]);
//...
((BigObj*)&z[0])->~BigObj();

但说真的，只需以编译器可以省略副本的方式编写代码即可。即仅返回一个对象而不分支：

BigObj f()
{
    BigObj x, y;
    // use x and y
    if(condition)
        return x;
    else
        return y;
    // cannot be elided
}


BigObj f()
{
    if(condition)
    {
        BigObj x;
        return x;
    }
    else
    {
        BigObj y;
        return y;
    }
    // can be elided
}

No.

But you can write an equivalent, although completely unreadable, code:

BigObj f()
{
    BigObj x(g());
    x.someMethod();
    return x;
}

//...
BigObj z = f();
//...

is translated (with copy elision) to:

void f(BigObj* obj)
{
    new(obj) BigObj(g());
    obj->someMethod();
}

//...
char z[sizeof(BigObj)];
f((BigObj*)&z[0]);
//...
((BigObj*)&z[0])->~BigObj();

But seriously, just write your code in such a way that the compiler can elide the copy. I.e. return only one object without branching:

BigObj f()
{
    BigObj x, y;
    // use x and y
    if(condition)
        return x;
    else
        return y;
    // cannot be elided
}


BigObj f()
{
    if(condition)
    {
        BigObj x;
        return x;
    }
    else
    {
        BigObj y;
        return y;
    }
    // can be elided
}

回复收藏 0 原文