class A
{
};
class B
{
public:
B(A& a): m_a(a){}
A& m_a;
};
int main()
{
A a;
B b(a);
B b1 = b;
}
我期待B b1 = b;产生错误.相反,当我用VS2008编译时,我只是得到一个警告
warning C4512: ‘B’ : assignment
operator could not be generated
我明白为什么我得到这个警告.但编译器不应该生成B b1 = b的错误;声明呢？就像它生成的拷贝构造函数一样,但没有生成赋值运算符.这两个不是固有地相互关联吗？当另一个无法生成时,只为其中一个生成默认实现是有意义的？
解决方法
warning C4512: 'B' : assignment operator could not be generated
问题1：为什么这个警告？
引用只能在创建时初始化一次.创建后,您不能重新分配对另一个相同类型变量的引用,因为“引用”只是创建它的类型变量的别名,并将继续保留.尝试重新分配它会产生错误.
通常,编译器默认每个类都生成一个隐式的逐位赋值运算符,但在这种情况下,由于类B具有作为成员m_a的引用,如果编译器要生成一个隐式赋值运算符,那么它将会破坏引用不可能的基本规则被重新分配.因此,编译器会生成此警告,通知您无法生成隐式赋值运算符.
问题2：但编译器不应该生成B b1 = b的错误;声明呢？
所产生的警告和这个特定的操作根本没有关系.
B b1 = b;调用隐式(由@AndreyT正确指出)复制构造函数B :: B(const B&).隐式复制构造函数是类默认生成的成员函数之一.所以没有警告或错误.
问题3：就像它生成的拷贝构造函数一样,但没有生成赋值运算符.这两个不是固有地相互关联吗？
不,他们根本没有关系.是的,编译器生成一个复制构造函数,但是由于上述问题1的答案中指定的原因,它不能生成赋值运算符.这是因为成员引用m_a可以在构造函数本身的主体中进行初始化.这只是在创建时的初始赋值,而不是赋值为=.
问题4：当另一个无法生成时,只生成其中一个的默认实现是有意义的吗？
对3问题的回答似乎回答了这一点.
只是重申您的代码示例中正在执行的操作：
B(a);调用转换复制构造函数B :: B(A&)
B b1 = b;调用默认的复制构造函数B :: B(const B&)
考虑其他情况.
如果你有B b1 = a;它会调用B :: B(A&),因此不会再出现错误.
但如果B :: B(A&)被声明为显式,则编译器会标记错误,并且不会通过充当转换函数来进行任何隐式转换.
检查相同的here.