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

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

  •  4
  • BobMorane  · 技术社区  · 6 年前

    考虑以下代码:

    #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 回复  |  直到 6 年前
        1
  •  9
  •   Lightness Races in Orbit    6 年前

    您与此非常接近:

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

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

        2
  •  3
  •   Community TimoSolo    3 年前

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

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

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

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

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

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

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

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

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

        3
  •  0
  •   Smit Ycyken    6 年前

    Integral promotion 案例:

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

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

        4
  •  0
  •   Killzone Kid    6 年前

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

    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开始)。