使用`std::enable_if`完全禁用构造函数

基础概念

std::enable_if 是 C++ 标准库中的一个模板元编程工具，用于在编译时根据条件启用或禁用某个函数或类模板。它通常与 SFINAE（Substitution Failure Is Not An Error）技术结合使用，以实现复杂的编译时类型检查和条件编译。

类型与应用场景

std::enable_if 主要有两种形式：

std::enable_if<T, Type>::type：如果 T 为真，则 type 是 Type，否则 type 不存在。
std::enable_if<T, Type>：如果 T 为真，则 std::enable_if<T, Type> 是一个类型，否则会导致替换失败。

应用场景包括但不限于：

函数重载解析：根据不同的类型特性选择不同的函数实现。
类模板特化：根据不同的类型特性选择不同的类模板特化。
禁用特定构造函数：防止某些类型的对象被创建。

示例代码

以下是一个使用 std::enable_if 完全禁用构造函数的示例：

#include <type_traits>

template <typename T>
class MyClass {
public:
    // 默认构造函数
    MyClass() = default;

    // 使用 std::enable_if 禁用特定类型的构造函数
    template <typename U = T,
              typename std::enable_if<!std::is_integral<U>::value, int>::type = 0>
    MyClass(U value) {
        // 这个构造函数只对非整数类型有效
        // 实现细节...
    }
};

int main() {
    MyClass<int> obj1;  // 可以创建，但没有接受 int 的构造函数
    MyClass<double> obj2(3.14);  // 可以创建，并调用接受 double 的构造函数
    // MyClass<int> obj3(42);  // 编译错误，因为 int 类型的构造函数被禁用
    return 0;
}