三律与继承

Rule of three and inheritance

本文关键字：继承      更新时间：2023-10-16

class A定义了复制操作符、析构符和操作符=。(三原则)

如果B继承自A:

  • 析构函数将被自动调用
    • 我需要链接构造函数
  • operator=…我应该为类B显式地定义它吗?

不，没必要。

如果你仔细阅读"三原则"，你会注意到没有提到基类，决定完全取决于类的适当属性和行为。

(在ideone上查看此示例)

#include <iostream>
struct A {
  A(): a(0) {}
  A& operator=(A const& rhs) { a = rhs.a; return *this; }
  int a;
};
struct B: A { B(): b(0) {} int b; };
int main() {
  B foo;
  foo.a = 1;
  foo.b = 2;
  B bar;
  bar = foo;
  std::cout << bar.a << " " << bar.b << "n";
}
// Output: 1 2

这实际上是封装的真正力量。因为您成功地使用三规则使基类的行为相同，它的派生类不需要知道复制构造函数是由编译器默认的还是手动实现的(并且很复杂)，对用户(派生类就是用户)来说，重要的是复制构造函数执行复制。

三规则提醒我们一个实现细节来帮助实现正确的语义。像所有的实现细节一样，它只与该类的实现者和维护者有关。

同样的三法则也适用于派生类。
该规则适用于所有类，你可以将它应用于继承层次结构中的每个类，就像你将它应用于单个类一样。

如果您的class B需要两个中的任何一个(复制构造函数&Big Three的析构函数)，则还需要定义复制赋值操作符。

所以它实际上取决于派生类&您希望派生类对象的行为。

例如

:
如果派生类成员由任何指针成员组成，并且需要深度拷贝，那么根据三规则，派生类需要重载并为三指针成员提供自己的实现。

Als说的是对的，但我不确定他是否回答了你的问题。如果你在B中没有什么特别想做的事情，除了你已经在A的三大目标中做的事情，那么你就没有理由去定义B的三大目标。

如果你确实需要其中的一个，应该使用"三原则"。
析构函数将被自动调用
为了一致性，最好还是在派生类B中定义析构函数

我需要链接构造函数

当然

。如果基构造函数是默认的，那么它仍然更有利于一致性。

操作符=…我应该为类B显式地定义它吗?

是的，像这样:

struct A
{
  A& operator=( const A & r )
  {
    // assign all A's member variables
    return *this;
  }
};
struct B : public A
{
  B& operator=( const B & r )
  {
    A::operator=( r );
    // assign all B's member variables
    return *this;
  }
};

这是一个示例代码和输出:

#include <iostream>
class A{
 int a;
 public:
 A():a(0){}
 A(A const & obj){std::cout << "CC calledn"; a = obj.a;}
 A & operator =(A & a){std::cout << "operator= calledn"; return a;}
 ~A(){std::cout << "A::dtor calledn";}
};
class B: public A{
};
int main(){ 
 B b,v;
 b=v;
}
输出:

operator= called
A::dtor called
A::dtor called
相关文章：