[紧急召唤whyglinux] 模板特化问题

antigloss

紧急召唤whyglinux、converse等各路高手（但愿名字没打错）

下面这段代码不能通过编译

class t { public:    template <typename T>    void tt(T i) { }    template <>    void tt(int i) { } }; int main() { }

出错信息如下

5 invalid explicit specialization before '>' token
5 explicit specialization in non-namespace scope `class t'
6 invalid member function declaration

但如果将 tt 定义在类外面

template <typename T> void tt(T i) { } template <> void tt(int i) { } int main() { }

则可通过编译。

C++ 不支持成员函数特化么？为什么呢？我试了一下，成员函数部分特化（partial specialization）是可以的，但是完全特化就不能通过编译了。
但是我确实需要该函数的一个特例，是不是只能通过重载来实现？例如

class t { public:    template <typename T>    void tt(T i) { }    void tt(int i) { } }; int main() { }

这个可以编译通过

[ 本帖最后由 antigloss 于 2007-11-1 20:56 编辑 ]

antigloss

up and summon...

koolcoy

原帖由 antigloss 于 2007-11-1 20:57 发表
up and summon...

summoning is complete
where shall my blood be spilled

converse

不好意思,模板不甚熟悉,帮不上你.

zhujiang73

我记得 C++ 是不支持成员函数特化的，编译时普通函数优先，如果没有合适的普通函数才用模版函数。

1. 
   
2. class t {
   
3. public:
   
4.    template <typename T>
   
5.    void tt(T i) { }
   
6. 
   
7.    void tt(int i) { }
   
8. };
   
9. 
   
10. int main()
    
11. {
    
12. }
    

复制代码

这样写可以。

augustusqing

1. 
   
2. class t {
   
3. public:
   
4.    template <typename T>
   
5.    void tt(T i) { }
   
6. 
   
7.    void tt(int i) { }
   
8. };
   
9. 
   
10. int main()
    
11. {
    
12. }
    

复制代码

这是在里面定义了一个与成员模板重载的普通成员函数，如上面zhujiang73兄说的，不是成员模板函数的特化。

1. 
   
2. class t {
   
3. public:
   
4.    template <typename T>
   
5.    void tt(T i) { }
   
6.    template <>
   
7.    void tt(int i) { }
   
8. };
   
9. 
   
10. template<>
    
11. void t::tt(int i){};
    
12. 
    
13. int main()
    
14. {
    
15. }
    

复制代码

C++当然支持成员函数特化，试试上面的

antigloss

[quote]原帖由 augustusqing 于 2007-11-1 21:25 发表

class t { public: &nbsp;&nbsp;&nbsp;template <typename T> &nbsp;&nbsp;&nbsp;void tt(T i) { } }; template<> void t::tt(int i){}; int main() { }

嗯，这样的确可以编译了。但为何放在类里面就不能编译呢？

btw，我知道那是重载

augustusqing

1. 
   
2. class t {
   
3. public:
   
4.    template <typename T>
   
5.    void tt(T i) { }
   
6.    template <>
   
7.    void tt(int i);
   
8. };
   
9. 
   
10. int main()
    
11. {
    
12. }
    

复制代码

再试试上面的看看

antigloss

原帖由 augustusqing 于 2007-11-1 21:35 发表

class t {
public:
   template
   void tt(T i) { }
   template
   void tt(int i);
};

int main()
{
}


再试试上面的看看

ok。我想明白为什么在里面就不能编译了。3q

augustusqing

6 invalid member function declaration

就在类内部特化模板成员函数，只需要声明，而不要定义