为何C++标准同时提供is_integer与is_exact？相关技术疑问求解

先澄清一个常见误解：std::numeric_limits<T>的is_integer和is_exact并不是互斥的——所有标准整数类型（比如int、char、bool等）的这两个属性值都是true。接下来逐个解答你的问题：

1. 是否存在非精确的整数类型？ #

在标准C++定义的算术类型范围内，不存在非精确的整数类型。整数类型的存储逻辑是每个取值都对应唯一的精确二进制（或其他进制）表示，不会有任何舍入或近似误差。

当然，如果考虑非标准的扩展类型（比如某些特殊实现里为极端性能优化设计的“近似整数”类型），理论上可能存在，但这类类型不属于标准算术类型，也不会被标准库的numeric_limits默认支持。

2. 这个设计的初衷是什么？ #

拆分这两个属性，是为了把数值的数学类型分类和数值的存储精度特性这两个正交的概念区分开：

• is_integer用来标记类型是否属于整数范畴（和浮点类型相对），它关注的是数值的数学本质（是整数还是带小数的数值）。
• is_exact用来标记类型的所有取值是否都能被精确存储（无舍入误差），它关注的是底层存储的特性。

举几个典型场景的例子：

• 定点数类型（比如某些实现中的fixed_point，用来表示固定小数位的数值，比如货币金额）：这类类型不是整数（is_integer = false），但所有取值都能精确表示（is_exact = true）。
• 标准浮点类型（float、double）：既不是整数类型（is_integer = false），也无法精确表示所有取值（is_exact = false）——比如十进制的0.1无法用二进制浮点数精确存储。
• 整数类型：两者均为true，既是整数类型，又能精确存储所有可能的取值。

这种设计的核心价值是让模板代码可以更灵活地针对不同特性做逻辑分支：比如你可以单独筛选整数类型，也可以单独筛选所有精确表示的类型，不用受限于单一分类维度。

3. 是否需要补充is_exact的检查？ #

这完全取决于你的模板的设计目标：

• 如果你的模板只需要处理整数类型，那么仅用is_integer就足够了，不需要修改现有逻辑。
• 如果你的模板的目标是处理所有精确表示的数值类型（包括整数和精确的非整数类型，比如定点数），那么你应该把检查逻辑调整为判断is_exact == true——毕竟所有is_integer为true的类型必然is_exact也为true，直接检查is_exact就能覆盖所有精确类型。

举个实际的例子：如果你的模板是用于财务类的精确计算（绝对不能有舍入误差），那么只检查is_integer会漏掉定点数这类合适的精确非整数类型，这时候就必须补充is_exact的检查（或者直接替换成检查is_exact）。

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