Namespaces
Variants

ckd_mul

From 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 .

Contenidos

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

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)