ckd_sub
ja.cppreference.net より
| ヘッダ <stdckdint.h>
|
||
#define ckd_sub( result, a, b ) /* implementation-defined */
// exposed interface:
bool ckd_sub( type1* result, type2 a, type3 b );
|
(C23 以降) で定義されています。 | |
減算 x - y を計算し、結果を *result に格納します。減算は、両方のオペランドを無限範囲の符号付き整数型で表現したかのように実行され、その結果がこの整数型から type1 に変換されます。*result に代入された値が演算の数学的な結果を正しく表す場合、false を返します。そうでない場合、true を返します。その場合、*result に代入される値は、演算の数学的結果を *result の幅に折り返したものです。
引数
| a, b | - | 整数値 |
| result | - | 結果を格納するアドレス |
戻り値
false *result に代入された値が減算の数学的な結果を正しく表す場合、そうでなければ true を返します。
注釈
type2 と type3 はどちらも、「プレーン」な char、bool、ビット精度整数型、または列挙型 以外の任意の整数型でなければなりません。また、これらは同じ型であっても構いません。*result は、「プレーン」な char、bool、ビット精度整数型、または列挙型以外の任意の整数型の変更可能な左辺値でなければなりません。
type2 または type3 が適切な整数型でない場合、または *result が適切な整数型の変更可能な左辺値でない場合、診断メッセージを生成することが推奨されます。
例
このコードを実行
#include <limits.h>
#include <stdckdint.h>
#include <stdint.h>
#include <stdio.h>
int main()
{
int16_t result1;
constexpr int8_t x1 = -2;
constexpr int16_t y1 = 1;
const bool underflow1 = ckd_sub(&result1, x1, y1);
printf("%i - %i == %i (%s)\n", x1, y1, result1, underflow1 ? "Underflow" : "OK");
int16_t result2;
constexpr int8_t x2 = -2;
constexpr int16_t y2 = INT16_MAX;
const bool underflow2 = ckd_sub(&result2, x2, y2);
printf("%i - %i == %i (%s)\n", x2, y2, result2, underflow2 ? "Underflow" : "OK");
int32_t result3;
constexpr int8_t x3 = -2;
constexpr int16_t y3 = INT16_MAX;
const bool underflow3 = ckd_sub(&result3, x3, y3);
printf("%i - %i == %i (%s)\n", x3, y3, result3, underflow3 ? "Underflow" : "OK");
}
出力:
-2 - 1 == -3 (OK)
-2 - 32767 == 32767 (Underflow)
-2 - 32767 == -32769 (OK)
参考文献
- C23 規格 (ISO/IEC 9899:2024):
- 7.20.1 ckd_ チェック付き整数演算マクロ (p: 311)
関連項目
(C23) |
2つの整数のチェック付き加算演算 (型総称関数マクロ) |
(C23) |
2つの整数のチェック付き乗算演算 (型総称関数マクロ) |
C++ ドキュメント ckd_sub
| |