std::bit_ceil

Определено в заголовке `<bit>`
template< class T > constexpr T bit_ceil( T x );		(с C++20)

Вычисляет наименьшую целую степень двойки, которая не меньше чем x.

Если это значение не представимо в T, поведение не определено. Вызов этой функции разрешен в постоянном выражении только в том случае, если неопределённое поведение не возникает.

Этот перегруз участвует в разрешении перегрузки только если T является типом беззнакового целого (то есть unsigned char, unsigned short, unsigned int, unsigned long, unsigned long long, или расширенным типом беззнакового целого).

Параметры

значение беззнакового целого типа

Возвращаемое значение

Наименьшая целая степень двойки, которая не меньше чем x.

Исключения

Ничего не выбрасывает.

Примечания

Макрокоманда проверки наличия функции	Значение	Стандарт	Функция
`__cpp_lib_int_pow2`	202002L	(C++20)	Целочисленные операции над степенями двойки

Возможная реализация

См. возможные реализации в libstdc++ (gcc) и libc++ (clang).

template<std::unsigned_integral T>
    requires !std::same_as<T, bool> && !std::same_as<T, char> &&
             !std::same_as<T, char8_t> && !std::same_as<T, char16_t> &&
             !std::same_as<T, char32_t> && !std::same_as<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
    {   // for types subject to integral promotion
        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 (unsigned x{0}; x != 10; ++x)
    {
        unsigned const z = std::bit_ceil(x); // `ceil2` before P1956R1
        std::cout << "bit_ceil( " << bin(x) << " ) = " << bin(z) << '\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

См. также

bit_floor

(C++20)

находит наибольшую целую степень двойки, не большую, чем данное значение
(шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/numeric/bit_ceil