ckd_sub
|
Definido en el encabezado
<stdckdint.h>
|
||
|
template
<
class
type1,
class
type2,
class
type3
>
bool ckd_sub ( type1 * result, type2 a, type3 b ) ; |
(desde C++26) | |
Calcula la resta x - y y almacena el resultado en * result . La resta se realiza como si ambos operandos estuvieran representados en un tipo entero con signo de rango infinito, y luego el resultado se convirtiera de este tipo entero a type1 . Si el valor asignado a * result representa correctamente el resultado matemático de la operación, devuelve false . De lo contrario, devuelve true . En este caso, el valor asignado a * result es el resultado matemático de la operación ajustado al ancho de * result .
ContenidoParámetros
Valor de retornofalse si el valor asignado a * result representa correctamente el resultado matemático de la resta, true en caso contrario. Nota
La plantilla de función
Cada uno de los tipos type1 , type2 , y type3 es un tipo entero con o sin signo sin calificadores cv. Se recomienda producir un mensaje de diagnóstico si type2 o type3 no son tipos enteros adecuados, o si * result no es un valor-l modificable de un tipo entero adecuado. EjemploEjecutar este código #include <cstdint>
#include <limits>
#include <print>
#include <stdckdint.h>
int main()
{
int16_t result1{};
constexpr std::int8_t x1{-2};
constexpr std::int16_t y1{1};
const bool underflow1{ckd_sub(&result1, x1, y1)};
std::println("{} - {} == {} ({})", x1, y1, result1, underflow1 ? "Underflow" : "OK");
int16_t result2{};
constexpr std::int8_t x2{-2};
constexpr std::int16_t y2{std::numeric_limits<std::int16_t>::max()};
const bool underflow2{ckd_sub(&result2, x2, y2)};
std::println("{} - {} == {} ({})", x2, y2, result2, underflow2 ? "Underflow" : "OK");
int32_t result3{};
constexpr std::int8_t x3{-2};
constexpr std::int16_t y3{std::numeric_limits<std::int16_t>::max()};
const bool underflow3{ckd_sub(&result3, x3, y3)};
std::println("{} - {} == {} ({})", x3, y3, result3, underflow3 ? "Underflow" : "OK");
}
Salida: -2 - 1 == -3 (OK)
-2 - 32767 == 32767 (Underflow)
-2 - 32767 == -32769 (OK)
Referencias
Véase también
| ||||||||||||