C++赋值运算符关于继承的问题

Question

我有两个类 - 基类 A 和派生类 B - 我写了这个

A obj;  
B obj2;  
obj = obj2;  

如果我还没有覆盖任何赋值运算符，实际上会发生什么？这只是将 obj2 的 A 部分复制到 obj 中吗？这是正确的，还是编译器只是借口的错误？ IS_A 关系是否允许执行该语句？非常感谢任何帮助。

Answer 1

class Base
{
    //Members       
};

class Derived1:public Base
{
    //Members
};

class Derived2:private Base
{
    //Members 
};


int main()
{
    Base obj1;
    Derived1 obj2;
    Derived2 obj3;

    obj1 = obj2;   //Allowed Since Public Inheritance 
    obj1 = obj3;   //Not Allowed, Compiler generates error
}

当 obj1 = obj2 时，仅将从基类继承的派生类 obj2 的成员复制到 obj1，派生类的其余成员将被删除。这只是因为基类 obj1 不知道派生类的成员。这种现象称为对象切片。

如果类有需要在堆上分配的指针成员变量，则 obj1 = obj2 会创建一个浅复制，这意味着 obj1 和 obj2 中的指针成员变量现在将指向相同的堆内存。那么如果 obj2 被操作系统回收并且 obj1 仍在使用中会发生什么呢？灾难！因此，应该通过重载 = 运算符和创建对象的深复制来避免浅复制。

Answer 2

这当然是允许的。它将把 obj2 的 A 子对象分配给 obj。

由于 IS-A 关系，如果不阻止 A 实例的赋值，几乎不可能在编译时阻止这种情况。

Answer 3

它将浅复制 obj2 的“A”部分。

从语言的角度来看，这是完全可以的。

如果它适合您的应用程序，这取决于许多因素，但这就是您可以重载赋值运算符的原因。

Answer 4

重载你的赋值运算符。并且在实现 B 部分时，A 部分中的 thts 将被分配...在您尝试分配 A 中存在的 B 值之前，不会生成编译器错误

Answer 5

A::operator=(const A& value);

将被执行。 obj1 隐式转换 (static_cast) 为 const A&。

因此，您的 obj=obj1; 相当于

obj = static_cast<const A&>(obj1);

显然隐式生成的赋值将分配 A 的每个非静态成员。

要拒绝这种情况，请使用私有/受保护的继承。通过使用公共继承，您声称所有 B 类型的对象都可以以各种可能的方式合法地用作 A 类型的对象。

您还可以显式声明

A& A::operator=( const B& value );

或者定义

A& A::operator=( const A& value );

以多态方式运行。