Mdr-C-Tutorial

主题

3.3 值、表示与数学符号 ​

3.20 推荐实践 ​

  1. recommended practice

    一类规定，它强烈建议实现遵循标准的意图，但对某些实现来说可能并不现实。

3.21 运行时约束 ​

  1. runtime-constraint

    程序在调用库函数时必须满足的要求。

  2. 注 1：尽管术语相似，运行时约束并不是 3.11 所定义的那种约束，也不要求必须在翻译时对其进行诊断。

  3. 注 2：支持附录 K 中扩展的实现，需要验证程序没有违反某个库函数的运行时约束；见 K.3.1.4。

  4. 注 3：支持附录 L 的实现，在执行 trap 时，可以调用运行时约束处理器。

3.22 值 ​

  1. value

    对象内容在按某个特定类型解释时所表达的精确含义。

3.22.1 实现定义值 ​

  1. implementation-defined value

    未指定值的一种，其中每个实现都要文档化说明它如何作出该选择。

3.22.2 未指定值 ​

  1. unspecified value

    相关类型中的有效值，而本文档对在任何具体场景下究竟选择哪个值不作要求。

3.23 不确定表示 ​

  1. indeterminate representation

    一种对象表示，它要么表示某个未指定值，要么属于非值表示。

3.24 非值表示 ​

  1. non-value representation

    一种对象表示，它不表示该对象类型的某个值。

3.25 执行 trap ​

  1. perform a trap

    中断程序执行，使后续操作不再继续执行。

  2. 注 1：读取非值表示时，实现可以执行 trap，但并非必须如此（见 6.2.6.1）。

  3. 注 2：支持附录 L 的实现，在执行 trap 时，可以调用运行时约束处理器。

3.26 ⌈x⌉ ​

  1. ⌈x⌉

    ceiling of x

    大于或等于 x 的最小整数。

  2. 示例：⌈2.4⌉ 是 3，⌈−2.4⌉ 是 −2。

3.27 ⌊x⌋ ​

  1. ⌊x⌋

    floor of x

    小于或等于 x 的最大整数。

  2. 示例：⌊2.4⌋ 是 2，⌊−2.4⌋ 是 −3。

3.28 回绕 ​

  1. wraparound

    把某个值按 2^N 取模并缩减的过程，其中 N 是结果类型的宽度。