如何编写C++模板，使其仅支持整数类类型并排除其他类型？

要让min模板仅支持整数类类型（内置整数、自定义整数类型），同时排除字符串、指针、普通类等类型，可以通过类型约束实现，以下分两种主流方案：

方案一：C++20 用Concepts（简洁直观） #

利用C++20引入的Concepts特性，直接定义整数类型的约束规则，模板仅接受符合规则的类型：

#include <concepts>
#include <cstdint>

// 自定义整数类型示例（需重载<运算符以支持比较）
struct MyIntegerType {
    int value;
    bool operator<(const MyIntegerType& other) const {
        return value < other.value;
    }
};

// 定义整数类型约束：涵盖内置整数+自定义整数类型
template<typename T>
concept IntegerType = std::integral<T> || std::is_same_v<T, MyIntegerType>;

// 仅接受满足IntegerType约束的类型
template<IntegerType T>
T min(T a, T b) {
    return (a < b) ? a : b;
}

// 测试示例
int main() {
    char c1 = 'a', c2 = 'b';
    min(c1, c2); // 合法：char属于内置整数

    int i1 = 1, i2 = 2;
    min(i1, i2); // 合法：int属于内置整数

    uint32_t u1 = 10, u2 = 20;
    min(u1, u2); // 合法：uint32_t属于内置整数

    MyIntegerType m1{5}, m2{10};
    min(m1, m2); // 合法：自定义整数类型

    // 以下代码会触发编译错误（不符合约束）
    // std::string s1 = "abc", s2 = "def";
    // min(s1, s2);
    // char* p1 = nullptr, p2 = nullptr;
    // min(p1, p2);
    // struct MyClass {};
    // MyClass o1, o2;
    // min(o1, o2);
    return 0;
}

说明：std::integral是标准库提供的concept，自动涵盖所有内置整数类型（char、int、long、int*_t、uint*_t等）；通过std::is_same_v将自定义的MyIntegerType加入约束范围。

方案二：C++17及以下 用SFINAE+类型特性 #

如果项目不支持C++20，可借助SFINAE规则结合类型特性实现约束：

#include <type_traits>
#include <cstdint>

// 自定义整数类型示例
struct MyIntegerType {
    int value;
    bool operator<(const MyIntegerType& other) const {
        return value < other.value;
    }
};

// 自定义类型特性：判断是否为目标整数类型
template<typename T>
struct is_integer_type : std::integral_constant<bool,
    std::is_integral<T>::value || std::is_same<T, MyIntegerType>::value> {};

// 简化类型特性的使用
template<typename T>
constexpr bool is_integer_type_v = is_integer_type<T>::value;

// 用enable_if约束模板仅对符合条件的类型实例化
template<typename T, typename = std::enable_if_t<is_integer_type_v<T>>>
T min(T a, T b) {
    return (a < b) ? a : b;
}

// 测试示例
int main() {
    char c1 = 'a', c2 = 'b';
    min(c1, c2); // 合法

    int i1 = 1, i2 = 2;
    min(i1, i2); // 合法

    uint32_t u1 = 10, u2 = 20;
    min(u1, u2); // 合法

    MyIntegerType m1{5}, m2{10};
    min(m1, m2); // 合法

    // 以下代码会触发编译错误
    // std::string s1 = "abc", s2 = "def";
    // min(s1, s2);
    // char* p1 = nullptr, p2 = nullptr;
    // min(p1, p2);
    // struct MyClass {};
    // MyClass o1, o2;
    // min(o1, o2);
    return 0;
}

说明：std::enable_if_t会在类型不符合is_integer_type_v时，使模板实例化失败，从而达到禁止非目标类型使用的效果。

内容的提问来源于stack exchange，提问作者awakair