C++20 std::integral和std::floating_point怎么限制数字类型-C++-PHP中文网

c++oding="utf-8" ?>

std::integral 和 std::floating_point 是 c++20 概念，只能在模板 requires 子句或概念定义中约束类型，不可直接用于类型转换或单独使用；正确用法是 template 或 requires std::integral。

c++20 std::integral和std::floating_point怎么限制数字类型

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;
}</t></typename>

等价写法（C++20 简化语法）：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

template <:integral t>
T safe_add(T a, T b) {
    return a + b;
}</:integral>

std::integral<t></t> 匹配所有有符号/无符号整型（int、unsigned long、char、std::size_t 等），但不包括 bool、char8_t（除非显式特化支持）、enum class
std::floating_point<t></t> 匹配 float、double、long double，不匹配 std::complex<float></float> 或自定义浮点类
如果传入 std::string 或 void*，编译失败，错误信息通常含 “constraints not satisfied” 或列出不匹配的 concept 条件

组合多个 concept 或排除特定类型

单一 concept 太宽泛？可以用逻辑运算符组合，或借助 !std::same_as 排除干扰项：

template <:integral t>
requires (!std::same_as<t bool>)
T count_bits(T x) { /* ... */ }</t></:integral>

或者同时要求整数且可比较：

template <:integral t>
requires std::equality_comparable<t>
bool is_zero(T x) { return x == T{}; }</t></:integral>

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></e> 提取后判断，或手动特化 concept

自定义 concept 复用约束逻辑

如果多个函数都要“整数但非 char”，重复写 requires std::integral<t> && !std::same_as<t char></t></t> 很累，可以封装：

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 </integral_not_char></p>
<ul>
<li>自定义 concept 名字必须是 identifier，不能含空格或标点（<code>integral_not_char</code> 合法，<code>integral-no-char</code> 不合法）</li>
<li>concept 内部仍要遵循 SFINAE 友好原则：避免硬调用未定义行为的表达式（比如对未构造对象取地址）</li>
<li>调试时，如果 concept 不生效，先检查是否忘了在模板参数列表里用它（如写成 <code>template <typename t></typename></code> 而非 <code>template <integral_not_char t></integral_not_char></code>）</li>
</ul>
<p>实际项目中，concept 的边界容易模糊——比如 <code>std::size_t</code> 是 <code>std::integral</code>，但它语义上代表大小，和 <code>int</code> 的算术用途不同。这时候光靠标准 concept 不够，得结合命名和文档说明意图。</p></t></t></typename>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！