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 位宽后的值。
目录参数
返回值当赋值给 * result 的值正确表示乘法运算的数学结果时返回 false ，否则返回 true 。 说明
函数模板
类型 type1 、 type2 和 type3 中的每一个都是无 cv 限定的有符号或无符号整数类型。 建议在以下情况下生成诊断信息：如果 type2 或 type3 不是合适的整数类型，或者如果 * result 不是合适整数类型的可修改左值。 示例运行此代码 #include <climits>
#include <cstdint>
#include <print>
#include <stdckdint.h>
int main()
{
uint8_t x;
uint16_t y;
uint16_t result_uint16;
uint32_t result_uint32;
bool overflow;
x = 2;
y = 21;
overflow = ckd_mul(&result_uint16, x, y);
std::println("{} * {} == {} ({})", x, y, result_uint16, overflow ? "Overflow" : "OK");
x = 2;
y = UINT16_MAX;
overflow = ckd_mul(&result_uint16, x, y);
std::println("{} * {} == {} ({})", x, y, result_uint16, overflow ? "Overflow" : "OK");
x = 2;
y = UINT16_MAX;
overflow = ckd_mul(&result_uint32, x, y);
std::println("{} * {} == {} ({})", x, y, result_uint32, overflow ? "Overflow" : "OK");
}
输出： 2 * 21 == 42 (OK)
2 * 65535 == 65534 (Overflow)
2 * 65535 == 131070 (OK)
参考文献
参考
| ||||||||||||