使用static_assert结合类型特征可在编译期限制模板参数类型，确保只接受符合条件的类型，如算术类型，提升代码安全与可读性。
在C++中，模板提供了强大的泛型编程能力，但有时我们需要对模板参数的类型施加限制，确保只接受符合条件的类型。结合类型特征（type traits）和
static_assert，可以在编译期进行类型检查，提升代码的安全性和可读性。
使用 static_assert 限制模板参数类型
static_assert在编译期对条件进行断言，如果条件不满足，编译失败并显示指定消息。这非常适合用于模板中限制类型。
例如，我们希望一个函数模板只接受算术类型（如 int、float 等）：
// 模板函数仅支持算术类型 template <typename T> void process(T value) { static_assert(std::is_arithmetic_v<T>, "T must be an arithmetic type"); // 处理逻辑 }如果调用
process("hello")，编译器会报错，提示“T must be an arithmetic type”。
立即学习“C++免费学习笔记（深入）”；
结合 enable_if 进行更灵活的约束
除了
static_assert，还可以使用
std::enable_if配合 SFINAE（替换失败不是错误）机制，在多个重载中选择合适的版本。 template <typename T> typename std::enable_if_t<std::is_integral_v<T>> func(T x) { // 只允许整型 } template <typename T> typename std::enable_if_t<std::is_floating_point_v<T>> func(T x) { // 只允许浮点型 }
这种方式适合需要重载不同类型的场景。
static_assert更适合直接拒绝非法类型，语义更清晰。
C++20 概念（Concepts）的替代方案
C++20 引入了 concepts，提供更简洁、可读性更强的类型约束方式：
template <std::integral T> void func(T x); // 只接受整型但在 C++20 之前，
static_assert+ 类型特征是主流做法。
基本上就这些。用
static_assert做类型限制简单直接，出错信息友好，是模板编程中非常实用的技术。
