条款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)
:用来强迫隐式转型;
新式转型相比旧式转型更受欢迎的原因有两个:
它们很容易在代码中被辨识出来;
各转型动作的目标愈窄化,编译器愈能诊断出错误的运用;
关于转型的错误认知
首先,转型操作不仅仅是告诉编译器把某种类型视为另一个类型,任何一个类型转换往往真的令编译器编译出运行期间执行的码。
其次,关于转型,我们很容易写出某些似是而非的代码,例如许多应用框架(application frameworks)都要求 derived classes 内的 virtual 函数代码的第一个动作就是先调用 base class 的对应函数:
这段程序将 *this
转型为 Window,对函数 onResize
的调用也因此调用了 Window::onResize
,但其实这个函数并没有作用在当前对象身上。它是在”当前对象的 base class 成分“的副本上调用 Window::onResize
,然后在当前对象身上执行 SpecialWindow 的专属动作。这使得当前对象进入一种”伤残“状态:其 base class 成分的更改没有落实,而 derived class 成分的更改倒是落实了。
所以如果只是想调用 base class 版本的 onResize
函数,令它作用于当前对象上,可以这样实现:
dynamic_cast
dynamic_cast 通常使用在指向 derived class 的 “base” 指针或者引用,此时程序想要通过这个指针或引用调用 derived class 的操作函数,但这种转型方式的实现执行速度相当慢。所以通常情况下有两种方式避免这种转型:
第一种方式是使用容器并在其中储存直接指向 derived class 对象的指针,但是这种方法无法在同一个容器内存储指针”指向所有可能的派生类“;
第二种方式是通过 base class 接口处理”所有可能的各种派生类“,即提供 virtual 函数;
绝对必须避免的一件事情是”连串(cascading)dynamic_casts":
这样产生的代码又大又慢,而且基础不稳,因为每次 Window class 继承体系一有改变,所有这一类代码都必须再次检阅看是否需要修改。
Last updated
Was this helpful?