字符数字 ['0'..'9'] 是否需要具有连续的数值？

Question

C++ 实现必须将字符 '0'-'9' 设置为具有连续的数值，即：

'0' -> 0+n
'1' -> 1+n
 m  -> m+n
'9' -> 9+n

在isdigit([分类](22.3.3.1字符分类))的文档中找不到提到它^*， 我也无法在语言环境文档中找到它（但也许我看的不够仔细）。

在 2.3 字符集中，我们发现

基本源字符集由 96 个字符组成：空格字符、控制字符表示 水平制表符、垂直制表符、换页和换行符，以及以下 91 个图形字符

但它没有提到任何排序（但也许我没有仔细看）。

---

^*：有趣的脚注：

在循环中使用时，缓存ctype facet并直接使用[而不是isdigit()等，结束注释]，或者使用ctype::is的向量形式会更快。

Answer 1

确实看起来不够努力：在 2.3 中。字符集，第 3 项：

在源和执行基本字符集中，中每个字符在0之后的值 以上十进制数字列表应大于前一个的值。

这是十进制数字列表的上方：

0 1 2 3 4 5 6 7 8 9

因此，实现必须使用十进制数字具有连续表示的字符集。因此，您依赖此属性的优化是安全的；但是，您依赖其他数字的连续性（例如'a'..'z'）的优化是 not 可移植的 w.r.t。符合标准（另请参阅标题<cctype>）。如果您这样做，请确保声明该属性。