C++ 的嵌套类模板的特化定义不允许写在类定义的范围内

转载：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 <>
     struct test<long>
     {
         unsigned long i;
     };
};

int main(void)
{
     CMyClass::test<int> test1;
     CMyClass::test<long> test2;
     CMyClass::test<char> test3;

     cout << "typeid(test1.i) is " << typeid(test1.i).name() << endl;
     cout << "typeid(test2.i) is " << typeid(test2.i).name() << endl;
     cout << "typeid(test3.i) is " << typeid(test3.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>
using namespace std;

class CMyClass
{
public:
     template <typename T, typename S = void>
     struct test
     {
         T i;
     };
     template <typename S>
     struct test<long, S>
     {
         unsigned long i;
     };
};
int main(void)
{
     CMyClass::test<int> test1;
     CMyClass::test<long> test2;
     CMyClass::test<char> test3;

return 0;

}

在上面这段代码使用一个无用的模板参数来实现以偏特代替特化，从而化解了这个问题。至于为什么VC下能够正常编译，网上的资料说是VC不符合标准（“MSVC is wrong in this case and g++ correct”），不过这点我尚未在C++标准中找到明文依据。

但是这样一来就有个问题，偏特化在VC6下是用BUG的，无法正常使用，也就是说出来的代码将无法兼容VC6。对于VC6这样落伍的编译器，兼容它是没有太大的必要，但是回头想想，难道要在定义嵌套类模板的特化，就不行了么？必须使用偏特化来代替么？C++对此是如何规定的呢？翻阅相关资料后，我找到了答案－－要把特化的代码写在类定义的外面（要写在namespace下），如第一段代码应该写成这样：

#include <iostream>
using namespace std;

class CMyClass
{
public:
     template <typename T>
     struct test
     {
         int i;
     };
};
template <>
struct CMyClass::test<long>
{
     long i;
};

int main(void)
{
     CMyClass::test<int> test1;
     CMyClass::test<long> test2;
     CMyClass::test<char> test3;

return 0;
}

这样修改后，就可以在GCC下编译通过了，同时，VC6，VC8也都能编译通过！

总结一下吧：
在C++中，如果要对嵌套类模板进行特化，则要么使用偏特化来替代特化（增加一个无用的模板参数），要么将特化代码放在类定义之外。

C++ 的嵌套类模板的特化定义不允许写在类定义的范围内

C++ 的嵌套类模板的特化定义不允许写在类定义的范围内

猜你喜欢