std::bit_expand

template< class T >
constexpr T bit_expand( T x, T m ) noexcept;

Выбирает наименее значащие биты x и помещает их в позиции, где m содержит 1-бит. Остальные биты 0.

Эта перегрузка участвует в разрешении перегрузки, только если T является беззнаковым целочисленным типом (то есть unsignedchar, unsignedshort, unsignedint, unsignedlong, unsignedlonglong или расширенным беззнаковым целочисленным типом).

Параметры

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

x с применённым к нему побитовым размещением через маску m.

Примечания

Функция имеет тот же результат, что и инструкции PDEP для x86_64 и PDEP для ARM.

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

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() {}

См. также