sub_sat.md

sub_sat

• numeric[meta header]
• function template[meta id-type]
• std[meta namespace]
• cpp26[meta cpp]

namespace std {
  template<class T>
    constexpr T sub_sat(T x, T y) noexcept;
}

概要

飽和減算 x - y を計算する。

テンプレートパラメータ制約

Tは符号付き整数型または符号無し整数型であること。

戻り値

• 無限の範囲で計算した値x - yが型Tで表現可能ならば、x - yを返す
• そうでないとき、型Tで表現可能な最大値または最小値のうちx - yに近い方の値を返す

例外

投げない

例

#include <cstdint>
#include <numeric>
#include <print>

int main()
{
  // 3 - 1 = 2
  std::println("{}", std::sub_sat(3, 1));

  // 1 - 3 = -2 -> 0
  std::println("{}", std::sub_sat(1u, 3u));

  // -100 - 50 = -150 -> -128(-2**7)
  std::int8_t x = -100, y = 50;
  std::println("{}", std::sub_sat(x, y));
}

• std::sub_sat[color ff0000]
• std::println[link /reference/print/println.md]

出力

2
0
-128

バージョン

言語

• C++26

処理系

• Clang: ??
• GCC: ??
• ICC: ??
• Visual C++: ??

参照

• P0543R3 Saturation arithmetic