std::bit_ceil

来自cppreference.com
< cpp‎ | numeric
 
 
 
位操纵
(C++20)
(C++23)
二的整数次幂
bit_ceil
(C++20)
(C++20)
(C++20)
旋转
(C++20)
(C++20)
计数
(C++20)
(C++20)
(C++20)
端序
(C++20)
 
在标头 <bit> 定义
template< class T >
constexpr T bit_ceil( T x );
(C++20 起)

计算不小于 x 的最小的二的整数次幂。

若值不能以 T 表示,���行为未定义。仅若不出现未定义行为才容许在常量求值中调用此函数。

此重载只有在 T 为无符号整数类型(即 unsigned charunsigned shortunsigned intunsigned longunsigned long long 或扩展无符号整数类型)时才会参与重载决议。

目录

[编辑] 参数

x - 无符号整数类型的值

[编辑] 返回值

不小于 x 的最小的二的整数次幂。

[编辑] 异常

不抛出。

[编辑] 注解

P1956R1 以前,为这个函数模板提出的名字是 ceil2

功能特性测试 标准 功能特性
__cpp_lib_int_pow2 202002L (C++20) 2 的整数次幂运算

[编辑] 可能的实现

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);
    }
}

[编辑] 示例

#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 的整数次幂
(函数模板) [编辑]