如何将固定尺寸的枚举Val设置为最大值的值？

Question

这可能很简单，但我没有正确。我有一个“ bitmask”枚举，该枚举具有一个值所有，该表明所有位均已设置。但是，我无法使用〜0来翻转所有位。出现以下错误：

<source>:11:16: error: enumerator value '-1' is outside the range of underlying type 'uint_fast8_t' {aka 'unsigned char'}
   11 |         all = ~0x0,
      |             

这很奇怪，因为它实际上应该适合uint8_t否？这是我的代码（ godbolt ）：

#include <iostream>

int main()
{
    enum mask_t : uint_fast8_t {
        first = 0x1,
        second = 0x2,
        all = ~0x0,
    } mask;

    mask = all;
}

Answer 1

您可以借助一些元编程技巧

#include <limits>
#include <type_traits>
#include <cstdint>

enum mask_t : uint_fast8_t {
  first = 0x1,
  second = 0x2,
  all = std::numeric_limits<std::underlying_type_t<mask_t>>::max()
} mask;

demo

Answer 2

默认情况下，0x0是类型int。因此，如果您尝试翻转所有位，您将获得-1无法分配给枚举的类型。

即使您使用后缀作为字面值，例如u。表明字面价值是无符号类型的。如〜0x0u中。您将获得unsigned int类型的最大值。超过您使用的8位整数类型的范围。因此，这也行不通。

因此，您需要告诉语言您希望首先需要的字面价值是所需的类型。这可以通过其他答案中所示的static_cast来实现：

static_cast<uint_fast8_t>( ~0x0 )

但是，如果您稍后决定更改枚举的类型，则使用硬编码的类型和值有时会陷入困境。因此，如果您有C ++ 14。您可以使用std :: undlying_type type-tait，并制作一个通用实用程序：

template < class T > constexpr std::underlying_type_t< T > enum_max_v = ~static_cast< std::underlying_type_t< T > >(0);
// If you have c++17 available with the inline keyword
// template < class T > inline constexpr std::underlying_type_t< T > enum_max_v = ~static_cast< std::underlying_type_t< T > >(0);

然后使用类似：

enum mask_t : uint_fast8_t {
    first = 0x1,
    second = 0x2,
    all = enum_max_v< mask_t >,
} mask;

现在您不必关心枚举的基本类型。

您甚至可以使用std :: Numeric_Limits如果需要正确的值而不是依靠翻转位：

template < class T > constexpr std::underlying_type_t< T > enum_max_v = std::numeric_limits< std::underlying_type_t< T > >::max();

天空是极限。

Answer 3

您需要将Expression 〜0x0转换为具有类型int的类型的uint_fast8_t

all = static_cast<uint_fast8_t>( ~0x0 ),

last键入int？因为整数字面0x0具有类型int，并且操作员〜不会更改表达式的类型。

从C ++标准

2整数字面的类型是相应的第一个
表5中的列表可以表示其值。

类型int的对象可以代表文字0x0。

这是一个演示程序。

#include <iostream>
#include <iomanip>
#include <type_traits>

int main()
{
        
    std::cout << std::boolalpha << std::is_same_v<int, decltype( 0x0 )> << '\n';
}

程序输出是

true

另一种方法是写

all = 0xff,