Namespaces
Variants

ckd_mul

From ko.cppreference.net
헤더 파일에 정의됨 <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 의 너비로 래핑된 값입니다.

내용

매개변수

a, b - 정수 값
result - 결과가 저장될 주소

반환값

false 만약 * result 에 할당된 값이 곱셈의 수학적 결과를 올바르게 나타내는 경우, true 그렇지 않은 경우.

참고

함수 템플릿 ckd_mul 는 type-generic macro 에서 지정된 동일한 이름을 가진 대응물과 동일한 의미론을 가지며, 이는 C23 에 명시되어 있습니다.

각각의 타입 type1 , type2 , 그리고 type3 은 cv-unqualified 부호 있는 또는 부호 없는 정수 타입입니다.

type2 또는 type3 가 적절한 정수 타입이 아니거나, * result 가 적절한 정수 타입의 수정 가능한 lvalue가 아닌 경우 진단 메시지를 생성하는 것이 권장됩니다.

예제

#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)

참고문헌

  • C++26 표준 (ISO/IEC 14882:2026):
  • 29.11.2 Checked integer operations

참고 항목

(C++26)
두 정수에 대한 검사된 덧셈 연산
(함수 템플릿)
(C++26)
두 정수에 대한 검사된 뺄셈 연산
(함수 템플릿)
C 문서 for ckd_mul