为什么在通过 const 引用传递临时值时调用复制构造函数？

Question

我将一个未命名的临时对象传递给使用 const ref 参数定义的函数。类的复制 ctor 是私有的，我得到一个编译错误。我不明白为什么在这种情况下调用复制构造函数。

class A {
public:
  A(int i) {}
private:
  A(const A&) {}
};

void f(const A& a)
{
}

int main()
{
  f(A(1)); // <-- error here: 'A::A(const A&)' is private
}

不出所料，当我将 main 更改为：

A a(1);
f(a);

它有效。

编辑：编译器是 gcc 4.1.2

Answer 1

表达式A(1) 是一个右值 5.2.3 [expr.type.conv]。

在使用 rvalue 表达式初始化const 引用（函数参数）时，编译器可能创建一个临时值并将该表达式的值复制到临时并将该引用绑定到该临时。 8.5.3 [dcl.init.ref] / 5.

[...] 无论复制是否实际完成，用于制作复制的构造函数都应是可调用的。

请注意，此行为是由于下一版 C++ 中的更改所致。在新标准中，从类 prvalue 初始化的 const 引用必须直接绑定到引用对象；在这种情况下不允许创建临时对象，并且不使用或不需要复制构造函数。

Answer 2

您可以在Copy Constructor Needed with temp object找到您问题的答案或直接前往http://gcc.gnu.org/bugs/#cxx%5Frvalbind

C++ 标准规定临时 应在此创建对象 上下文及其内容填充 我们正在尝试的对象的副本 绑定到引用；它还说 可以省略临时副本， 但语义约束（例如。 复制构造函数的可访问性） 还是要查的。

如需更多信息，您可以 请参阅以下段落 C++ 标准：[dcl.init.ref]/5， 项目符号 2、子项目符号 1 和 [class.temporary]/2.

从 GCC 4.3.0 开始，GCC 不再 给出了这种情况下的错误。这 改变是基于意图的 C++ 语言委员会。作为 2010-05-28，最终拟定稿 C++0x 标准允许这样做 代码没有错误。

Answer 3

因为a(1)调用了构造函数A(int i)，然后在调用void f(const A&)时又调用了A(const A&)。

使 A(int i) 构造函数显式，你不应该遇到这个错误。

编辑：我想我误解了这个问题。我可能会删除它。