复制构造函数，为什么要按值返回函数

Question

假设我有：

class A
{
    A(A& foo){ ..... }
    A& operator=(const A& p) {  }
}

...
A lol;
...

A wow(...)
{

    return lol;
}

...
...
A stick;
stick = wow(...);

那么我会在最后一行收到编译错误。但如果我在“A&”之前添加“const”，就可以了。

我想知道为什么。究竟问题出在哪里呢？ 我不明白为什么它应该是 const。

语言：C++

我编辑过...我认为改变是相关的。这会产生错误。

Answer 1

我相信您提到的问题类似于：

c++ ，匿名（未命名）变量的对象生命周期，

其中要点是在 C++ 中，匿名临时变量不能通过引用传递，而只能通过 const 引用传递。

Answer 2

以下代码可以在 Comeau 和 VC9 上完美编译：

class A
{
public:
    A() {}
    A(A&){}
};

A lol;

A wow()
{
    return lol;
}

int main()
{
    A stick;
    stick = wow();
    return 0;
}

如果您的编译器无法编译此代码，那么我怀疑你的编译器坏了。如果确实如此，则意味着您应该粘贴真实的代码，而不是提供与您看到的问题不同的代码片段。

Answer 3

对 wow 的调用会产生一个临时对象，即右值。 R 值不能分配给非常量引用。由于您的复制构造函数接受非常量引用，因此您无法将 wow 调用的结果直接传递给它。这就是为什么添加 const 可以解决问题。现在，复制构造函数接受 const 引用，r 值可以很好地绑定到该引用。

有可能，您的复制构造函数不会更改它正在复制的对象，因此参数应该通过常量引用传递。这就是复制构造函数的工作方式，除非在特定的、有记录的情况下。

但正如 sbi 在他的回答中指出的那样，这个复制构造函数根本不应该被调用。因此，虽然这都是真的，但它可能与您的问题无关。除非编译器有bug。也许您的编译器看到了两步构造，并决定通过转换 A Stick; 来消除中间人。 Stick = wow(); 转换为 A Stick = wow(); 但这将是一个错误，事实证明它会在完全合法的代码中产生编译错误。但如果没有实际的代码，就不可能说出到底发生了什么。在复制构造函数出现任何问题之前，应该还存在其他几个错误。

Answer 4

不可重现。您是否缺少默认构造函数，或者忘记将构造函数设为public？

请参阅 http://www.ideone.com/nPsHj。

（请注意，复制构造函数可以采用带有任何常量易失性组合的cv A&参数以及一些默认参数。请参阅C++中的§[class.copy]/2标准。）

---

编辑：有趣的是，g++-4.3（ideone）和4.5（带有 -pedantic 标志）没有编译错误，但 g++-4.2 确实抱怨：

x.cpp: In function ‘int main()’:
x.cpp:19: error: no matching function for call to ‘A::A(A)’
x.cpp:7: note: candidates are: A::A(A&)

Answer 5

该函数：

A wow(...) 
{  ... }

按值返回一个对象。
这意味着它被复制回调用该函数的位置。

这一行：

stick = wow(...);  

在棒上进行复制构造。
复制到 Stick 中的值是从函数 wow() 复制回的值。
但请记住，调用 wow() 的结果是一个临时对象（它是从 wow() 复制回来的，但尚未在变量中）。

现在我们看看 A 的复制构造函数：

A(A& foo){ ..... }

您正在尝试将临时对象传递给引用参数。这是不允许的。临时对象只能绑定到 const 引用。该问题有两种解决方案：

1) 使用 const 引用。
2) 按值传递到复制构造函数。

不幸的是，如果您使用解决方案（2），您会遇到一点困难，因为它变成了循环依赖。按值传递涉及使用复制构造函数，因此您会进入无限循环。所以你的解决方案是使用 const 引用传递。