隐藏从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;
}

当我尝试编译this(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 chars语言编写的.即使我明确地转向unsigned char我得到错误:

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

事实上,要解决这个问题,我需要删除{}-initialization.然后它工作:

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();

这是清楚,简洁和正确的.