在C++中帶有空尖括號的模板<>的含義是什麼？

Question

template<> 
class A{ 
//some class data 
}; 

我已經看過這種代碼很多次了。 template<>在上面的代碼中有什麼用？ 有什麼情況下我們需要授權使用它？

Answer 1

template<>告訴編譯器模板專門化，具體來說是完全專業化。通常情況下，class A必須是這個樣子：

template<class T> 
class A{ 
    // general implementation 
}; 

template<> 
class A<int>{ 
    // special implementation for ints 
}; 

現在，只要使用A<int>，專業版使用。你也可以用它來專門功能：

template<class T> 
void foo(T t){ 
    // general 
} 

template<> 
void foo<int>(int i){ 
    // for ints 
} 

// doesn't actually need the <int> 
// as the specialization can be deduced from the parameter type 
template<> 
void foo(int i){ 
    // also valid 
} 

通常情況下，雖然，你不應該專門功能，simple overloads are generally considered superior：

void foo(int i){ 
    // better 
} 

---

而現在，使其矯枉過正，以下是一個偏特：

template<class T1, class T2> 
class B{ 
}; 

template<class T1> 
class B<T1, int>{ 
}; 

禾與完全專業化相同，僅當第二模板參數是int（例如，B<bool,int>,B<YourType,int>等）時才使用專用版本。

Answer 2

看起來不正確。現在，你可能已經代替書面：

template<> 
class A<foo> { 
// some stuff 
}; 

...這將是Foo類型一個模板特。

Answer 3

template<>引入了模板的總體特化。你的例子本身並不實際有效;你需要一個更詳細的情況就變得特別有用前：

template <typename T> 
class A 
{ 
    // body for the general case 
}; 

template <> 
class A<bool> 
{ 
    // body that only applies for T = bool 
}; 

int main() 
{ 
    // ... 
    A<int> ai; // uses the first class definition 
    A<bool> ab; // uses the second class definition 
    // ... 
} 

這看起來很奇怪，因爲它是一個更強大的功能，這就是所謂的特殊情況「部分的專業化。」