has_single_bit.md

has_single_bit

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

namespace std {
  template <class T>
  constexpr bool has_single_bit(T x) noexcept;
}

概要

1ビットだけ立っている値をもっているか判定する。

符号なし整数値にこの関数を適用することで、整数値が2の累乗かを判定することができる。

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

• 型Tが符号なし整数型であること

戻り値

xの値が1ビットだけ立っていればtrue、そうでなければfalseを返す。

例外

投げない

例

#include <iostream>
#include <bit>

void check_pow2(unsigned int x)
{
  std::cout << x << "\t : " << std::has_single_bit(x) << std::endl;
}

int main()
{
  std::cout << std::boolalpha;

  if (std::has_single_bit(128u)) {
    std::cout << "128 is power of 2" << std::endl;
  }
  check_pow2(0u);
  check_pow2(3u);
  check_pow2(0xffu);

  std::cout << "---" << std::endl;

  check_pow2(1u);
  for (unsigned int i = 2u; i <= 1024u; i *= 2) {
    check_pow2(i);
  }
}

• std::has_single_bit[color ff0000]

出力

128 is power of 2
0	 : false
3	 : false
255	 : false
---
1	 : true
2	 : true
4	 : true
8	 : true
16	 : true
32	 : true
64	 : true
128	 : true
256	 : true
512	 : true
1024	 : true

バージョン

言語

• C++20

処理系

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

参照

• P0556R3 Integral power-of-2 operations
• P1956R1 On the names of low-level bit manipulation functions -- std::ispow2からstd::has_single_bitに名称変更