Effective C++
  • 介绍
  • 0.导读
  • 1.让自己习惯 C++
    • 条款01:视 C++ 为一个语言联邦
    • 条款02:尽量以 const, enum, inline 替换 #define
    • 条款03:尽可能使用 const
    • 条款04:确定对象被使用前已先被初始化
  • 2.构造/析构/赋值运算
    • 条款05:了解 C++ 默默编写并调用哪些函数
    • 条款06:若不想使用编译器自动生成的函数,就该明确拒绝
    • 条款07:为多态基类声明 virtual 析构函数
    • 条款08:别让异常逃离析构函数
    • 条款09:绝不在构造和析构过程中调用 virtual 函数
    • 条款10:令 operator= 返回一个reference to *this
    • 条款11:在 operator= 中处理自我赋值
    • 条款12:复制对象时勿忘其每一个成分
  • 3.资源管理
    • 条款13:以对象管理资源
    • 条款14:在资源管理类中小心 copying 行为
    • 条款15:在资源管理类中提供对原始资源的访问
    • 条款16:成对使用 new 和 delete 时要采用相同形式
    • 条款17:以独立语句将 newed 对象置入智能指针
  • 4.设计与声明
    • 条款18:让接口容易被正确使用,不易被误用
    • 条款19:设计 class 犹如设计 type
    • 条款20:宁以 pass-by-reference-to-const 替换 pass-by-value
    • 条款21:必须返回对象时,别妄想返回其 reference
    • 条款22:将成员变量声明为 private
    • 条款23:宁以 non-member、non-friend 替换 member 函数
    • 条款24:若所有参数皆需类型转换,请为此采用 non-member 函数
    • 条款25:考虑写出一个不抛异常的 swap 函数
  • 5.实现
    • 条款26:尽可能延后变量定义式的出现时间
    • 条款27:尽量少做转型
    • 条款28:避免返回 handles 指向对象内部成分
    • 条款29:为”异常安全“而努力是值得的
    • 条款30:透彻了解 inlining 的里里外外
    • 条款31:将文件间的编译依存关系降至最低
  • 6.继承与面对对象设计
    • 条款32:确定你的 public 继承塑模出 is-a 关系
    • 条款33:避免遮掩继承而来的名称
    • 条款34:区分接口继承和实现继承
    • 条款35:考虑 virtual 函数以外的其他选择
    • 条款36:绝不重新定义继承而来的 non-virtual 函数
    • 条款37:绝不重新定义继承而来的缺省参数值
    • 条款38:通过复合塑模出 has-a 或”根据某物实现出“
    • 条款39:明智而审慎地使用 private 继承
    • 条款40:明智而审慎地使用多重继承
  • 7.模板与泛型编程
    • 条款41:了解隐式接口和编译期多态
    • 条款42:了解 typename 的双重含义
    • 条款43:学习处理模板化基类内的名称
    • 条款44:将与参数无关的代码抽离 templates
    • 条款45:运用成员函数模板接收所有兼容类型
    • 条款46:需要类型转换时请为模板定义非成员函数
    • 条款47:请使用 traits classes 表现类型信息
    • 条款48:认识 template 元编程
  • 8.定制 new 和 delete
    • 条款49:了解 new-handler 的行为
    • 条款50:了解 new 和 delete 的合理替换时机
    • 条款51:编写 new 和 delete 时需固守常规
    • 条款52:写了 placement new 也要写 placement delete
  • 9.杂项讨论
    • 条款53:不要请忽编译器的警告
    • 条款54:让自己熟悉包括 TR1 在内的标准程序库
    • 条款55:让自己熟悉 Boost
Powered by GitBook
On this page

Was this helpful?

  1. 5.实现

条款27:尽量少做转型

Minimize casting.

C++ 规则的设计目标之一是保证类型错误绝不可能发生。但是程序中避免不了转型(casts)操作,而转型会破坏类型系统(type system)。

C 风格的转型

C 风格的转型操作有两种,通常称为“旧式转型“(old-style casts):

  • (T)expression

  • T(expression)

两种形式无差别,纯粹只是小括号的摆放位置不同。

C++ 风格的转型

C++ 还提供四种新式转型(new-style casts 或 C++-style casts):

  • const_cast<T>(expression) :通常用来将对象的常量性转除(cast away the constness);

  • dynamic_cast<T>(expression) :主要用于执行”安全向下转型“(safe downcasting),即用来决定某对象是否归属继承体系中的某个类型;

  • reinterpret_cast<T>(expression) :意图执行低级转型,实际动作可能取决于编译器,所以它也就表示不可移植;

  • static_cast<T>(expression) :用来强迫隐式转型;

新式转型相比旧式转型更受欢迎的原因有两个:

  1. 它们很容易在代码中被辨识出来;

  2. 各转型动作的目标愈窄化,编译器愈能诊断出错误的运用;

关于转型的错误认知

首先,转型操作不仅仅是告诉编译器把某种类型视为另一个类型,任何一个类型转换往往真的令编译器编译出运行期间执行的码。

其次,关于转型,我们很容易写出某些似是而非的代码,例如许多应用框架(application frameworks)都要求 derived classes 内的 virtual 函数代码的第一个动作就是先调用 base class 的对应函数:

class Window {
public:
    virtual void onResize() {}
    ...
};

class SpecialWindow: public Window {
public:
    virtual void onResize() {
        static_cast<Window>(*this).noResize();
        ...
    }
};

这段程序将 *this 转型为 Window,对函数 onResize 的调用也因此调用了 Window::onResize ,但其实这个函数并没有作用在当前对象身上。它是在”当前对象的 base class 成分“的副本上调用 Window::onResize ,然后在当前对象身上执行 SpecialWindow 的专属动作。这使得当前对象进入一种”伤残“状态:其 base class 成分的更改没有落实,而 derived class 成分的更改倒是落实了。

所以如果只是想调用 base class 版本的 onResize 函数,令它作用于当前对象上,可以这样实现:

class SpecialWindow: public Window {
public:
    virtual void onResize() {
        Window::onResize();
        ...
    }
};

dynamic_cast

dynamic_cast 通常使用在指向 derived class 的 “base” 指针或者引用,此时程序想要通过这个指针或引用调用 derived class 的操作函数,但这种转型方式的实现执行速度相当慢。所以通常情况下有两种方式避免这种转型:

  • 第一种方式是使用容器并在其中储存直接指向 derived class 对象的指针,但是这种方法无法在同一个容器内存储指针”指向所有可能的派生类“;

  • 第二种方式是通过 base class 接口处理”所有可能的各种派生类“,即提供 virtual 函数;

绝对必须避免的一件事情是”连串(cascading)dynamic_casts":

class Window { ... };
class SpecialWindow1: public Window { ... };
class SpecialWindow2: public Window { ... };
class SpecialWindow3: public Window { ... };

...

Window* winPtrs = ...;
if (SpecialWindow1* pw1 = dynamic_cast<SpecialWindow1*>(winPtrs)) {...}
else if (SpecialWindow2* pw2 = dynamic_cast<SpecialWindow2*>(winPtrs)) {...}
else if (SpecialWindow3* pw3 = dynamic_cast<SpecialWindow3*>(winPtrs)) {...}

这样产生的代码又大又慢,而且基础不稳,因为每次 Window class 继承体系一有改变,所有这一类代码都必须再次检阅看是否需要修改。

Previous条款26:尽可能延后变量定义式的出现时间Next条款28:避免返回 handles 指向对象内部成分

Last updated 6 years ago

Was this helpful?