ckd_mul

 

C

編譯器支援

語言

標頭檔案

型別支援

程式工具

變參函式支援

錯誤處理

動態記憶體管理

字串庫

演算法

數值

日期和時間工具

輸入/輸出支援

本地化支援

併發支援 (C11)

技術規範

符號索引

 

數值

常用數學函式

浮點環境 (C99)

偽隨機數生成

複數運算 (C99)

型別通用數學 (C99)

位操作 (C23)

檢查整數運算 (C23)

 

Checked integer arithmetic

函式

ckd_add (C23)

ckd_sub (C23)

ckd_mul (C23)

 

定義在標頭檔案 <stdckdint.h> 中
#define ckd_mul( result, a, b ) /* implementation-defined */ // exposed interface bool ckd_mul( type1* result, type2 a, type3 b );		(自 C23 起)

計算乘法 x × y 並將結果儲存到 *result 中。乘法操作的執行方式是：如果兩個運算元都以無限範圍的有符號整數型別表示，然後將結果從該整數型別轉換為 type1。如果分配給 *result 的值正確表示了操作的數學結果，則返回 false。否則，返回 true。在這種情況下，分配給 *result 的值是操作的數學結果，並根據 *result 的寬度進行截斷。

引數

a, b	-	整數值
result	-	結果應儲存的地址

返回值

如果分配給 *result 的值正確表示乘法的數學結果，則為 false；否則為 true。

注意

type2 和 type3 都應是除“普通”char、bool、位精確整數型別或列舉型別之外的任何整數型別，它們可以相同。*result 應是除“普通”char、bool、位精確整數型別或列舉型別之外的任何整數型別的可修改左值。

如果 type2 或 type3 不是合適的整數型別，或者 *result 不是合適整數型別的可修改左值，建議生成診斷訊息。

參考

• C23 標準 (ISO/IEC 9899:2024)

• 7.20.1 ckd_ 檢查整數操作宏 (p: 311)

另請參閱

ckd_add (C23)	兩個整數的檢查加法運算 (型別通用函式宏)
ckd_sub (C23)	兩個整數的檢查減法運算 (型別通用函式宏)