模板特化和模板偏特化区别：特化针对特定模板类型，偏特化针对特定参数组合。特化实例拥有独立成员，偏特化实例共享原始模板成员。联系：偏特化实际上是特化类型，指定要偏特化的参数即可。

模板特化和模板偏特化：区别与联系

模板特化

模板特化允许我们为特定模板实例提供自定义的实现。它通过使用 template 语法创建模板的特定化版本。

例如：

template <typename T>
struct Example {
    T value;
};

// 将模板特化为类型 `int`
template <>
struct Example<int> {
    int value;
    int anotherValue;
};

模板偏特化

模板偏特化允许我们为模板的特定参数组合提供自定义的实现。它通过使用 template <...> 语法创建模板的偏特化版本，其中 ... 指定了要偏特化的参数。

例如：

template <typename T, typename U>
struct Pair {
    T first;
    U second;
};

// 将模板偏特化为 `(int, double)`
template <typename T>
struct Pair<T, double> {
    T first;
    double second;
};

区别

• 模板特化针对特定模板类型进行特化，而模板偏特化针对特定参数组合进行特化。
• 特化的模板实例拥有自己独立的成员和方法，而偏特化的模板实例与原始模板共享成员和方法。

联系

• 模板偏特化实际上是一种模板特化。对于给定的模板，template <...> 语法可以被认为是 template ，其中 T1, T2, ..., Tn 是要偏特化的类型参数。

实战案例

案例：计算各种形状的面积

解决方案：

// Shape 基类
struct Shape {
    virtual double area() = 0;
};

// Circle 类
struct Circle : public Shape {
    double radius;
    double area() override { return 3.14159 * radius * radius; }
};

// Rectangle 类
struct Rectangle : public Shape {
    double length;
    double width;
    double area() override { return length * width; }
};

// Square 类（Rectangle 的特化）
struct Square : public Rectangle {
    double side;
    double area() override { return side * side; }
};