ckd_add

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca numérica

Funciones matemáticas comunes
Funciones matemáticas especiales (C++17)
Constantes matemáticas (C++20)
Algoritmos básicos de álgebra lineal (C++26)
Tipos de paralelismo de datos (SIMD) (C++26)
Entorno de punto flotante (C++11)
Números complejos
Arrays numéricos (valarray)
Generación de números pseudoaleatorios
Manipulación de bits (C++20)
Aritmética de saturación (C++26)
Operaciones de factorización
gcd (C++17)	lcm (C++17)
Interpolaciones
midpoint (C++20)	lerp (C++20)
Operaciones numéricas genéricas
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference      partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
Aritmética de enteros comprobada estilo C
ckd_add (C++26) ckd_sub (C++26)	ckd_mul (C++26)

 

Definido en el archivo de encabezado <stdckdint.h>
template< class type1, class type2, class type3 > bool ckd_add( type1* result, type2 a, type3 b );		(desde C++26)

See More

Calcula la suma x + y y almacena el resultado en *result. La suma se realiza como si ambos operandos estuvieran representados en un tipo entero con signo de rango infinito, y el resultado se convierte luego 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 envuelto al ancho de *result.

Parámetros

a, b	-	Valores enteros.
result	-	Dirección donde se debe almacenar el resultado.

Valor de retorno

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

Nota

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

Cada uno de los tipos type1, type2, y type3 es un tipo entero con signo o sin signo no calificado por cv.

Se recomienda producir un mensaje de diagnóstico si type2 o type3 no son tipos de enteros adecuados, o si *result no es un l-valor modificable de un tipo entero adecuado.

Ejemplo

Vista previa en Compiler Explorer.

Ejecuta este código

#include <cstdint>
#include <limits>
#include <print>
#include <stdckdint.h>

int main()
{
    const std::uint8_t x{14};
    std::uint16_t y{28}, result1{};
    bool overflow{};

    overflow = ckd_add(&result1, x, y);
    std::println("{} + {} => {} ({})", x, y, result1, overflow ? "desbordamiento" : "de acuerdo");

    y = std::numeric_limits<std::uint16_t>::max();
    overflow = ckd_add(&result1, x, y);
    std::println("{} + {} => {} ({})", x, y, result1, overflow ? "desbordamiento" : "de acuerdo");

    std::uint32_t result2{};
    overflow = ckd_add(&result2, x, y);
    std::println("{} + {} => {} ({})", x, y, result2, overflow ? "desbordamiento" : "de acuerdo");
}

Posible salida:

14 + 28 => 42 (de acuerdo)
14 + 65535 => 13 (desbordamiento)
14 + 65535 => 65549 (de acuerdo)

Referencias

• Estándar C++26 (ISO/IEC 14882:2026):

• 29.11.2 Operaciones de enteros comprobadas

Véase también

ckd_sub	Operación de resta comprobada entre dos enteros. (plantilla de función)
ckd_mul	Operación de multiplicación con comprobación de desbordamiento entre dos enteros. (plantilla de función)
Documentación de C para ckd_add