## 条款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 的对应函数： ```cpp 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` 函数，令它作用于当前对象上，可以这样实现： ```cpp 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"： ```cpp 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 继承体系一有改变，所有这一类代码都必须再次检阅看是否需要修改。