0

在这种情况下会出现复制省略吗？换句话说，具有复制省略的现代编译器是否避免在这里调用任何复制构造函数？

class BigObj{};

BigObj fun()
{
  BigObj b;
  return b;
}
int main()
{
  BigObj *pb = new BigObj(fun());
}

我的目标是将对象存储在指针中。对象由函数返回。我想存储它而不复制它。

我不能使用 c++11

4

2 回答 2

1

IMO 并不完全清楚您的目标是什么。如果您要使用动态分配，那么您的函数应该简单地：

BigObj * fun()
{
  return new BigObj;
}
int main()
{
  BigObj *pb = fun();
}

...并为自己省去麻烦。

与答案的先前版本相反，事实证明编译器可以省略大量工作，只要它处于可以彻底分析的静态上下文中：

class C {
public:
    C() {qDebug() << "C created";}
    C(const C & o) { qDebug() << "C copied"; }
};

C foo() {
    C c;
    qDebug() << &c;
    return c;
}

...
    C c = C(foo()); // note that `C c = ` is also copy construction
    qDebug() << &c;

输出验证两个实例具有相同的地址，因此即使在本地上下文中，该实例实际上也没有存储在foo.

更改为：

C * cp = new C(foo());
qDebug() << cp;

令我惊讶的是，它还输出了相同的地址，同时省略了按值返回的副本和复制构造函数。cinfoo直接在内存块中构造，由new.

总之，C++ 编译器在分析和进行所有可能的优化方面非常聪明。

分别在第一种和第二种情况下关闭优化：

C created
0x28fd97
C copied
C copied
C copied
0x28fdeb

...

C created
0x28fd97
C copied
C copied
0x34fd00
于 2015-08-07T07:36:20.763 回答
0

RVO 是标准允许但没有特别要求的内容之一。也就是说，大多数现代编译器（至少启用了适当的优化设置）都会实现它。但是，如果您想要保证，则需要阅读编译器文档。

由于目标是无论如何动态分配对象，我只需更改示例，以便被调用的函数进行动态分配。而不是（OP的代码）；

BigObj fun()
{
    BigObj b;
     //   presumably the point of fun() is that some initialisation
     //     of b occurs here
    return b;
}
int main()
{
    BigObj *pb = new BigObj(fun());
}

我会简单地使用

BigObj *fun()
{
    BigObj *b = new BigObj;
     //   presumably the point of fun() is that some initialisation
     //     of *b occurs here
    return b;
}
int main()
{
    BigObj *pb = fun();
}

BigObj并消除所有一起复制的潜在可能性。唯一被复制的是指针的值。因此，编译器不依赖 C++11 移动构造函数的存在来优化上述内容，因为它避免了不必要的对象创建和复制，因此这满足了 OP 不需要使用 C++11 的需要。

显然，在任何一种情况下，将 operator new 的使用与相应的 operator delete 相匹配都是很好的做法。

于 2015-08-07T07:33:41.523 回答