ckd_mul
cppreference.net에서
#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 | - | 결과를 저장할 주소 |
반환값
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>
const char* text(bool overflow) { return overflow ? "Overflow" : "OK"; }
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);
printf("%u * %u => %u (%s)\n", x, y, result_uint16, text(overflow));
x = 2;
y = UINT16_MAX;
overflow = ckd_mul(&result_uint16, x, y);
printf("%u * %u => %u (%s)\n", x, y, result_uint16, text(overflow));
x = 2;
y = UINT16_MAX;
overflow = ckd_mul(&result_uint32, x, y);
printf("%u * %u => %u (%s)\n", x, y, result_uint32, text(overflow));
}
출력:
2 * 21 => 42 (OK)
2 * 65535 => 65534 (Overflow)
2 * 65535 => 131070 (OK)
참조
- C23 표준 (ISO/IEC 9899:2024):
- 7.20.1 The ckd_ checked integer operation macros (p: 311)
같이 보기
(C23) |
두 정수에 대한 검사된 덧셈 연산 (타입 일반 함수 매크로) |
(C23) |
두 정수에 대한 검사된 뺄셈 연산 (타입 일반 함수 매크로) |
C++ 문서에 대한ckd_mul
| |