转载:http://jeffreyloo.blog.163.com/blog/static/12176167020106171424608/
C++ 的嵌套类模板的特化定义不允许写在类定义的范围内
2010-07-17 01:42:04| 分类: C/C++编程 | 标签:嵌套类 类模板 特化 |字号大中小 订阅
最近在使用在使用模板特化写一段程序时发现一个奇怪的问题,比如像如下代码:
#include <iostream> using namespace std; class CMyClass { public: template <typename T> struct test { T i; }; template <> int main(void) cout << "typeid(test1.i) is " << typeid(test1.i).name() << endl; return 0; |
这段代码在Linux下的GCC 3.4.3下无法编译通过,编译时提示错误:
xxx.cpp:12: error: invalid explicit specialization before '>' token
xxx.cpp:12: error: explicit specialization in non-namespace scope `class CMyClass'
但在VC6和VC8下都可以编译通过。
后翻阅资料,发现有人提到,C++标准中规定,嵌套类模板在类的定义中不允许被显示特化声明,只允许偏特化(“Explicit template specialization is forbidden for nested classes ”,“As partial template specialization is not forbidden ”),比如,这样就可以:
#include <iostream> class CMyClass cout << "typeid(test1.i) is " << typeid(test1.i).name() << endl; return 0; } |
在上面这段代码使用一个无用的模板参数来实现以偏特代替特化,从而化解了这个问题。至于为什么VC下能够正常编译,网上的资料说是VC不符合标准(“MSVC is wrong in this case and g++ correct”),不过这点我尚未在C++标准中找到明文依据。
但是这样一来就有个问题,偏特化在VC6下是用BUG的,无法正常使用,也就是说出来的代码将无法兼容VC6。对于VC6这样落伍的编译器,兼容它是没有太大的必要,但是回头想想,难道要在定义嵌套类模板的特化,就不行了么?必须使用偏特化来代替么?C++对此是如何规定的呢?翻阅相关资料后,我找到了答案--要把特化的代码写在类定义的外面(要写在namespace下),如第一段代码应该写成这样:
#include <iostream> class CMyClass cout << "typeid(test1.i) is " << typeid(test1.i).name() << endl; return 0; |
这样修改后,就可以在GCC下编译通过了,同时,VC6,VC8也都能编译通过!
总结一下吧:
在C++中,如果要对嵌套类模板进行特化,则要么使用偏特化来替代特化(增加一个无用的模板参数),要么将特化代码放在类定义之外。