類型引用
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的時候遇到的,把它寫出來,希望對各位讀者移植自己的代碼時候有所幫助。