std::integral 和 std::floating_point 是 C++20 概念，只能在模板 requires 子句或概念定义中约束类型，不可直接用于类型转换或单独使用；正确用法是 template<std::integral T> 或 requires std::integral<T>。
std::integral 和 std::floating_point 是概念（concepts），不是类型限制工具
它们不能直接“限制”类型，而是用于 requires 子句或 concept 定义中约束模板参数——换句话说，你得把它们用在模板上下文里，否则编译器会报错。常见错误是试图像 static_cast 那样直接套用：std::integral<int></int> 这种写法非法，std::integral 本身不是模板类，不接受类型参数。
正确姿势是：只在 template + requires 或自定义 concept 中使用。
在函数模板中用 requires 约束参数类型
这是最常用、最直观的用法。比如只允许整数类型调用的加法函数：
template <typename T>
requires std::integral<T>
T safe_add(T a, T b) {
// 溢出检查逻辑可放这里
return a + b;
}等价写法（C++20 简化语法）：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template <std::integral T>
T safe_add(T a, T b) {
return a + b;
}-
std::integral<T>匹配所有有符号/无符号整型（int、unsigned long、char、std::size_t等），但不包括bool、char8_t（除非显式特化支持）、enum class -
std::floating_point<T>匹配float、double、long double，不匹配std::complex<float>或自定义浮点类 - 如果传入
std::string或void*，编译失败，错误信息通常含 “constraints not satisfied” 或列出不匹配的 concept 条件
组合多个 concept 或排除特定类型
单一 concept 太宽泛？可以用逻辑运算符组合，或借助 !std::same_as 排除干扰项：
template <std::integral T>
requires (!std::same_as<T, bool>)
T count_bits(T x) { /* ... */ }或者同时要求整数且可比较：
template <std::integral T>
requires std::equality_comparable<T>
bool is_zero(T x) { return x == T{}; }-
std::integral自带std::copyable和std::semiregular约束，但不保证==可用，所以显式加std::equality_comparable更安全 - 注意
char8_t在 C++20 中是否被std::integral接受，取决于标准库实现（libstdc++ 12+ 支持，MSVC 19.3x 起支持），跨平台时建议测试 - 枚举类型默认不满足
std::integral，哪怕底层是int；如需支持，得用std::underlying_type_t<E>提取后判断，或手动特化 concept
自定义 concept 复用约束逻辑
如果多个函数都要“整数但非 char”，重复写 requires std::integral<T> && !std::same_as<T, char> 很累，可以封装：
template <typename T>
concept integral_not_char = std::integral<T> && !std::same_as<T, char>;
<p>template <integral_not_char T>
T to_positive(T x) { return x < 0 ? -x : x; }- 自定义 concept 名字必须是 identifier，不能含空格或标点（
integral_not_char合法，integral-no-char不合法） - concept 内部仍要遵循 SFINAE 友好原则：避免硬调用未定义行为的表达式（比如对未构造对象取地址）
- 调试时，如果 concept 不生效，先检查是否忘了在模板参数列表里用它（如写成
template <typename T>而非template <integral_not_char T>）
实际项目中，concept 的边界容易模糊——比如 std::size_t 是 std::integral，但它语义上代表大小，和 int 的算术用途不同。这时候光靠标准 concept 不够，得结合命名和文档说明意图。
