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

许式伟 (版权声明
2007-1-28

类型引用
template  < class  T >
class   Foo
{
    typedef T::SomeType SomeType;
};

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

template  < class  T >
class   Foo
{
    typedef typename T::SomeType SomeType;
};

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

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

template  < class  Container >
void  visit( const  Container &  cont)
{
    
for  (Container::const_iterator it  =  cont.begin(); it  !=  cont.end();  ++ it)
         ...
}

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

 

基类成员引用
template  < class  Base >
class  Foo :  public  Base
{
public :
    
void  foo() {
         base_func();
         m_base_member 
=   0 ;
    }
};

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

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

template  < class  Base >
class  Foo :  public  Base
{
public :
    
void  foo() {
         Base::base_func();
         Base::m_base_member 
=   0 ;
    }
};

改法2:使用using指示符

template  < class  Base >
class  Foo :  public  Base
{
public :
    
using  Base::base_func;
    
using  Base::m_base_member;

    
void  foo() {
         base_func();
         m_base_member 
=   0 ;
    }
};

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

 

交叉引用许可
class  SomeClass;

template 
< class  T >
class  Foo
{
public :
     
void  foo(SomeClass &  a) {
          a.some_func();
     }
     void foo2() {
          SomeClass a;
          a.some_func();
     }
};

class  SomeClass
{
public :
      
void  some_func() {
           ...
      }
};

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

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

class  SomeClass;

template 
< class  T >
class  Foo
{
public :
     
void  foo(SomeClass &  a);
     
void  foo2();
};

class  SomeClass
{
public :
      
void  some_func() {
           ...
      }
};

template 
< class  T >
inline 
void  Foo < T > ::foo(SomeClass &  a) {
    a.some_func();
}

template 
< class  T >
inline 
void  Foo < T > ::foo2() {
    SomeClass a;
    a.some_func();
}

 

补记

以上问题是在将atl/wtl/winx移植到mingw32的时候遇到的,把它写出来,希望对各位读者移植自己的代码时候有所帮助。

本blog沉寂了一周,是因为winx官方站点改版了。欢迎访问:http://www.winxcn.com 或者http://www.winxgui.cn/ 。对winx感兴趣,可到以下链接下载:


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

许式伟 (版权声明
2007-1-28

类型引用
template  < class  T >
class   Foo
{
    typedef T::SomeType SomeType;
};

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

template  < class  T >
class   Foo
{
    typedef typename T::SomeType SomeType;
};

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

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

template  < class  Container >
void  visit( const  Container &  cont)
{
    
for  (Container::const_iterator it  =  cont.begin(); it  !=  cont.end();  ++ it)
         ...
}

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

 

基类成员引用
template  < class  Base >
class  Foo :  public  Base
{
public :
    
void  foo() {
         base_func();
         m_base_member 
=   0 ;
    }
};

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

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

template  < class  Base >
class  Foo :  public  Base
{
public :
    
void  foo() {
         Base::base_func();
         Base::m_base_member 
=   0 ;
    }
};

改法2:使用using指示符

template  < class  Base >
class  Foo :  public  Base
{
public :
    
using  Base::base_func;
    
using  Base::m_base_member;

    
void  foo() {
         base_func();
         m_base_member 
=   0 ;
    }
};

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

 

交叉引用许可
class  SomeClass;

template 
< class  T >
class  Foo
{
public :
     
void  foo(SomeClass &  a) {
          a.some_func();
     }
     void foo2() {
          SomeClass a;
          a.some_func();
     }
};

class  SomeClass
{
public :
      
void  some_func() {
           ...
      }
};

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

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

class  SomeClass;

template 
< class  T >
class  Foo
{
public :
     
void  foo(SomeClass &  a);
     
void  foo2();
};

class  SomeClass
{
public :
      
void  some_func() {
           ...
      }
};

template 
< class  T >
inline 
void  Foo < T > ::foo(SomeClass &  a) {
    a.some_func();
}

template 
< class  T >
inline 
void  Foo < T > ::foo2() {
    SomeClass a;
    a.some_func();
}

 

补记

以上问题是在将atl/wtl/winx移植到mingw32的时候遇到的,把它写出来,希望对各位读者移植自己的代码时候有所帮助。

本blog沉寂了一周,是因为winx官方站点改版了。欢迎访问:http://www.winxcn.com 或者http://www.winxgui.cn/ 。对winx感兴趣,可到以下链接下载: