ckd_sub

Определено в заголовочном файле <stdckdint.h>
#define ckd_sub( result, a, b ) /* implementation-defined */ // открытый интерфейс: bool ckd_sub ( 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_add (C23)	операция проверенного сложения двух целых чисел (типо-независимый функциональный макрос)
ckd_mul (C23)	операция проверенного умножения двух целых чисел (типо-независимый функциональный макрос)
Документация C++ для ckd_sub