Namespaces
Variants

ckd_mul

From cppreference.net
Определено в заголовочном файле <stdckdint.h>
#define ckd_mul( result, a, b ) /* implementation-defined */

// открытый интерфейс:

bool ckd_mul ( type1 * result, type2 a, type3 b ) ;
(since C23)

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

Содержание

Параметры

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

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

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

Примечание

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

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

Пример

Ссылки

  • Стандарт C23 (ISO/IEC 9899:2024):
  • 7.20.1 Макросы проверенных целочисленных операций ckd_ (стр: 311)

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

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