从VC++到GCC移植：谈两者语法差异

　2007-03-15 21:46:57　来源：WEB开发网　闂傚倸鍊搁崐鎼佸磹閹间礁纾瑰瀣椤愯姤鎱ㄥ鍡楀幊缂傚倹姘ㄩ幉绋款吋閸澀缃曢梻鍌欑濠€閬嶆惞鎼淬劌绐楅柡宥庡亞娑撳秵銇勯弽顐沪闁绘挶鍎甸弻锝夊即閻愭祴鍋撻崷顓涘亾濮樼偓瀚�

闂傚倸鍊搁崐鎼佸磹閹间礁纾瑰瀣捣閻棗銆掑锝呬壕濡ょ姷鍋涢ˇ鐢稿极閹剧粯鍋愰柟缁樺笧閳ь剦鍙冨鍝勑ч崶褏浠奸梺璇茬箲閼归箖鎮鹃悜钘夎摕闁靛濡囬崢鐢告⒑鐟欏嫷鍟忛柛鐘崇墵閵嗗倹绺介崨濠勫幈闁硅壈鎻槐鏇熺墡闂備線娼уú銈団偓姘嵆閻涱噣骞掑Δ鈧粻锝嗙節闂堟稑鏆欏ù婊堢畺閺岋綁濮€閳惰泛婀辨竟鏇熺節濮橆厾鍘甸梺缁樺姦閸撴岸鎮樻潏銊ょ箚闁圭粯甯炴晶娑氱磼缂佹ḿ娲寸€规洖宕灃闁告劕鍟犻崜婵堟崲濞戞ḿ鏆嗗┑鐘辫兌閺佹牜绱撴担浠嬪摵闁圭懓娲ら悾鐑藉箳閹搭厽鍍甸梺鐟板悁閻掞箓鎮楅幖浣光拻濞达絿鍎ら崵鈧梺鎼炲€栭悧鐘荤嵁韫囨稒鏅搁柨鐕傛嫹

婵犵數濮烽弫鍛婃叏閻戣棄鏋侀柛娑橈攻閸欏繑銇勯幘鍗炵仼缂佺媭鍨堕弻娑㈠箛闂堟稒鐏堥悗鐟版啞缁诲啴濡甸崟顖氱閻庨潧鎽滈悾濂告⒑绾拋娼愭繛鑼枎椤繒绱掑Ο鑲╂嚌闂侀€炲苯澧畝锝堝劵椤︽煡鎮￠妶澶嬬厪闁割偅绻冮崑顏呯箾瀹割喕绨婚幆鐔兼⒑鐎圭姵銆冮柤鍐茬埣瀹曟繈鏁冮埀顒勨€旈崘顔嘉ч柛鈩冾殘閻熸劙姊洪悡搴℃毐闁绘牕銈稿畷鐑樼節閸パ冨祮闂侀潧楠忕槐鏇㈠储椤忓牊鈷戦柟鑲╁仜閸旀鏌￠崨顔锯姇缂佸倹甯熼ˇ瀵哥磼鏉堛劌绗氭繛鐓庣箻閸┾剝鎷呴柨瀣垫綗闂傚倷娴囧銊╂倿閿曞倸绠查柛銉墮閺嬩線鏌熼崜褏甯涢柡鍛倐閺屻劑鎮ら崒娑橆伓闂傚倸鍊搁崐鎼佸磹閹间礁纾瑰瀣椤愯姤鎱ㄥ鍡楀幊缂傚倹姘ㄩ幉绋款吋閸澀缃曢梻鍌欑濠€閬嶆惞鎼淬劌绐楅柡宥庡亞娑撳秵銇勯弽顐沪闁绘挶鍎甸弻锝夊即閻愭祴鍋撻崷顓涘亾濮樼偓瀚�　　闂傚倸鍊搁崐鎼佸磹閹间礁纾归柣鎴ｅГ閸ゅ嫰鏌ら崫銉︽毄濞寸姵姘ㄧ槐鎾诲磼濞嗘帒鍘＄紓渚囧櫘閸ㄥ爼濡撮崘顔煎窛闁哄鍨归崢娲倵楠炲灝鍔氭い锔诲灦瀹曪繝骞庨懞銉у帾闂婎偄娲﹀ú鏍ㄧ墡闂備浇顕х€垫帡宕滈悢濂夋綎闁惧繐婀辩壕鍏间繆椤栨碍鎯堟い顐㈢Т椤啴濡堕崱妤€顫庨梺鍛婎焼閸パ呭弨婵犮垼娉涜癌闁绘柨鍚嬮悡銉╂倵閿濆骸鍘撮柛瀣尰缁绘繂顫濋娑欏闁荤喐绮庢晶妤冩暜閹烘挾顩插ù鐓庣摠閻撴洟鏌熼幆褜鍤熼柍钘夘樀閺屽秶绱掑Ο鑽ゅ弳濡炪値鍋呯换鍫ュ箠濠婂懎鏋堟俊顖濐嚙椤忓綊姊婚崒娆戭槮闁硅绱曠划娆撳箣閿斿搫浜奸梺鍝勵槹閸ㄧ喖寮搁弮鍫熺厸闁告劧绲芥禍鍓х磽娴ｈ櫣甯涚紒瀣尰缁傛帡鏁冮崒姘憋紲濠殿喗锕╅崜锕傛倵閹惰姤鈷掑ù锝呮憸閿涘秶绱掗鍛仸妤犵偞鍨垮畷鍫曨敆閸屾氨銈﹂梺璇插嚱缂嶅棙绂嶉弽顓炵哗濞寸姴顑嗛悡娆撴⒑椤撱劎鐣卞褜鍨遍妵鍕棘閸喒鍋撶憴鍕攳濠电姴娲﹂崐閿嬨亜韫囨挸顏ら柛瀣崌瀵€燁檨婵炲吋鐗曢埞鎴︽偐鐎圭姴顥濋梺绋胯閸斿酣骞夊宀€鐤€婵炴垶岣块悿鍛存⒑閸︻叀妾搁柛鐘愁殜瀵煡骞栨担鍦弳闂佺粯娲栭崐鍦偓姘炬嫹

核心提示：类型引用以下是引用片段：templateclassFoo{typedefT::SomeTypeSomeType;};这段代码在VC++中一点问题也没有，但是GCC并不允许，从VC++到GCC移植：谈两者语法差异，因为它不知道T::SomeType是什么，你需要改为：以下是引用片段：templateclassFoo{ty

类型引用

以下是引用片段：
　　template　
　　classFoo
　　{
　　typedefT::SomeTypeSomeType;
　　};

这段代码在VC++中一点问题也没有，但是GCC并不允许，因为它不知道T::SomeType是什么。你需要改为：

以下是引用片段：
　　template　
　　classFoo
　　{
　　typedeftypenameT::SomeTypeSomeType;
　　};

通过typename T::SomeType告诉GCC，SomeType是一个类型名，而不是其他东西。

当然，这种情况不只是出现在typedef中。例如：

以下是引用片段：
　　template　
　　voidvisit(constContainer&cont)
　　{
　　for(Container::const_iteratorit=cont.begin();it!=cont.end();++it)
　　...
　　}

这里的Container::const_iterator同样需要改为typename Container::const_iterator。

基类成员引用

以下是引用片段：
　　template　
　　classFoo:publicBase
　　{
　　public:
　　voidfoo(){
　　base_func();
　　m_base_member=0;
　　}
　　};

这段代码在VC++中同样没有问题，但是GCC中不能通过。因为GCC并不知道base_func，m_base_member是什么。对于这个问题，你可以有两种改法：

改法1：加上域作用符Base::

以下是引用片段：
　　template　
　　classFoo:publicBase
　　{
　　public:
　　voidfoo(){
　　Base::base_func();
　　Base::m_base_member=0;
　　}
　　};

改法2：使用using指示符

以下是引用片段：
　　template　
　　classFoo:publicBase
　　{
　　public:
　　usingBase::base_func;
　　usingBase::m_base_member;
　　voidfoo(){
　　base_func();
　　m_base_member=0;
　　}
　　};

这两种方法各有好处，在class Foo中出现大量的Base::base_func、m_base_member的引用时，使用using是方便的。而如果只有一次，那么方法1显得简短。

交叉引用许可

以下是引用片段：
　　classSomeClass;
　　template　
　　classFoo
　　{
　　public:
　　voidfoo(SomeClass&a){
　　a.some_func();
　　}
　　voidfoo2(){
　　SomeClassa;
　　a.some_func();
　　}
　　};
　　classSomeClass
　　{
　　public:
　　voidsome_func(){
　　...
　　}
　　};

由于VC++对模板函数的迟编译，因此，一个模板类不只是可以调用一个尚未出现的类成员函数(或者访问其成员变量)，甚至可以定义其实例。这种语法对C++来说确实显得怪异。因为等到编译后面的SomeClass时，他又可以在其函数中定义class Foo的实例，从而出现交叉引用的情况。这在非模板函数的情形下就算你用VC++亦难以做到。

遇到这种情况，该如何移植到GCC中?这个问题有点棘手。我个人认为出现这种情况是不太应该的，这意味着对类与类之间的关系混淆不清。你需要仔细审视一下这两个类正确的关系是什么。如果是移植库(例如WTL就有多处这样的情形)的过程中遇到这种情况，可以把函数的实现体改为放到类定义体外，如下：

以下是引用片段：
　　classSomeClass;
　　template　
　　classFoo
　　{
　　public:
　　voidfoo(SomeClass&a);
　　voidfoo2();
　　};
　　classSomeClass
　　{
　　public:
　　voidsome_func(){
　　...
　　}
　　};
　　template　
　　inlinevoidFoo::foo(SomeClass&a){
　　a.some_func();
　　}
　　template　
　　inlinevoidFoo::foo2(){
　　SomeClassa;
　　a.some_func();
　　}