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)

Ссылки

См. также