C++模板特化怎样避免代码重复

在C++中，模板特化是一种技术，它允许你为特定的模板参数提供特定的实现。这可以避免代码重复，因为它允许你为不同的类型提供不同的行为。以下是一些避免代码重复的策略：

1. 部分特化：对于某些模板参数，你可能只需要提供部分实现。你可以使用部分特化来为这些特定类型提供专门的实现。

template <typename T>
class MyClass {
public:
    void commonMethod() {
        // 通用实现
    }
};

// 部分特化
template <>
class MyClass<int> {
public:
    void commonMethod() {
        // 针对int的特定实现
    }
};

2. 完全特化：对于某些类型，你可能需要提供完全不同的实现。你可以使用完全特化来为这些特定类型提供专门的实现。

template <typename T>
class MyClass {
public:
    void commonMethod() {
        // 通用实现
    }
};

// 完全特化
template <>
class MyClass<std::string> {
public:
    void commonMethod() {
        // 针对std::string的特定实现
    }
};

3. 偏特化：偏特化允许你为模板的部分参数提供特定的实现。

template <typename T, typename U>
class MyClass {
public:
    void commonMethod() {
        // 通用实现
    }
};

// 偏特化
template <typename U>
class MyClass<void, U> {
public:
    void commonMethod() {
        // 针对U的特定实现
    }
};

4. 类型萃取：使用类型萃取（type traits）和SFINAE（Substitution Failure Is Not An Error）技术，你可以在编译时根据类型的特性选择不同的实现。

#include <type_traits>

template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void myMethod(T t) {
    // 针对整数的实现
}

template <typename T, typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0>
void myMethod(T t) {
    // 针对浮点数的实现
}

通过这些策略，你可以有效地避免模板代码重复，同时保持代码的清晰和可维护性。