类成员函数模板特化

Redshadows

test.h

1. 
   
2. #pragma once
   
3. namespace TT
   
4. {
   
5. 
   
6. struct No
   
7. {
   
8.         int i;       
   
9. };
   
10. 
    
11. struct Test;
    
12. 
    
13. void nothing(Test &test);
    
14. 
    
15. struct Test
    
16. {
    
17.         friend void nothing(Test &test);
    
18.         template <typename T> void show(const T& tt);
    
19. //        template <> void show(const int& tt);
    
20.         void show1();
    
21. };
    
22. }

复制代码

test.cpp

1. namespace TT;
   
2. 
   
3. template<typename T>
   
4. void Test::show(const T& tt)
   
5. {
   
6.         cout << "test" << endl;
   
7. }
   
8. 
   
9. template<>
   
10. void TT::Test::show(const TT::No& tt)
    
11. {
    
12.         cout << "haha" << endl;
    
13. }
    
14. 
    
15. void Test::show1()
    
16. {
    
17.         show(1);
    
18. }

复制代码

main.cpp

1. #include "test.h"
   
2. 
   
3. int main()
   
4. {
   
5.         TT::Test test;
   
6.         int a = 0;
   
7.         test.show1();
   
8.         nothing(test);
   
9.         return 0;
   
10. }

复制代码

编译后提示
test.cpp:14: error: specialization of ‘template<class T> void TT::Test::show(const T&)’ in different namespace
test.h:17: error:   from definition of ‘template<class T> void TT::Test::show(const T&)’
test.cpp:16: confused by earlier errors, bailing out
Preprocessed source stored into /tmp/ccDOpYyR.out file, please attach this to your bugreport.
Traceback (most recent call last):
  File "/usr/share/apport/gcc_ice_hook", line 34, in <module>
    pr.write(open(apport.fileutils.make_report_path(pr), 'w'))
IOError: [Errno 13] Permission denied: '/var/crash/_usr_lib_gcc_i486-linux-gnu_4.3.3_cc1plus.1000.crash'

求指点。

weishuo1999

template<>
void TT::Test::show(const TT::No& tt)
{
        cout << "haha" << endl;
}

这个函数是什么意思？  删掉试试

Redshadows

weishuo1999 发表于 2013-08-19 16:46
template
void TT::Test::show(const TT::No& tt)
{

似乎是C++不允许类成员函数模板特化。

myworkstation

回复 1# Redshadows


    这是VC的代码在gcc(g++)下是编不过的。你的程序有几个问题：
１：g++不支持成员函数的模板特化。
２：namespace TT;是不是少写了个using
3：#pragma once在gcc中是被列淘汰的特性，不应该使用。

myworkstation

回复 3# Redshadows

Ｃ＋＋标准是支持类模板成员函数特化的。但是gcc(g++)不支持。


Ｃ++03, §14.7.3/2:
An explicit specialization shall be declared in the namespace of which the template is a member, or, for member templates, in the namespace of which the enclosing class or enclosing class template is a member.An explicit specialization of a member function, member class or static data member of a class template shall be declared in the namespace of which the class template is a member.
   

Redshadows

myworkstation 发表于 2013-08-19 17:25
回复 1# Redshadows

少了using应该是从linux下复制出来少了。

Redshadows

myworkstation 发表于 2013-08-19 17:29
回复 3# Redshadows

Ｃ＋＋标准是支持类模板成员函数特化的。但是gcc(g++)不支持。

OK thanks

bruceteen

我将你的代码中根本没用到的代码删除，然后修补一下，在MinGW4.8.1和VC++9.0上都编译测试通过

1. #include <iostream>
   
2. using namespace std;
   
3. 
   
4. namespace TT
   
5. {
   
6.     struct No
   
7.     {
   
8.         int i;
   
9.     };
   
10. 
    
11.     struct Test
    
12.     {
    
13.         template <typename T> void show(const T& tt);
    
14.         void show1();
    
15.     };
    
16. 
    
17. }
    
18. 
    
19. namespace TT
    
20. {
    
21.     template<typename T>
    
22.     void Test::show(const T& tt)
    
23.     {
    
24.         cout << "test" << endl;
    
25.     }
    
26. 
    
27.     template<>
    
28.     void TT::Test::show(const TT::No& tt)
    
29.     {
    
30.         cout << "haha" << endl;
    
31.     }
    
32. 
    
33.     void Test::show1()
    
34.     {
    
35.         show(1);
    
36.         show( No() );
    
37.     }
    
38. 
    
39. }
    
40. 
    
41. int main()
    
42. {
    
43.     TT::Test test;
    
44.     test.show1();
    
45. 
    
46.     return 0;
    
47. }

复制代码

superfeeler

x 模板能有cpp文件实现？

myworkstation

回复 9# superfeeler

在这个例子中是可以的。因为在实现模板的cpp文件中调用了模板函数，show(1)；这个调把模板实例化了。所以不会出问题，如果把show1在头文件中实现（在头文件中定义函数show1并调用show(1))那么就会出现错误。由于模板解析和实例化的过程复杂所以一般推荐模板都实现在头文件中，不然会引出一堆的问题。