c – 赋值操作符和存在引用的复制构造函数

我只是使用这个代码来测试引用：

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.