c ++自動類型與無符號轉換簽名

Question

我想編寫一個函數，對auto類型的參數執行按位操作。

• 傳入的類型可能是unsigned int或int類型（具有不同的寬度）。
• 我只想對unsigned類型執行逐位運算。

我需要一個返回原始數據類型的unsigned版本的運算符。 在下面的函數示例中，“operator” unsigned_type將為我提供該value具有的數據類型，但確保它是無符號的。

• int - > unsigned int
• int16_t - > uint16_t
• uint16_t - > uint16_t

功能示例：

auto bit_shifting_and_mask(auto value) -> decltype(value)
{
    unsigned_type(value) unsigned_value = static_cast<unsigned_type(value)>(value);

    unsigned_value >>= 8u;       // Contrived bit manipulation
    unsigned_value &= 0xABCDu;   // here ...

    return static_cast<decltype(value)>(unsigned_value);
}

是否有一些方法可以對從decltype獲得的數據類型執行unsigned_type decltype ？

謝謝。

Answer 1

C ++ 11在<type_traits>有一個std::make_unsigned實用程序：

auto bit_shifting_and_mask(auto value) -> decltype(value)
{
    auto unsigned_value = static_cast<std::make_unsigned<decltype(value)>::type>(value);

    unsigned_value >>= 8u;       // Contrived bit manipulation
    unsigned_value &= 0xABCDu;   // here ...

    return static_cast<decltype(value)>(unsigned_value);
}

使用C ++ 14，您可以使用std::make_unsigned_t而不是std::make_unsigned::type進一步簡化。

Answer 2

make_unsigned ，正如Jarod42所說。

auto bit_shifting_and_mask(auto value) -> decltype(value)

這不是您希望使此函數依賴於類型的方式。 使用模板，除非此函數是lambda。

Answer 3

這不需要標准中尚未（功能）的功能。 它在VS 2017下編譯，啟用VC ++ 17。

#include <type_traits>
template<typename T>
auto bit_shifting_and_mask(T value) {
    static_assert(std::is_integral_v<T>, 
        "bit_shifting_and_mask(value): value is not integral type");
    using unsgn =std::make_unsigned_t<T>;
    auto unsigned_value = static_cast<unsgn>(value);

    unsigned_value >>= 8u;       // Contrived bit manipulation
    unsigned_value &= 0xABCDu;   // here ...

    return unsigned_value;
}