如何检查 int 变量是否包含合法（不是陷阱表示）值？

Question

上下文：

这主要是对that other question的跟进。 OP 想猜测一个变量是否包含一个 int，我的第一个想法是在 C 中（如在 C++ 中）一个 int 变量只能包含一个 int 值。 Eric Postpischil 提醒我，对于 int 类型，每个标准都允许 trap 表示...

当然，我知道大多数现代系统只使用整数的 2 补码表示，没有填充位，这意味着无法观察到陷阱表示。尽管如此，这两个标准似乎仍然允许有符号类型的 3 种表示形式：符号和幅度、一个补码和二进制补码。并且至少 C18 草案（n2310 6.2.6 类型表示）明确允许除 char 以外的整数类型的填充位。

问题

因此，在可能的填充位或非二进制补码符号表示的上下文中，int 变量可能包含符合实现的陷阱值。是否有可靠的方法来确保 int 变量包含有效值？

Answer 1

在 C++ 当前的工作草案（针对 C++20）中，整数不能有陷阱表示。整数被强制作为二进制补码：([basic.fundamental]/3)

无符号整数类型与对应的有符号整数类型具有相同的对象表示、值表示和对齐要求 ([basic.align])。 对于有符号整数类型的每个值 x，与 x 模 2N 一致的相应无符号整数类型的值在其值表示中具有相同的相应位值。 41 [ 示例：有符号整数类型的值 -1 与相应无符号类型的最大值具有相同的表示。 — 结束示例 ]

注释 41 所说的地方

这也称为二进制补码表示。

这已在 p0907 中更改。

此外，整数中的填充位不会导致陷阱：([basic.fundamental/4])

对象表示中任何填充位（[basic.types]）的每组值都是由值表示指定的值的替代表示。 [ 注意：填充位具有未指定的值，但不会导致陷阱。 另见 ISO C 6.2.6.2。 ——尾注 ]