ckd_mul

定义于头文件 <stdckdint.h>
template < class type1, class type2, class type3 > bool ckd_mul ( 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_mul 具有与 C23 标准中规定的同名 泛型宏 相同的语义。

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

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

示例

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

参考文献

参考

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