ckd_add
| Определён в заголовке <stdckdint.h>
|
||
#define ckd_add( result, a, b ) /* implementation-defined */
// exposed interface:
bool ckd_add( type1* result, type2 a, type3 b );
|
(начиная с 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 подходящего целого типа.
Пример
#include <limits.h>
#include <stdckdint.h>
#include <stdint.h>
#include <stdio.h>
const char* text(bool overflow) { return overflow ? "Overflow" : "OK"; }
int main()
{
uint8_t x;
uint16_t y;
uint16_t result_uint16;
uint32_t result_uint32;
bool overflow;
x = 14;
y = 28;
overflow = ckd_add(&result_uint16, x, y);
printf("%u + %u => %u (%s)\n", x, y, result_uint16, text(overflow));
x = 14;
y = UINT16_MAX;
overflow = ckd_add(&result_uint16, x, y);
printf("%u + %u => %u (%s)\n", x, y, result_uint16, text(overflow));
x = 14;
y = UINT16_MAX;
overflow = ckd_add(&result_uint32, x, y);
printf("%u + %u => %u (%s)\n", x, y, result_uint32, text(overflow));
}
Вывод:
14 + 28 => 42 (OK)
14 + 65535 => 13 (Overflow)
14 + 65535 => 65549 (OK)
Ссылки
- Стандарт C23 (ISO/IEC 9899:2024):
- 7.20.1 Макросы ckd_ для проверяемых целочисленных операций (стр. 311)
См. также
(C23) |
проверяемая операция вычитания для двух целых чисел (типородовой макрос-функция) |
(C23) |
проверяемая операция умножения для двух целых чисел (типородовой макрос-функция) |
Документация C++ для ckd_add
| |