ckd_sub

Определено в заголовочном файле <stdckdint.h>
template < class type1, class type2, class type3 > bool ckd_sub ( type1 * result, type2 a, type3 b ) ;		(начиная с C++26)

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

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

Параметры

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

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

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

Примечание

Функция-шаблон ckd_sub обладает той же семантикой, что и соответствующая типонезависимая макрос-функция с тем же именем, определённая в C23 .

Каждый из типов type1 , type2 и type3 является cv-неквалифицированным знаковым или беззнаковым целочисленным типом.

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

Пример

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

Ссылки

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

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