ckd_sub

template< class type1, class type2, class type3 >
bool ckd_sub( type1* result, type2 a, type3 b );

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

Параметры

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

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

Примечание

Шаблон функции ckd_sub имеет ту же семантику, что и соответствующий обобщённый по типу макрос с тем же именем, указанный в C23.

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

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

Пример

#include <cstdint>
#include <limits>
#include <print>
#include <stdckdint.h>

int main()
{
    int16_t result1{};
    constexpr std::int8_t x1{-2};
    constexpr std::int16_t y1{1};
    const bool underflow1{ckd_sub(&result1, x1, y1)};
    std::println("{} - {} == {} ({})", x1, y1, result1, underflow1 ? "Underflow" : "OK");

    int16_t result2{};
    constexpr std::int8_t x2{-2};
    constexpr std::int16_t y2{std::numeric_limits<std::int16_t>::max()};
    const bool underflow2{ckd_sub(&result2, x2, y2)};
    std::println("{} - {} == {} ({})", x2, y2, result2, underflow2 ? "Underflow" : "OK");

    int32_t result3{};
    constexpr std::int8_t x3{-2};
    constexpr std::int16_t y3{std::numeric_limits<std::int16_t>::max()};
    const bool underflow3{ckd_sub(&result3, x3, y3)};
    std::println("{} - {} == {} ({})", x3, y3, result3, underflow3 ? "Underflow" : "OK");
}

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

Ссылки

• Стандарт C++26 (ISO/IEC 14882:2026):
• 29.11.2 Проверяемые целочисленные операции

См. также