运行时类型信息（动态类型信息）是否完备？

本文共计2139个文字，预计阅读时间需要9分钟。

众周知，编码写代码，自然要求严谨周密，想象力也很重要。几十年的阅读经验，让我深感很多代码的脑洞被大大禁锢，鲜有人能跳出雷池一步。特别是C++的同学习惯，连共同委员会的那都过于拘谨。

众所周知，码猿写代码，自然要求严谨周密，殊不知想象力也很重要。本座阅码几十年，很是感概很多码猿的脑洞被大大禁锢，鲜有人能越雷池一步，特别是c++的同学，连同委员会的那一坨老头子，都很让人无语至极，出自这些人的作品，都是一个死鱼眼睛样子，千人一面，毫无灵动之生趣可言。stl，boost这些库都是这样子（虽然它们确实可以完成大多数日常任务），更别说其他的库，没有什么让人耳目一新之处。

就说说动态类型信息这块，又或者说是反射。自然，语言本身提供的废物type_info就懒得说了，除了证明c++也东施效颦，也能支持动态信息之外，就别无用处了，有谁会正儿八经的用type_info做点正儿八经的事情呢。因此，各路人马纷纷上阵，都要弥补c++在运行时类型信息上的缺失。因为类型的反射信息实在太重要，或者说，反射的用武之地太多太多，表面上很多事情不需要反射，或者字面代码上就看不到反射的痕迹，但是内里的实现，大把大把的反射在发光发热。c++坚持不在动态信息上给予一点点多余的支持，并不表示c++就不需要反射了，看看标准库这个极力回避动多态的典范，是一个怎样的失败作品，嗯，这个以后再谈吧。假如stl一开始就没有如此大力排斥动多态，你看看就连内存分配的allocator都可以做到静态类型信息里面（最新版的c++终于也要接受多态的allocator，c++界居然一片欢呼鼓舞，真是悲哀），今时今日的c++就不会在很多领域上到处割地求和。