ckd_add

Определено в заголовочном файле <stdckdint.h>
#define ckd_add( result, a, b ) /* implementation-defined */ // открытый интерфейс: bool ckd_add ( type1 * result, type2 a, type3 b ) ;		(since C23)

Вычисляет сложение x + y и сохраняет результат в * result . Сложение выполняется так, как если бы оба операнда были представлены в знаковом целочисленном типе с бесконечным диапазоном, а затем результат был преобразован из этого целочисленного типа в type1 . Если значение, присвоенное * result , корректно представляет математический результат операции, возвращается false . В противном случае возвращается true . В этом случае значение, присвоенное * result , является математическим результатом операции, обернутым по ширине * result .

Содержание 1 Параметры 2 Возвращаемое значение 3 Примечание 4 Пример 5 Ссылки 6 Смотри также

Параметры

a, b	-	целочисленные значения
result	-	адрес для сохранения результата

Возвращаемое значение

false если значение, присвоенное * result корректно представляет математический результат сложения, true в противном случае.

Примечание

Как type2 , так и type3 должны быть любым целочисленным типом, кроме "обычного" char , bool , битово-точного целочисленного типа или перечислимого типа , и они могут быть одинаковыми. * result должен быть изменяемым lvalue любого целочисленного типа, кроме "обычного" char , bool , битово-точного целочисленного типа или перечислимого типа.

Рекомендуется выдать диагностическое сообщение, если type2 или type3 не являются подходящими целочисленными типами, или если * result не является изменяемым lvalue подходящего целочисленного типа.

Пример

Этот раздел не завершён Причина: отсутствует пример

Ссылки

Смотрите также

ckd_sub (C23)	операция проверенного вычитания для двух целых чисел (обобщенная макрос-функция)
ckd_mul (C23)	операция проверенного умножения для двух целых чисел (обобщенная макрос-функция)
Документация C++ для ckd_add