Namespaces
Variants

std::bit_floor

От ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (базовые типы, RTTI)
Макросы проверки возможностей библиотеки (C++20)
Программные утилиты
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Троичное сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношения (устарело в C++20)
 
 
Определён в заголовке <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)
находит минимальное количество битов, необходимое для представления заданного значения
(шаблон функции)
проверяет, является ли число целочисленной степенью 2
(шаблон функции)