C++使用enable_if实例化时类模板重定义了怎么解决

在C++中，当给一个类模板传递不同的类型参数时，会实例化出不同的类型。但是，有时候会出现传递相同类型参数，但是希望生成不同的类型实例的情况。这时可以使用 `std::enable_if` 来进行条件编译。

当使用 `std::enable_if` 时，需要在模板参数列表中添加一个额外的模板参数，用于根据条件来启用或禁用类型实例化。

例如，以下代码中定义了一个类模板 `MyClass`，并使用 `std::enable_if` 来确保只有在模板参数 `T` 是整数类型时才能实例化：

#include <type_traits>

template<typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
class MyClass {
    // class implementation
};

然而，当我们尝试将相同类型的参数传递给 `MyClass` 时，就会导致重定义错误。例如，以下代码：

MyClass<int> a;
MyClass<int> b;

会导致编译器报错：

error: redefinition of ‘class MyClass<int>’

这是因为编译器无法区分 `MyClass<int>` 和 `MyClass<int>`，它们在编译器看来是完全相同的类型。

为了解决这个问题，可以为每个需要特化的类型参数添加一个非类型参数，使得每个实例具有不同的类型。例如：

template<typename T, bool = std::is_integral_v<T>>
class MyClass {
    // class implementation
};

template<typename T>
class MyClass<T, true> {
    // class implementation for integral types
};

这样做可以确保每个实例都具有不同的类型，避免了重定义错误。