c++ - 从 int 到 uint8_t 的隐藏缩小转换

Question

考虑以下代码:

#include <cstdint>

class A
{
public:

    explicit A(uint8_t p_a){ m_a = p_a; };
    uint8_t get_a() const {return m_a;}

private:

    uint8_t m_a;
};

int main()
{
    A a {0x21U};
    A aa{0x55U};

    uint8_t mask{a.get_a() | aa.get_a()};

    return 0;
}

当我尝试编译这个 (gcc 5.4.0) 时，我得到以下错误:

main.cpp: In function ‘int main()’:
main.cpp:20:28: warning: narrowing conversion of ‘(int)(a.A::get_a() | aa.A::get_a())’ from ‘int’ to ‘uint8_t {aka unsigned char}’ inside { } [-Wnarrowing]
     uint8_t mask{a.get_a() | aa.get_a()};

我真的不明白为什么会缩小。 int 类型从未在我的代码中的任何地方使用过，所有内容都是根据 unsigned char 编写的。即使我显式转换为 unsigned char 我也会收到错误:

uint8_t mask{static_cast<uint8_t>(a.get_a()) | static_cast<uint8_t>(aa.get_a())};

事实上，要解决这个问题，我需要删除 {} - 初始化。然后就可以了:

uint8_t mask = a.get_a() | aa.get_a();

为什么这是必要的？

Answer 1

你很接近这个:

uint8_t mask{static_cast<uint8_t>(a.get_a()) | static_cast<uint8_t>(aa.get_a())};

但是 a.get_a() 和 aa.get_a() 已经是 uint8_t，所以转换什么都不做。

| 操作:

• 将两个操作数都转换为int(在你可以做任何事情之后)
• 评估为 int

所以这是您现在需要随后转换的整个表达式:

uint8_t mask{static_cast<uint8_t>(a.get_a() | aa.get_a())};

您尝试删除 {} 初始化也是正确的，这可能也是我会做的。您只是在这里不需要它的严格性。

uint8_t mask = a.get_a() | aa.get_a();

这是清楚、简洁和正确的。