ckd_mul

Определено в заголовочном файле <stdckdint.h>
template < class type1, class type2, class type3 > bool ckd_mul ( 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_mul обладает той же семантикой, что и соответствующий типонезависимый макрос с тем же именем, определённый в C23 .

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

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

Пример

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

Ссылки

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

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