Namespaces
Variants

ckd_mul

From es.cppreference.net
Definido en el encabezado <stdckdint.h>
template < class type1, class type2, class type3 >
bool ckd_mul ( type1 * result, type2 a, type3 b ) ;
(desde C++26)

Calcula la multiplicación x × y y almacena el resultado en * result . La multiplicación 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 .

Contenido

Parámetros

a, b - valores enteros
result - dirección donde debe almacenarse el resultado

Valor de retorno

false si el valor asignado a * result representa correctamente el resultado matemático de la multiplicación, true en caso contrario.

Nota

La plantilla de función ckd_mul tiene la misma semántica que la correspondiente macro genérica de tipos con el mismo nombre especificada en C23 .

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.

Ejemplo

#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");
}

Salida:

2 * 21 == 42 (OK)
2 * 65535 == 65534 (Overflow)
2 * 65535 == 131070 (OK)

Referencias

  • Estándar C++26 (ISO/IEC 14882:2026):
  • 29.11.2 Operaciones con enteros verificados

Véase también

(C++26)
operación de suma verificada en dos enteros
(plantilla de función)
(C++26)
operación de resta verificada en dos enteros
(plantilla de función)