std::bit_expand
来自 zh.cppreference.net
| 定义于头文件 <bit>
|
||
template< class T >
constexpr T bit_expand( T x, T m ) noexcept;
|
(自C++29起) | |
选择x的最低有效位,并将它们放置在m为1位的位置。其余位为0。
仅当T是无符号整数类型(即unsigned char、unsigned short、unsigned int、unsigned long、unsigned long long或扩展无符号整数类型)时,此重载才参与重载决议。
参数
| x | - | 无符号整数类型的值 |
| m | - | 无符号整数类型的值 |
返回值
x 应用通过掩码m的位填充后的结果。
注解
该函数的结果与PDEP x86_64和PDEP ARM指令相同。
| 功能测试 宏 | 值 | 标准 | 功能 |
|---|---|---|---|
__cpp_lib_bitops |
202606L |
(C++29) | 位排列 |
可能的实现
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_compress(T x) noexcept
{
T result = 0;
for (int i = 0, j = 0; i < std::numeric_limits<T>::digits; ++i)
{
bool mask_bit = (m >> i) & 1;
result |= (mask_bit & (x >> j)) << i;
j += mask_bit;
}
return result;
}
|
示例
运行此代码
#include <bit>
#include <cstdint>
static_assert(
std::bit_expand(
std::uint16_t{0xABCD}, // source
std::uint16_t{0x0F0F}) // mask
== std::uint16_t{0x0C0D} // result
);
static_assert(
std::bit_expand(
std::uint8_t{0b1010'1001}, // source
std::uint8_t{0b0011'0011}) // mask
== std::uint8_t{0b0010'0001} // result
);
int main() {}
参阅
(C++29) |
使用掩码 (PEXT) (函数模板) |