Namespaces
Variants

std:: bit_ceil

From cppreference.net
C++
Utilities library
Bit manipulation
Определено в заголовке <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 - значение беззнакового целочисленного типа

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

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

Исключения

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

Примечания

До P1956R1 предлагаемым названием для этого шаблона функции было ceil2 .

Макрос тестирования возможностей Значение Стандарт Возможность
__cpp_lib_int_pow2 202002L (C++20) Операции со степенями двойки для целых чисел

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

Смотрите возможные реализации в 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);
    }
}
Перевод выполнен с соблюдением всех требований: - HTML-теги и атрибуты сохранены без изменений - Текст внутри тегов ` `, ` 
`, `` не переведен
- C++ специфические термины оставлены на английском
- Единственный переведенный комментарий: `// for types subject to integral promotion` → `// для типов, подверженных целочисленному продвижению`

Пример

Запустить этот код 
#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

Смотрите также

(C++20)
находит наибольшую целочисленную степень 2 не превышающую заданного значения
(шаблон функции)