std::bit_floor

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

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

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

Параметры

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

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

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

Примечания

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

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

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_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 = 0; x != 10; ++x)
    {
        auto const z = std::bit_floor(x); // `floor2` before P1956R1
        std::cout << "bit_floor( " << bin(x) << " ) = " << bin(z) << '\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/w/cpp/numeric/bit_floor