在C++语言里面出现过这样的情况:知道了语言实现的底层机制,却不知道语言特性本身的意义在什么地方,这些内容都是一些门户网站和技术论坛找到的,中间可能有不少错误是没有挑出的,欢迎大家指正。
STL模板库之外,还有一个与模板风格相关的例子。下面的代码片断取自Visual C++自动生成的ATL控件工程
- class ATL_NO_VTABLE CMyATLObj :
- public IMyATLObj,
- public IpersistStreamInitImpl
- <CMyATLObj>,
- public IOleControlImpl<CMyATLObj>,
- public IOleObjectImpl<CMyATLObj>,
- public IoleInPlaceActiveObjectImpl
- <CMyATLObj>,
- public IViewObjectExImpl<CMyATLObj>,
- public IoleInPlaceObjectWindowlessImpl
- <CMyATLObj>,
- public IPersistStorageImpl<CMyATLObj>,
- public IspecifyPropertyPagesImpl
- <CMyATLObj>,
- public IQuickActivateImpl<CMyATLObj>,
- public IDataObjectImpl<CMyATLObj>,
- public IProvideClassInfo2Impl
- <&__uuidof(CMyATLObj), NULL>,
- public CComControl<CMyATLObj>
注意控件类CMyATLObj的代码,CMyATLObj类居然是从N个接口类和控件类中派生出来的,类的声明语句中随处可见模板的身影——这就是Microsoft为我们设计的别具一格的ATL风格的代码了。
之所以要不惜代价地大量使用模板、多重继承等语言特性,这主要为了适应COM、OLE、ActiveX等在架构上本来就相对复杂的技术体系。但这样一来,使用ATL的代码在所有C++代码中,就拥有了一副异乎寻常的长相了:到处都是尖括号,到处都是以“I”打头的标识符,甚至还有多重尖括号的嵌套……
如果要求一个刚学会C++语言的程序员立刻读懂一大段ATL代码,我想,用不了几分钟,他就会被代码中那些晦涩、离奇的语言风格折磨得精神崩溃了。C++语言的标准化进程远远落后于语言本身的普及速度。1990年以后,ANSI/ISO的C++标准化委员会才将包括Stroustru。
在内的大批专家以及包括Apple、Borland、DEC、HP、IBM、Microsoft、Sun、Unisys在内的知名公司召集在一起,像所有国家的议会或人民代表大会一样通过没完没了的会议、讨论和投票制定C++的国际标准。
标准直到1998年9月才正式发布。在国际标准化组织的档案库里,C++标准的代号是ISO/IEC 14882:1998。Stroustrup建议我们把标准C++当作一种全新的语言来学习[3]。这一说法显然是基于这样一个事实。
标准C++语言已经拥有了一种稳定的、可以推广的语言风格,即,通过对STL等既有技术的肯定,ANSI/ISO委员会在1998年的标准中正式认可了包括模板、容器类、I/O流库、异常处理等典型语言特征的现代C++风格。
风格的稳定意味着语言本身的进步和成熟,也意味着程序员们对C++语言的认识必须上升到一个新的层次——那些至今还在编写仅由类和C语言库函数组成的C++代码的程序员,一定会成为Stroustrup及其同仁们的取笑对象的