Namespaces
Variants

std:: bit_floor

From cppreference.net
C++
Utilities library
Bit manipulation
Определено в заголовке <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 равен нулю; в противном случае — наибольшая целая степень двойки, не превышающая 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

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

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