读书人

《! C++ 中 export 关键字的

发布时间: 2012-02-13 17:20:26 作者: rapoo

《!———— C++ 中 export 关键字的尴尬处境 ————》
原文:http://blog.csdn.net/hikaliv/archive/2009/08/23/4474835.aspx

分离编译模式(Separate Compilation Model)允许在一处翻译单元(Translation Unit)中定义(define)函数、类型、类对象等,在另一处翻译单元引用它们。编译器(Compiler)处理完所有翻译单元后,链接器(Linker)接下来处理所有指向 extern 符号的引用,从而生成单一可执行文件。该模式使得 C++ 代码编写得称心而优雅。

然而该模式却驯不服模板(Template)。标准要求编译器在实例化模板时必须在上下文中可以查看到其定义实体;而反过来,在看到实例化模板之前,编译器对模板的定义体是不处理的——原因很简单,编译器怎么会预先知道 typename 实参是什么呢?因此模板的实例化与定义体必须放到同一翻译单元中。

以优雅著称的 C++ 是不能容忍有此“败家仔儿”好好活着的。标准 C++ 为此制定了“模板分离编译模式(Separation Model)”及 export 关键字。然而由于 template 语义本身的特殊性使得 export 在表现的时候性能很次。编译器不得不像 .net 和 java 所做的那样,为模板实体生成一个“中间伪代码(IPC,intermediate pseudo - code)”,使得其它翻译单元在实例化时可找到定义体;而在遇到实例化时,根据指定的 typename 实参再将此 IPC 重新编译一遍,从而达到“分离编译”的目的。因此,该标准受到了几乎所有知名编译器供应商的强烈抵制。

谁支持 export 呢?Comeau C/C++ 和 Intel 7.x 编译器支持。而以“百分百支持 ISO ”著称的 VS 和 GCC 却对此视而不见。真不知道这两大编译器“百分百支持”的是哪个版本的 ISO。在 VS 2008 中,export 关键字在 IDE 中被标蓝,表示 VS IDE 认识它,而编译时,会用警告友情提示你“不支持该关键字”,而配套的 MSDN 9 中的 C++ keywords 页则根本查不到该关键字;而在 VS 2010 中,就没那么客气了,尽管 IDE 中仍然会将之标蓝,但却会直截了当地报错。呵呵,难道标蓝就表示 VS “百分百支持标准”了么?呵呵……嘿嘿……哈哈哈哈……

[解决办法]
占楼
[解决办法]
哥,
[解决办法]
嗯,确实很遗憾!
当初为了该功能,才关注GCC 4,结果发现GCC 4也不支持。
[解决办法]
既然其他编译单元对于编译器在编译时是不可见的,那么export是如何实现的呢?Comeau C/C++ 和 Intel 7.x 是怎样做到的?莫非是连接后再作再一次处理?

C++ 2009还有不计其数的Issue没有解决,估计所谓的c++0x要泡汤了,明年就是10年了。
g++是希望实现export的,只是看起来还没有日程。根据目前的草案,export依然是关键字。看来g++又实现不了新标准了。
[解决办法]
sherwoodwang 同学:

实现的方法在原文第三段用黑体字标出来,也就是两次编译过程。一次将定义体编译成中间伪代码,而后在其它编译单元遇到实例化时,再代入实参完成最终的实例化,从而达到“分离编译”的目的。

没办法,C++ 就是这样尴尬着……曾有一次提案废除 export,却被否决了……所在依旧这样尴尬着……

探讨
既然其他编译单元对于编译器在编译时是不可见的,那么export是如何实现的呢?Comeau C/C++ 和 Intel 7.x 是怎样做到的?莫非是连接后再作再一次处理?

C++ 2009还有不计其数的Issue没有解决,估计所谓的c++0x要泡汤了,明年就是10年了。
g++是希望实现export的,只是看起来还没有日程。根据目前的草案,export依然是关键字。看来g++又实现不了新标准了。

[解决办法]
呵呵,如果不支持export的话有利于代码开源。其实,很多时候不一定要把函数声明和实现分的那么开。
像要被多个源文件引用的宏以及内联函数都是放在头文件的。

我个人还是非常看好C++的发展的。这次希望C++0x能融入C99标准,这样就更强了。

[解决办法]
探讨
呵呵,如果不支持export的话有利于代码开源。

[解决办法]
李博同学加了100分。。所以顶一个
[解决办法]
探讨
icc不支持export!
刚刚拿icc 11.1测试了,根本就不认识export关键字!
export_test.cpp(3): error #77: this declaration has no storage class or type spe
cifier
  export template <typename T>
  ^

export_test.cpp(3): error: expected a ";"
  export template <typename T>
        ^

[解决办法]
好象export的实现也并非是完全的分离编译.
[解决办法]
为什么C++编译器不能支持对模板的分离式编译



刘未鹏(pongba)

C++的罗浮宫(http://blog.csdn.net/pongba)

[解决办法]
我认为export 的目的是实现两个目标:1。对实现的封装。2。减少编译依赖和编译时间。但是事实上export只是隐藏了上述两点。如果只是提供了template声明,和含有实现的库,那么编译是无法通过的。

读书人网 >C++

热点推荐