Question

在我的代码库中，我经常使用以下语法初始化数组或向量（如果是字节：

）

uint16_t foo = 0xAB, bar = 0xCD

// bytes = { 0xA, 0xB, 0xC, 0xD }
std::array<uint8_t, 4> bytes = {{
    foo >> 8,
    foo & 0x00FF,
    bar >> 8,
    bar & 0x00FF
}};

我从clang ++中得到以下错误：

error: non-constant-expression cannot
 be narrowed from type 'int' to 'value_type' (aka 'unsigned char') in initializer list [-Wc++11-narrowing]
                        foo >> 8,
                        ^~~~~~~~~~~~~

编译器建议我添加一个static_cast来消除错误。我知道演员阵容会奏效，但我想知道是否有可能避免演员阵容，并保持语法优雅，而且已经很好了？

感谢您的帮助。

Answer 1

您可以执行以下操作，而不是多次添加static_cast：

template <class ... Ts>
std::array<uint8_t, sizeof...(Ts)> make_char_array(Ts && ... ts) {
    return {{static_cast<uint8_t>(ts)...}};
}

并使用与之前相同的参数执行auto bytes = make_char_array(...)。

Answer 2

没有优雅的方法。

实际上你必须使用演员。 foo >> 8＆amp; c。是int类型的表达式，您不能依赖缩小初始化列表中的转换。只有不合格的编译器才会避免使用您提供的代码发出诊断信息。

Answer 3

您可以创建函数：

constepxr uint8_t low_byte(uint16_t n) { return n & 0x00FF; }
constepxr uint8_t high_byte(uint16_t n) { return (n >> 8) & 0x00FF; }

然后

uint16_t foo = 0x0A0B, bar = 0x0C0D;

// bytes = { 0x0A, 0x0B, 0x0C, 0x0D }
std::array<uint8_t, 4> bytes = {{ high_byte(foo),
                                  low_byte(foo),
                                  high_byte(bar),
                                  low_byte(bar)
}};

是否可以避免初始化列表中的static_cast？

3 个答案: