std::bit_ceil

template< class T >
constexpr T bit_ceil( T x );

x以上の最小の2の整数乗を計算します。

その値がTで表現できない場合、動作は未定義です。この関数の呼び出しは定数式評価 でのみ、未定義動作が発生しない場合に許可されます。

このオーバーロードはT は符号なし整数型です（つまり、unsigned char、unsigned short、unsigned int、unsigned long、unsigned long long、または拡張符号なし整数型）。

パラメータ

戻り値

x 以上で最小の2の整数乗。

例外

例外を送出しません。

注記

P1956R1 以前、この関数テンプレートの提案名は ceil2 でした。

実装例

実装例は libstdc++ (gcc) および libc++ (clang) でご覧いただけます。

template<typename T, typename ... U>
concept neither = (!std::same_as<T, U> && ...);
template<std::unsigned_integral T>
    requires neither<T, bool, char, char8_t, char16_t, char32_t, wchar_t>
constexpr T bit_ceil(T x) noexcept
{
    if (x <= 1u)
        return T(1);
    if constexpr (std::same_as<T, decltype(+x)>)
        return T(1) << std::bit_width(T(x - 1));
    else
    {   // 整数昇格の対象となる型の場合
        constexpr int offset_for_ub =
            std::numeric_limits<unsigned>::digits - std::numeric_limits<T>::digits;
        return T(1u << (std::bit_width(T(x - 1)) + offset_for_ub) >> offset_for_ub);
    }
}

例

#include <bit>
#include <bitset>
#include <iostream>
int main()
{
    using bin = std::bitset<8>;
    for (auto x{0U}; 0XA != x; ++x)
        std::cout << "bit_ceil( " << bin(x) << " ) = "
                  << bin(std::bit_ceil(x)) << '\n';
}

bit_ceil( 00000000 ) = 00000001
bit_ceil( 00000001 ) = 00000001
bit_ceil( 00000010 ) = 00000010
bit_ceil( 00000011 ) = 00000100
bit_ceil( 00000100 ) = 00000100
bit_ceil( 00000101 ) = 00001000
bit_ceil( 00000110 ) = 00001000
bit_ceil( 00000111 ) = 00001000
bit_ceil( 00001000 ) = 00001000
bit_ceil( 00001001 ) = 00010000

関連項目