在C++中,模板特化是一種技術,它允許我們?yōu)樘囟愋突驐l件提供定制的實現(xiàn)
假設我們有一個泛型函數(shù),用于計算兩個整數(shù)的和。我們可以為特定類型(如int
)提供特化的實現(xiàn):
#include <iostream>
// 通用模板實現(xiàn)
template <typename T>
T add(T a, T b) {
return a + b;
}
// 針對 int 類型的特化實現(xiàn)
template <>
int add<int>(int a, int b) {
return a + b + 1; // 在通用實現(xiàn)的基礎上加1
}
int main() {
std::cout << "3 + 4 = " << add(3, 4) << std::endl; // 輸出:3 + 4 = 7
std::cout << "3 + 4 = " << add<int>(3, 4) << std::endl; // 輸出:3 + 4 = 8
return 0;
}
假設我們有一個泛型類,用于存儲一個值。我們可以為特定條件(如值為0)提供特化的實現(xiàn):
#include <iostream>
// 通用模板實現(xiàn)
template <typename T>
class ValueStore {
public:
ValueStore(T value) : value_(value) {}
T getValue() const {
return value_;
}
private:
T value_;
};
// 針對值為0的特化實現(xiàn)
template <>
class ValueStore<int> {
public:
ValueStore(int value) : value_(value) {}
int getValue() const {
if (value_ == 0) {
return -1; // 當值為0時,返回-1
}
return value_;
}
private:
int value_;
};
int main() {
ValueStore<int> vs1(5);
std::cout << "Value: " << vs1.getValue() << std::endl; // 輸出:Value: 5
ValueStore<int> vs2(0);
std::cout << "Value: " << vs2.getValue() << std::endl; // 輸出:Value: -1
return 0;
}
在這兩個示例中,我們分別為int
類型和值為0的情況提供了特化的實現(xiàn)。這樣,在遇到這些特殊情況時,編譯器會選擇特化的實現(xiàn),而不是通用的模板實現(xiàn)。