ckd_sub

 

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_sub( type1* result, type2 a, type3 b );		(desde C++26)

See More

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 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 resta, true en caso contrario.

Nota

La plantilla de función ckd_sub 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

Referencias

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

• 29.11.2 Operaciones de enteros comprobadas

Véase también

ckd_add	Operación de suma comprobada en dos números 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_sub