与公共分配操作员私人复制ctor时出错

Question

您可以解释为什么以下代码不能编译？

#include <iostream> 

using namespace std; 

class Foo 
{ 
public: 
    Foo() { cout << "Foo::Foo()" << endl << endl; } 
    Foo& operator=(const Foo&) { cout << "Foo::operator=(const Foo&)" << endl << endl; } 
private: 
    Foo(const Foo& b) { *this = b; cout << "Foo::Foo(const Foo&)" << endl << endl; } 
}; 

int main() 
{ 
    Foo foo; 

    foo = Foo(); 
} 

错误我收到：

$ g++ -o copy_ctor_assign copy_ctor_assign.cc && ./copy_ctor_assign 
copy_ctor_assign.cc: In function 'int main()': 
copy_ctor_assign.cc:10: error: 'Foo::Foo(const Foo&)' is private 
copy_ctor_assign.cc:17: error: within this context 

注：当我删除私人：关键字代码编译，但拷贝构造函数永远不会被调用。那么为什么它在私密时会犯错？

不知道，如果是重要的，但我使用：

$ g++ --version 
g++ (GCC) 4.1.2 20080704 (Red Hat 4.1.2-44) 
Copyright (C) 2006 Free Software Foundation, Inc. 

Answer 1

要初始化从临时参考（f2使用拷贝构造函数创建）。
标准状态：
使用非参考副本初始化（8.5）的规则，临时值应该初始化（8.5.3参数5）“。

临时删除复制结构（由标准允许的12.8部分5）。
然而，标准明确规定（12.2帕1）：
“即使避免了临时对象的创建（12.8），因为如果临时对象的创建的所有语义限制必须遵守[实施例：偶如果拷贝构造函数不叫，所有的语义限制，如可访问性（第11条），应满足]”

（也，寻找合适的报价的时候，发现这个duplicate :)

编辑： 从标准添加相关位置

Answer 2

拷贝构造函数被调用时：

1. 按值传递的对象作为参数传递给函数，
2. 返回一个对象来自一个函数。

因此，您当然在代码中的某个位置执行一个或两个这种情况。您应该将Copy Ctor设置为公开或避免之前的两个案例。如果你写

Foo foo; // normal constructor 
Foo foo1(foo); //copy constructor 

在你的情况

Answer 3

复制构造函数被调用，第一个默认的构造函数被调用，那么运营商=方法。

Answer 4

假定您已经发布的代码是在项目中唯一的代码，并有FOOS没有秘密路过的价值去任何地方，所有我可以计算是GCC是优化

Foo foo; 
foo = Foo(); 

到

Foo foo = Foo(); 

...这是不健全，作为第一形式是一个默认的构建体和一个赋值，而第二个是相当于

Foo foo(Foo()); 

......这显然是一个复制结构。如果我是对的，复制构造函数不会运行，因为GCC可以优化多余的临时;这是C++规范允许的。

通常，在不同的保护级别使用赋值操作符和拷贝构造函数并不是一个好主意;正如你所见，结果可能不直观。

Answer 5

该代码用gcc 4.3.3和4.4.1编译。也许这只是gcc 4.1中的一个错误？

Answer 6

#include <iostream> 

using namespace std; 

class Foo 
{ 
public: 
    Foo() { cout << "Foo::Foo()" << endl << endl; } 
    Foo& operator=(const Foo&) { cout << "Foo::operator=(const Foo&)" << endl << endl; } 
    Foo(const Foo& b) { *this = b; cout << "Foo::Foo(const Foo&)" << endl << endl; } 
}; 

int main() 
{ 
    Foo f1;// default constructor called 

    Foo f2 = f1; //copy constructor called 
} 

入住这一点，在Foo f2=f1;