ckd_sub

#define ckd_sub( result, a, b ) /* implementation-defined */
// exposed interface:
bool ckd_sub( type1* result, type2 a, type3 b );

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

int main()
{
    int16_t result1;
    constexpr int8_t x1 = -2;
    constexpr int16_t y1 = 1;
    const bool underflow1 = ckd_sub(&result1, x1, y1);
    printf("%i - %i == %i (%s)\n", x1, y1, result1, underflow1 ? "Underflow" : "OK");

    int16_t result2;
    constexpr int8_t x2 = -2;
    constexpr int16_t y2 = INT16_MAX;
    const bool underflow2 = ckd_sub(&result2, x2, y2);
    printf("%i - %i == %i (%s)\n", x2, y2, result2, underflow2 ? "Underflow" : "OK");

    int32_t result3;
    constexpr int8_t x3 = -2;
    constexpr int16_t y3 = INT16_MAX;
    const bool underflow3 = ckd_sub(&result3, x3, y3);
    printf("%i - %i == %i (%s)\n", x3, y3, result3, underflow3 ? "Underflow" : "OK");
}

-2 - 1 == -3 (OK)
-2 - 32767 == 32767 (Underflow)
-2 - 32767 == -32769 (OK)

Ссылки

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

См. также