Namespaces
Variants

ckd_sub

From cppreference.net
헤더 파일에 정의됨 <stdckdint.h>
template < class type1, class type2, class type3 >
bool ckd_sub ( type1 * result, type2 a, type3 b ) ;
(C++26부터)

x - y 의 뺄셈을 계산하고 결과를 * result 에 저장합니다. 뺄셈은 두 피연산자가 무한 범위의 부호 있는 정수 타입으로 표현된 것처럼 수행되며, 결과는 이 정수 타입에서 type1 로 변환됩니다. * result 에 할당된 값이 연산의 수학적 결과를 올바르게 나타내면 false 를 반환합니다. 그렇지 않으면 true 를 반환합니다. 이 경우 * result 에 할당된 값은 연산의 수학적 결과가 * result 의 너비로 래핑된 값입니다.

목차

매개변수

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

반환값

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

참고

함수 템플릿 ckd_sub type-generic macro 에 지정된 동일한 이름을 가진 해당 C23 과 동일한 의미론을 가집니다.

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

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

예제

참고문헌

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

참고 항목

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