ckd_sub
<stdckdint.h>
bool ckd_sub( type1* result, type2 a, type3 b );
Computes the subtraction x - y and stores the result into *result. The subtraction is performed as if both operands were represented in a signed integer type with infinite range, and the result was then converted from this integer type to type1. If the value assigned to *result correctly represents the mathematical result of the operation, it returns false. Otherwise, it returns true. In this case, the value assigned to *result is the mathematical result of the operation wrapped around to the width of *result.
[edit] Parameters
[edit] Return value
false if the value assigned to *result correctly represents the mathematical result of the subtraction, true otherwise.
[edit] Note
The function template ckd_sub has the same semantics as the corresponding type-generic macro with the same name specified in C23.
Each of the types type1, type2, and type3 is a cv-unqualified signed or unsigned integer type.
It is recommended to produce a diagnostic message if type2 or type3 are not suitable integer types, or if *result is not a modifiable lvalue of a suitable integer type.
[edit] Example
Reason: no example
[edit] References
- C++26 standard (ISO/IEC 14882:2026):
- 29.11.2 Checked integer operations