in_range.md

in_range

• utility[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp20[meta cpp]

namespace std {
  template <class R, class T>
  constexpr bool in_range(T t) noexcept;
}

概要

値が型のとりうる範囲内か判定する。

この関数は、任意の整数型Tの値tが、指定した整数型Rのとりうる範囲内かを判定する。

適格要件

• 型Tと型Uはどちらも、符号なし整数型もしくは符号付き整数型であること

効果

以下と等価：

return cmp_greater_equal(t, numeric_limits<R>::min()) &&
       cmp_less_equal(t, numeric_limits<R>::max());

• cmp_greater_equal[link cmp_greater_equal.md]
• cmp_less_equal[link cmp_less_equal.md]
• numeric_limits[link /reference/limits/numeric_limits.md]
• min()[link /reference/limits/numeric_limits/min.md]
• max()[link /reference/limits/numeric_limits/max.md]

例外

投げない

例

#include <cassert>
#include <utility>
#include <cstdint>

int main() {
  // -1は、符号付き整数型intのとりうる範囲内である
  assert(std::in_range<int>(-1));

  // -1は、符号なし整数型unsigned intのとりうる範囲内ではない
  assert(!std::in_range<unsigned int>(-1));

  // 255は、符号なし8ビット整数の範囲内である
  assert(std::in_range<std::uint8_t>(255));

  // 255は、符号付き8ビット整数の範囲内ではない
  assert(!std::in_range<std::int8_t>(255));
}

• std::in_range[color ff0000]
• std::uint8_t[link /reference/cstdint/uint8_t.md]
• std::int8_t[link /reference/cstdint/int8_t.md]

出力

バージョン

言語

• C++20

処理系

• Clang:
• GCC: 10.1
• Visual C++: 2019 Update 7

参照

• P0586R2 Safe integral comparisons