ckd_sub
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, 비트 정밀 정수 타입, 또는 열거형 타입 이외의 모든 정수 타입의 수정 가능한 lvalue여야 합니다.
type2 또는 type3가 적합한 정수 타입이 아니거나 *result가 적합한 정수 타입의 수정 가능한 lvalue가 아닌 경우 진단 메시지를 출력하는 것이 좋습니다.
예제
이 코드 실행
#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 The ckd_ checked integer operation macros (p: 311)
같이 보기
(C23) |
두 정수에 대한 체크된 덧셈 연산 (타입 제너릭 함수 매크로) |
(C23) |
두 정수에 대한 체크된 곱셈 연산 (타입 제너릭 함수 매크로) |
C++ 문서에 대한 ckd_sub
| |