代码之家 › 专栏 › 技术社区 › BobMorane

从int到uint8\u t的隐藏缩小转换

narrowing implicit-conversion type-conversion c++

BobMorane · 技术社区 · 7 年前

考虑以下代码:

#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 s、即使我明确地 无符号字符 我得到错误:

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

为什么这是必要的?

4 回复 | 直到 7 年前

Lightness Races in Orbit 7 年前

您与此非常接近:

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 (在你可以做任何事情之后)
计算结果为 内景

因此,您现在需要随后转换整个表达式:

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

你尝试放弃 {} -初始化,这可能也是我要做的。你只是不需要这里的严格。

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

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

Community CDub 5 年前

大多数二进制算术运算包括 | 此处显示的按位or强制提升其子表达式,也就是说,它们至少 int 或 unsigned int 在等级中。

C++17[解释]第11段:

许多期望操作数为算术或枚举类型的二进制运算符会导致转换,并以类似的方式生成结果类型。目的是生成一个公共类型,它也是结果的类型。此模式称为 常用算术转换 ,定义如下:

如果任一操作数属于作用域枚举类型。。。

如果任一操作数的类型为 long double 。。。

否则,如果任一操作数为 double 。。。

否则,如果任一操作数为 float 。。。

否则,应在两个操作数上执行积分提升。然后,应将以下规则应用于提升的操作数:。。。

这个 integral promotions 以下是导致 get_a() 要更改的值 uint8_t 到 内景 。因此 | 表达式也是 内景 ,并缩小范围以初始化另一个 uint8\u t 格式不正确。

Smit Ycyken 7 年前

Integral promotion 案例:

prvalues 小型整型(如 char )可转换为 pr较大整数类型的值(例如 int )。

a.get_a() | aa.get_a() -这是prvalue表达式

Killzone Kid 7 年前

列表初始化更加严格,这就是为什么会收到警告。

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

大括号内的表达式

auto i = a.get_a() | aa.get_a(); // i is int

被提升为 int 从那以后 内景 无法完全适应 uint8_t ,将根据 this rule :

如果初始值设定项子句是表达式,则隐式转换为根据副本初始化允许,除非它们正在缩小(如在列表初始化中)(从C++11开始)。