ckd_sub

定义于头文件 <stdckdint.h>
template < class type1, class type2, class type3 > bool ckd_sub ( type1 * result, type2 a, type3 b ) ;		(C++26 起)

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

目录 1 参数 2 返回值 3 备注 4 示例 5 参考文献 6 参见

参数

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

返回值

若赋值给 * result 的值正确表示减法运算的数学结果，则返回 false ；否则返回 true 。

说明

函数模板 ckd_sub 具有与 C23 标准中定义的同名 泛型宏 完全相同的语义。

类型 type1 、 type2 和 type3 中的每一个都是无 cv 限定的有符号或无符号整数类型。

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

示例

本节内容不完整 原因：缺少示例

参考文献

参考

ckd_add (C++26)	对两个整数进行带检查的加法运算 (函数模板)
ckd_mul (C++26)	对两个整数进行带检查的乘法运算 (函数模板)
C 文档 关于 ckd_sub