命名空间
变体
动作

ckd_sub

出自 cppreference.cn
< c‎ | numeric
定义于头文件 <stdckdint.h>
#define ckd_sub( result, a, b ) /* implementation-defined */

// exposed interface

bool ckd_sub( type1* result, type2 a, type3 b );
(since C23)

计算减法 x - y 并将结果存储到 *result 中。减法运算的执行方式如同两个操作数都以具有无限范围的有符号整数类型表示,然后将结果从该整数类型转换为 type1。如果赋值给 *result 的值正确地表示了运算的数学结果,则返回 false。否则,返回 true。在这种情况下,赋值给 *result 的值是运算的数学结果,该结果被环绕到 *result 的宽度。

目录

[编辑] 参数

a, b - 整数值
result - 结果应存储的地址

[编辑] 返回值

如果赋值给 *result 的值正确地表示了减法的数学结果,则返回 false,否则返回 true

[编辑] 注意

type2type3 都应为除 “plain” charbool、位精确整数类型或枚举类型以外的任何整数类型,并且它们可以相同。*result 应为除 “plain” charbool、位精确整数类型或枚举类型以外的任何整数类型的可修改左值。

如果 type2type3 不是合适的整数类型,或者如果 *result 不是合适整数类型的可修改左值,建议生成诊断消息。

[编辑] 示例

[编辑] 参考文献

  • C23 标准 (ISO/IEC 9899:2024)
  • 7.20.1 ckd_ checked integer operation macros (p: 311)

[编辑] 参见

两个整数的 checked addition operation
(类型泛型函数宏)[编辑]
两个整数的 checked multiplication operation
(类型泛型函数宏)[编辑]