RTTI、虚函数和虚基类的开销分析及使用指导

心已赠人 2022-08-10 09:29 183阅读 0赞

原文链接：[http://blog.csdn.net/badboyfind/article/details/1797030][http_blog.csdn.net_badboyfind_article_details_1797030]

“在正确的场合使用恰当的特性” 对称职的C++程序员来说是一个基本标准。想要做到这点，首先要了解语言中每个特性的实现方式及其开销。本文主要讨论相对于传统C而言，对效率有影响的几个C++新特性。

C++引入的额外开销体现在以下两方面：

### 编译时开销   ![E5_88_86_E5_89_B2_E7_BA_BF01.png][] ###

<table style="border-collapse:collapse"> 
 <tbody> 
 <tr> 
 <td>模板、类层次结构、强类型检查等新特性，以及大量使用了这些新特性的C++模板、算法库都增加了C++编译器的负担。但是应当看到，这些新机能在不降低，甚至（由于模板的内联 能力）提升了程序执行效率的前提下，明显减轻了广大C++程序员的编码量。 用几秒钟的CPU时间换取几人日的辛勤劳动，附带节省了日后debug和维护代码的时间，这点开销当算超值。 当然，在使用这些特性的时候，也有不少优化技巧。比如：编译一个大型软件时，几条显式实例化指令就可能使编译速度提高几十倍；恰当地组合使用部分专门化和完全专门化，不但可以最优化程序的执行效率，还可以让同时使用多种不同参数实例化模板的软件体积显著减小…… </td> 
 </tr> 
 </tbody> 
</table>

### 运行时开销   ![E5_88_86_E5_89_B2_E7_BA_BF01.png][] ###

<table style="border-collapse:collapse"> 
 <tbody> 
 <tr> 
 <td>运行时开销恐怕是程序员最关心的问题之一了。相对与传统C程序而言，C++中有可能引入额外运行时开销的新特性包括： 
 <ol> 
 <li>虚基类</li> 
 <li>虚函数</li> 
 <li>RTTI（dynamic_cast和typeid）</li> 
 <li>异常</li> 
 <li>对象的构造和析构</li> 
 </ol> 关于其中第四点：异常，对于大多数现代编译器来说，在正常情况（未抛出异常）下，try块中的代码执行效率和普通代码一样高，而且由于不再需要使用传统上通过返回值或函数调用来判断错误的方式，代码的实际执行效率还可能进一步提高。抛出和捕捉异常的效率也只是在某些情况下才会稍低于函数正常返回的效率，何况对于一个编写良好的程序，抛出和捕捉异常的机会应该不多。关于异常使用的详细讨论，参见：<a href="http://www.baiy.cn/doc/cpp/C++%E7%BC%96%E7%A0%81%E8%A7%84%E8%8C%83.htm#代码风格与版式_异常" style="color:rgb(51,102,153); text-decoration:none" rel="nofollow">C++编码规范</a>正文。 而第五点对象的构造和析构开销也不总是存在。对于不需要初始化/销毁的类型，并没有构造和析构的开销，相反对于那些需要初始化/销毁的类型来说，即使用传统的C方式实现，也至少需要与之相当的开销。 这里要注意的一点是尽量不要让构造和析构函数过于臃肿，特别是在一个类层次结构中更要注意。时刻保持你的构造、析构函数中只有最必要的初始化和销毁操作，把那些并不是每个（子）对象都需要执行的操作留给其他方法。 其实对一个优秀的编译器而言，C++的各种特性本身就是使用C/汇编加以千锤百炼而最优化实现的。可以说，想用C甚至汇编比编译器更高效地实现某个C++特性几乎是不可能的。要是真能做到这一点的话，大侠就应该去写个编译器造福广大程序员才对～ C++之所以比C“低效”，其根本原因在于：由于对某些特性的实现方式及其 导致的开销不够了解，致使程序员在错误的场合使用了错误的特性。而这些错误基本都集中在： 
 <ul> 
 <li>把异常当作另一种流控机制，而不是仅将其用于错误处理中</li> 
 <li>一个类和/或其基类的构造、析构函数过于臃肿，包含了很多非初始化/销毁范畴的代码</li> 
 <li>滥用或不正确地使用RTTI、虚函数和虚基类机制</li> 
 </ul> 其中 前两点上文已经讲过，下面讨论第三点。 为了说明RTTI、虚函数和虚基类的实现方式，首先给出一个实例及其具体实现（为了便于理解，这里故意忽略了一些无关紧要的优化）： </td> 
 </tr> 
 </tbody> 
</table>

![E9_92_BB_E7_9F_B3_E5_9E_8B_E7_BB_A7_E6_89_BF_E7_9A_84_E5_85_B8_E5_9E_8B_E5_86_85_E5_AD_98_E5_B8_83_E5_B1_80.png][]  
图中虚箭头代表偏移，实箭头代表指针

<table style="border-collapse:collapse"> 
 <tbody> 
 <tr> 
 <td>由上图得到每种特性的运行时开销如下： 
 <div>
 　 
 <table style="border-collapse:collapse"> 
 <tbody> 
 <tr> 
 <td align="left">特性</td> 
 <td align="left">时间开销</td> 
 <td align="left">空间开销</td> 
 </tr> 
 <tr> 
 <td align="left">RTTI</td> 
 <td align="left">几次整形比较和一次取址操作（可能还会有1、2次整形加法）</td> 
 <td align="left">每类型一个type_info对象（包括类型ID和类名称），典型情况下小于32字节 　 </td> 
 </tr> 
 <tr> 
 <td align="left">虚函数</td> 
 <td align="left">一次整形加法和一次指针间接引用</td> 
 <td align="left">每类型一个虚表，典型情况下小于128字节 每对象若干个（大部分情况下是一个）虚表指针，典型情况下小于8字节 　 </td> 
 </tr> 
 <tr> 
 <td align="left">虚基类</td> 
 <td align="left">从直接虚继承的子类（例如上图中的 "B1" 和 "B2"，但不包括 "DD" ）中访问虚基类的数据成员或其虚函数时，将增加两次指针间接引用和一次整形加法（大部分情况下可以优化为一次指针间接引用）。</td> 
 <td align="left">每类型一个虚基类表，典型情况下小于32字节 每对象若干虚基类表指针，典型情况下小于8字节 在同时使用了虚函数的时候，虚基类表可以合并到虚表（virtual table）中，每对象的虚基类表指针（vbptr）也可以省略（只需vptr即可）。 　 </td> 
 </tr> 
 <tr> 
 <td align="left" colspan="3">&nbsp;* 其中“每类型”或“每对象”是指用到该特性的类型/对象。对于未用到这些功能的类型及其对象，则不会增加上述开销</td> 
 </tr> 
 </tbody> 
 </table> 
 </div> 可见，关于老天“饿时掉馅饼、睡时掉老婆”等美好传说纯属谣言。但凡人工制品必不完美，总有设计上的取舍，有其适应的场合也有其不适用的地方。 C++中的每个特性，都是从程序员平时的生产生活中逐渐精化而来的。在不正确的场合使用它们必然会引起逻辑、行为和性能上的问题。对于上述特性，应该只在必要、合理的前提下才使用。 "dynamic_cast" 用于在类层次结构中漫游，对指针或引用进行自由的向上、向下或交叉强制。"typeid" 则用于获取一个对象或引用的确切类型，与 "dynamic_cast" 不同，将 "typeid" 作用于指针通常是一个错误， 要得到一个指针指向之对象的type_info，应当先将其解引用（例如："typeid(*p);"）。 一般地讲，能用虚函数解决的问题就不要用 "dynamic_cast"，能够用 "dynamic_cast" 解决的就不要用 "typeid"。比如： 
 <div> 
 <table style="border-collapse:collapse"> 
 <tbody> 
 <tr> 
 <td style="line-height:14px"><img height="46" alt="" width="138" src="http://www.baiy.cn/doc/cpp/image/%E5%8F%8D%E9%9D%A2%E6%95%99%E6%9D%90.png" style="border:none; max-width:100%"> void rotate(IN&nbsp;const&nbsp;CShape&amp;&nbsp;iS) { &nbsp;&nbsp;&nbsp;&nbsp;if&nbsp;(typeid(iS) ==&nbsp;typeid(CCircle)) &nbsp;&nbsp;&nbsp; { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// ... &nbsp;&nbsp;&nbsp; } &nbsp;&nbsp;&nbsp;&nbsp;else&nbsp;if&nbsp;(typeid(iS) ==&nbsp;typeid(CTriangle)) &nbsp;&nbsp;&nbsp; { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// ... &nbsp;&nbsp;&nbsp; } &nbsp;&nbsp;&nbsp;&nbsp;else&nbsp;if&nbsp;(typeid(iS) ==&nbsp;typeid(CSqucre)) &nbsp;&nbsp;&nbsp; { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// ... &nbsp;&nbsp;&nbsp; } &nbsp;&nbsp;&nbsp;&nbsp;// ... }</td> 
 </tr> 
 </tbody> 
 </table> 
 以上代码用 "dynamic_cast" 写会稍好一点，当然最好的方式还是在CShape里定义名为 "rotate" 的虚函数。 
 </div> 虚函数是C++运行时多态特性中开销最小，也最常用的机制。虚函数的好处和作用这里不再多说，应当注意在对性能有苛刻要求的场合，或者需要频繁调用，对性能影响较大的地方（比如每秒钟要调用成千上万次，而自身内容又很简单的事件处理函数）要慎用虚函数。 需要特别说明的一点是：虚函数的调用开销与通过函数指针的间接函数调用（例如：经典C程序中常见的，通过指向结构中的一个函数指针成员调用；以及调用DLL/SO中的函数等常见情况）是相当的。比起函数调用本身的开销（保存现场-&gt;传递参数-&gt;传递返回值-&gt;恢复现场）来说，一次指针间接引用是微不足道的。这就使得在绝大部分可以使用函数的场合中都能够负担得起虚方法的些微额外开销。 作为一种支持多继承的面向对象语言，虚基类有时是保证类层次结构正确一致的一种必不可少的手段。在需要频繁使用基类提供的服务，又对性能要求较高的场合，应该尽量避免使用它。 在基类中没有数据成员的场合，也可以解除使用虚基类。例如，在上图中，如果类 "BB" 中不存在数据成员，那么 "BB" 就可以作为一个普通基类分别被 "B1" 和 "B2" 继承。这样的优化在达到相同效果的前提下，解除了虚基类引起的开销。不过这种优化也会带来一些问题：从 "DD" 向上强制到 "BB" 时会引起歧义 ，破坏了类层次结构的逻辑关系。 上述特性的空间开销一般都是可以接受的，当然也存在一些特例，比如：在存储布局需要和传统C结构兼容的场合、在考虑对齐的场合、在需要为一个本来 尺寸很小的类同时实例化许多对象的场合等等。 </td> 
 </tr> 
 </tbody> 
</table>

[http_blog.csdn.net_badboyfind_article_details_1797030]: http://blog.csdn.net/badboyfind/article/details/1797030
[E5_88_86_E5_89_B2_E7_BA_BF01.png]: /images/20220731/981a0968a49a44d098b0c2931df01db8.png
[E9_92_BB_E7_9F_B3_E5_9E_8B_E7_BB_A7_E6_89_BF_E7_9A_84_E5_85_B8_E5_9E_8B_E5_86_85_E5_AD_98_E5_B8_83_E5_B1_80.png]: /images/20220731/6b4900a341b84a288132f819df0d1e86.png