- utility[meta header]
- std[meta namespace]
- function template[meta id-type]
- cpp20[meta cpp]
namespace std {
template <class T, class U>
constexpr bool cmp_less(T t, U u) noexcept;
}整数に対して安全に、左辺が右辺より小さいかを比較（t < u）する。
この関数は、型Tと型Uがそれぞれ符号付き整数と符号なし整数のどちらであったとしても、安全に比較できる関数である。以下のように符号付き整数のインデックス変数と符号なし整数の配列要素数の比較によってコンパイラに警告が出力されてしまうような状況で使用できる：
std::vector<X> v;
// 警告：式`i < v.size()`で、符号付き整数と符号なし整数の間で比較しようとした
for (int i = 0; i < v.size(); ++i) {}
// OK
for (int i = 0; cmp_less(i, v.size()); ++i) {}- 型
Tと型Uはどちらも、符号なし整数型もしくは符号付き整数型であること
以下と等価：
using UT = make_unsigned_t<T>;
using UU = make_unsigned_t<U>;
if constexpr (is_signed_v<T> == is_signed_v<U>)
return t < u;
else if constexpr (is_signed_v<T>)
return t < 0 ? true : UT(t) < u;
else
return u < 0 ? false : t < UU(u);- make_unsigned_t[link /reference/type_traits/make_unsigned.md]
- is_signed_v[link /reference/type_traits/is_signed.md]
投げない
#include <iostream>
#include <utility>
int main() {
std::cout << std::boolalpha;
// 符号付き整数型同士の比較
std::cout << std::cmp_less(1, 2) << std::endl;
// 符号なし整数型同士の比較
std::cout << std::cmp_less(1u, 2u) << std::endl;
// 符号付き整数型と符号なし整数型の比較
std::cout << std::cmp_less(1, 2u) << std::endl;
std::cout << std::cmp_less(1u, 2) << std::endl;
}- std::cmp_less[color ff0000]
true
true
true
true
- C++20
- Clang:
- GCC: 10.1 [mark verified]
- Visual C++: 2019 Update 7 [mark verified]