當(dāng)編寫一個模板特化，涉及部分但不是全部模板參數(shù)時，它被稱為偏特化（Partial Specialization）?！咀⒁?#xff0c;偏特化是針對類模板而言，函數(shù)模板不可偏特化，只能全特化】
偏特化是C++模板編程中的一種技術(shù)，允許為特定類型或特定類型組合的模板參數(shù)創(chuàng)建專門的模板定義。這使得可以根據(jù)模板參數(shù)的特定屬性或組合來定制模板的行為，從而提供更靈活和定制化的解決方案。

在偏特化中，可以保留模板參數(shù)中的一部分，而將另一部分替換為特定的類型或模式。這使得可以為不同的參數(shù)提供不同的實(shí)現(xiàn)，以滿足特定的需求或條件。

偏特化在處理復(fù)雜的模板類型時特別有用，例如嵌套模板或帶有多個模板參數(shù)的模板。通過偏特化可以根據(jù)具體情況對模板進(jìn)行定制，而無需完全重新實(shí)現(xiàn)整個模板。

總的來說，偏特化是C++模板編程中的一項(xiàng)重要技術(shù)，允許根據(jù)特定的模板參數(shù)定制模板的行為，從而提供更靈活和高效的解決方案。

開始偏特化時，使用一個模板頭列出沒有特化的模板參數(shù)，然后定義特化。與完全特化一樣，通過列出所有模板參數(shù)來命名要特化的類。一些模板參數(shù)取決于特化的參數(shù)，而另一些則使用特定值。

與完全特化一樣，特化的定義完全替換了特定一組模板參數(shù)的主模板。按照慣例，保持相同的接口，但實(shí)際的實(shí)現(xiàn)不要求與原始模板一致。

偏特化示例：

#include <iostream>
#include <vector>/* 1. 原始模板 */
template<class T, class U>
class Rational{
public:// Delegating ConstructorRational(): Rational(0){std::cout << __PRETTY_FUNCTION__ << std::endl;}Rational(T num): numerator_(num), denominator_(1){std::cout << __PRETTY_FUNCTION__ << std::endl;}Rational(T num, U den): numerator_(num), denominator_(den){std::cout << __PRETTY_FUNCTION__ << std::endl;}virtual ~Rational(){std::cout << __PRETTY_FUNCTION__ << std::endl;}T numerator()const{return numerator_;}U denominator()const{return denominator_;}template<class V>V calculate();private:T numerator_;U denominator_;
};template<class T, class U>
template<class V>
V Rational<T,U>::calculate(){return static_cast<V>(numerator_) / static_cast<V>(denominator_);  // omit divided by zero
}/* 2. Partial Specialization，特化U為float */
template<class T>
class Rational<T, float>{
public:// Delegating ConstructorRational(): Rational(0){std::cout << __PRETTY_FUNCTION__ << std::endl;}Rational(T num): numerator_(num), denominator_(1){std::cout << __PRETTY_FUNCTION__ << std::endl;}Rational(T num, T den): numerator_(num), denominator_(den){std::cout << __PRETTY_FUNCTION__ << std::endl;}virtual ~Rational(){std::cout << __PRETTY_FUNCTION__ << std::endl;}T numerator()const{return numerator_;}float denominator()const{return denominator_;}template<class V>V calculate();private:T numerator_;float denominator_;
};template<class T>
template<class V>
V Rational<T,float>::calculate(){return static_cast<V>(numerator_) / static_cast<V>(denominator_);  // omit divided by zero
}/* 3. Partial Specialization，特化T為float */
template<class U>
class Rational<float,U>{
public:// Delegating ConstructorRational(): Rational(0){std::cout << __PRETTY_FUNCTION__ << std::endl;}Rational(float num): numerator_(num), denominator_(1){std::cout << __PRETTY_FUNCTION__ << std::endl;}Rational(float num, U den): numerator_(num), denominator_(den){std::cout << __PRETTY_FUNCTION__ << std::endl;}virtual ~Rational(){std::cout << __PRETTY_FUNCTION__ << std::endl;}float numerator()const{return numerator_;}U denominator()const{return denominator_;}template<class V>V calculate();private:float numerator_;U denominator_;
};template<class U>
template<class V>
V Rational<float,U>::calculate(){return static_cast<V>(numerator_) / static_cast<V>(denominator_);  // omit divided by zero
}int main() {Rational<float,int> r1;Rational<int,float> r2;Rational<int,int> r3;Rational<double,double> r4;//Rational<float,float> r5;  // 此句報錯error: ambiguous template instantiation for 'class Rational<float, float>'
}