1. 類模板的部分特例化(partial specialization)

類模板的特例化不必為所有模板參數(shù)提供實參（可以只指定一部分而非所有模板參數(shù)， 或是參數(shù)的一部分而非全部特性）。類模板的部分特例化本身是一個模板， 使用它時用戶還必須為那些在特例化版本中未指定的模板參數(shù)提供實參。

1.1

//原始的、 最通用的版本 template <class T> struct remove_reference {typedef T type; };// 部分特例化版本， 將用于左值引用和右值引用 template <class T> struct remove_reference<T &> // 左值引用 { typedef T type; };template <class T> struct remove_reference<T &&> // 右值引用 { typedef T type; };

三個變量 a、 b 和 c 均為 int 類型。

int i; //decltype(42)為int， 使用原始模板 remove_reference<decltype(42)>::type a;//decltype (i)為int&， 使用第一個（T&) 部分特例化版本 remove_reference<decltype(i)>::type b;//decltype(std::move(i))為int &&, 使用第二個即T&&)部分特例化版本 remove_reference<decltype(std::move(i))>::type c;

2. 特例化成員而不是類

可以只特例化特定成員函數(shù)而不是特例化整個模板

template <typename T> struct Foo {Foo(const T &t = T()):mem(t){ }void Bar(){ /*...*/ }T mem;// Foo 的其他成員 }//特例化一個模板 template<> void Foo<int>::Bar() //特例化 Foo<int>的成員 Bar {//進行應(yīng)用于int的特例化處理 }Foo<string> fs;//實例化 Foo<string>::Foo( ) fs.Bar();// 實例化 Foo<string>::Bar( ) Foo<int> fi; //實例化 Foo<int>::Foo( ) fi.Bar();//使用我們特例化版本的 Foo<int>::Bar( )

總結(jié)

以上是生活随笔為你收集整理的C++ Primer 5th笔记（chap 16 模板和泛型编程）类模板部分特例化的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。