C++ 模板特化（Template Specialization）是一種技術，用于為模板定義特殊的行為。當編譯器遇到使用特定類型的模板時，它會首先檢查是否為該類型提供了特化版本。如果找到了特化版本，編譯器將使用它而不是通用模板。如果沒有找到特化版本，編譯器將使用通用模板。

模板特化可以減少代碼冗余，因為它允許你為特定的類型提供定制的實現。這可以避免編寫重復的代碼，同時確保代碼的正確性和性能。以下是一些使用模板特化減少代碼冗余的示例：

1. 為特定類型提供優化的實現：

假設你有一個模板函數，用于計算兩個數的和。你可以為特定類型（如 int 或 float）提供特化版本，以便為這些類型提供優化的實現。

template <typename T>
T add(T a, T b) {
    // 通用實現
}

// 為 int 類型提供特化版本
template <>
int add<int>(int a, int b) {
    return a + b + 1; // 優化實現
}

// 為 float 類型提供特化版本
template <>
float add<float>(float a, float b) {
    return a + b * 0.5f; // 優化實現
}

2. 為特定類型提供不同的接口：

假設你有一個模板類，用于表示二維點。你可以為特定類型（如 MyPoint）提供特化版本，以便為該類型提供不同的接口。

template <typename T>
class Point {
public:
    Point(T x, T y) : x_(x), y_(y) {}
    T getX() const { return x_; }
    T getY() const { return y_; }
private:
    T x_;
    T y_;
};

// 為 MyPoint 類型提供特化版本
class MyPoint {
public:
    MyPoint(double x, double y) : x_(x), y_(y) {}
    double getX() const { return x_; }
    double getY() const { return y_; }
private:
    double x_;
    double y_;
};

// 為 MyPoint 類型提供特化版本的 Point 類
template <>
class Point<MyPoint> {
public:
    Point(MyPoint p) : p_(p) {}
    MyPoint get() const { return p_; }
private:
    MyPoint p_;
};

在這些示例中，模板特化允許你為特定的類型提供定制的實現，從而減少代碼冗余并提高代碼的可維護性。