Clean C++:私有化覆写的虚函数

C++11中增加了override的关键字,当子类需要覆写基类的虚函数时,提供显式的override,可以有效改善程序的编译时安全。

编译时安全

例如,存在一个基类Test,它声明了2个抽象方法。

struct TestResult;

struct Test {
  virtual void run(TestResult&) = 0;
  virtual int countTestCases() const = 0;

  virtual ~Test() {}
};

在子类中覆写基类抽象方法时,显式地标注override不仅可以增强代码的可读性,而且可以增强编译时的安全性。如果严格遵循该规则,当重构基类的抽象方法的签名时,编译器可以准确地找到所有编译失败的引用点,提供了绝佳的重构防护作用。

#include "cut/core/test.h"

struct TestDecorator : Test { 
  TestDecorator(Test& test);

private: 
  void run(TestResult&) override;
  int countTestCases() const override;

private:
  Test& test; 
};

按接口编程

「按接口编程」是面向对象的重要原则。遵守该原则,不仅使得客户代码依赖于更加稳定的抽象,而且缩小了所依赖的范围,使得客户与实现更加正交,从而实现解耦。在C++语言中,访问控制和多态覆写行为是分离的,子类是可以覆写父类私有的虚函数的。例如,模板方法的模式的典型实现方法,都是覆写基类的私有的虚函数实现的。

私有化覆写的虚函数,可以有效保证用户错误地调用子类覆写的成员函数,暗示用户应该基于抽象的接口类型实施编程。例如,上例TestDecorator的构造函数必须公开,否则该类型的实例就不可构造了。其覆写的所有虚函数都被声明为private,警示用户应该基于Test在运行时多态地调用相应的抽象方法。

TestSuite: Test实例集的仓库实现

TestSuite为例,它持有一系列Test类型的实例,它们的运行时类型可能是TestCase, TestSuite, TestDecorator等等。基于抽象的Test类型,实现用例集的隐式树型结构。

#include "cut/core/test.h"
#include "cut/core/internal/bare_test_suite.h"
#include <vector>

struct TestSuite : Test, private BareTestSuite {
  ~TestSuite();

  void add(Test* test);

private:
  void run(TestResult& result) override;
  int countTestCases() const override;

private:
  const Test& get() const override;
  void runBare(TestResult& result) override;

private:
  std::vector<Test*> tests;
};

TestSuite在实现析构函数及其其他函数时,都是基于Test的抽象类型实现运行时多态调用的。

#include "cut/core/test_suite.h"
#include "cub/base/algo.h"

void TestSuite::add(Test* test) {
  tests.push_back(test);
}

TestSuite::~TestSuite() {
  for (auto test : tests) {
    delete test;
  }
}

int TestSuite::countTestCases() const {
  static auto accumulator = [](Test* test){
    return test->countTestCases();
  };
  return cub::reduce(tests, 0, accumulator);
}

const Test& TestSuite::get() const {
  return *this;
}

void TestSuite::runBare(TestResult& result) {
  for (Test* test : tests) {
    test->run(result);
  }
}

void TestSuite::run(TestResult& result) {
  result.runTestSuite(*this);
}

Test, TestSuite, TestCase, TestDecorator之间的关系如下图所示。

隐式树:组合与修饰

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 1. 析构函数和虚析构函数 如果基类的析构函数是虚的,那么它的派生类的析构函数都是虚的 这将导致:当派生类析构的时...
    杰伦哎呦哎呦阅读 2,519评论 0 2
  • C++虚函数 C++虚函数是多态性实现的重要方式,当某个虚函数通过指针或者引用调用时,编译器产生的代码直到运行时才...
    小白将阅读 1,759评论 4 19
  • 二十.多态与虚函数 多态:多态按字面的意思就是多种形态。当类之间存在层次结构,并且类之间是通过继承关联时,就会用到...
    b83dcb2e8b71阅读 617评论 0 1
  • 收集非原创文章,如遇原作者,请私聊我,我会表明出处! 1--10 1. C++中什么数据分配在栈或堆,静态存储区以...
    Juinjonn阅读 4,981评论 0 30
  • 转成早班之后,身体的生物钟还没有完全扭转回来,哪怕每天晚上及时睡觉,也依然要在第二天下午休息的时候睡上一会儿。 状...
    南船北巷阅读 181评论 0 1