模板的进阶使用

在C++中，模板是泛型编程的基础，允许编写与数据类型无关的代码。进阶使用模板可以提升代码的灵活性和复用性。

模板特化

模板特化允许为特定的数据类型提供定制化的实现。当通用模板无法满足某些特定类型的需求时，特化非常有用。

template <typename T>
class MyClass {
public:
    void print() {
        std::cout << "Generic template" << std::endl;
    }
};

template <>
class MyClass<int> {
public:
    void print() {
        std::cout << "Specialized template for int" << std::endl;
    }
};

可变参数模板

可变参数模板允许模板接受任意数量和类型的参数。这在需要处理不定数量参数时非常有用。

template <typename... Args>
void printAll(Args... args) {
    (std::cout << ... << args) << std::endl;
}

模板元编程

模板元编程利用模板在编译时进行计算和类型操作。通过递归模板实例化，可以在编译时生成代码。

template <int N>
struct Factorial {
    static const int value = N * Factorial<N - 1>::value;
};

template <>
struct Factorial<0> {
    static const int value = 1;
};

SFINAE（替换失败不是错误）

SFINAE是一种模板技术，通过模板参数的替换失败来选择合适的重载或特化版本。

template <typename T>
typename std::enable_if<std::is_integral<T>::value, bool>::type
is_even(T value) {
    return (value % 2) == 0;
}

模板模板参数

模板模板参数允许将模板作为参数传递给另一个模板，增加了代码的抽象层次。

template <template <typename> class Container, typename T>
class Wrapper {
    Container<T> data;
};

类型萃取

类型萃取用于在编译时获取和操作类型信息，常用于模板元编程和SFINAE中。

template <typename T>
void process(T value) {
    if constexpr (std::is_integral_v<T>) {
        std::cout << "Integral type" << std::endl;
    } else {
        std::cout << "Non-integral type" << std::endl;
    }
}

约束和概念（C++20）

C++20引入了概念（Concepts），用于对模板参数施加约束，使模板代码更清晰和易于理解。

template <typename T>
requires std::integral<T>
T add(T a, T b) {
    return a + b;
}

通过掌握这些进阶模板技术，可以编写出更灵活、高效和类型安全的C++代码。