std::bit_floor

Определено в заголовочном файле `<bit>`
template< class T > constexpr T bit_floor( T x ) noexcept;		(начиная с C++20)

Если x не равно нулю, вычисляет наибольшую целую степень двойки, не превосходящую x. Если x равно нулю, возвращает ноль.

Эта перегрузка участвует в разрешении перегрузки, только если T является беззнаковым целочисленным типом (то есть unsignedchar, unsignedshort, unsignedint, unsignedlong, unsignedlonglong или расширенным беззнаковым целочисленным типом).

Параметры

беззнаковое целочисленное значение

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

Ноль, если x равно нулю; в противном случае — наибольшая целая степень двойки, не превосходящая x.

Примечания

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

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

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

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_floor(T x) noexcept
{
    if (x != 0)
        return T{1} << (std::bit_width(x) - 1);
    return 0;
}

Пример

#include <bit>
#include <bitset>
#include <iostream>

int main()
{
    using bin = std::bitset<8>;
    for (unsigned x{}; x != 012; ++x)
        std::cout << "bit_floor( " << bin(x) << " ) = "
                  << bin(std::bit_floor(x)) << '\n';
}

Вывод:

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

См. также

bit_ceil (C++20)	находит наименьшую целую степень двойки, не меньшую заданного значения (шаблон функции)
rotr (C++20)	вычисляет результат циклического сдвига битов вправо (шаблон функции)
bit_width (C++20)	находит минимальное количество битов, необходимое для представления заданного значения (шаблон функции)
has_single_bit (C++20)	проверяет, является ли число целой степенью двойки (шаблон функции)

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