[緊急召喚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++ 不支持成員函數(shù)特化么？為什么呢？我試了一下，成員函數(shù)部分特化（partial specialization）是可以的，但是完全特化就不能通過編譯了。
但是我確實需要該函數(shù)的一個特例，是不是只能通過重載來實現(xiàn)？例如

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 發(fā)表
up and summon...

summoning is complete
where shall my blood be spilled

converse

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

zhujiang73

我記得 C++ 是不支持成員函數(shù)特化的，編譯時普通函數(shù)優(yōu)先，如果沒有合適的普通函數(shù)才用模版函數(shù)。

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. }
    

復(fù)制代碼

這樣寫可以。

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. }
    

復(fù)制代碼

這是在里面定義了一個與成員模板重載的普通成員函數(shù)，如上面zhujiang73兄說的，不是成員模板函數(shù)的特化。

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. }
    

復(fù)制代碼

C++當(dāng)然支持成員函數(shù)特化，試試上面的

antigloss

[quote]原帖由 augustusqing 于 2007-11-1 21:25 發(fā)表

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. }
    

復(fù)制代碼

再試試上面的看看

antigloss

原帖由 augustusqing 于 2007-11-1 21:35 發(fā)表

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

int main()
{
}


再試試上面的看看

ok。我想明白為什么在里面就不能編譯了。3q

augustusqing

6 invalid member function declaration

就在類內(nèi)部特化模板成員函數(shù)，只需要聲明，而不要定義