4

考虑以下代码：

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

为什么这是必要的？

4

4 回答 4

9

你很接近这个：

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

But a.get_a()and aa.get_a()are already uint8_t，所以演员什么也不做。

它的|操作是：

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

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

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

您尝试删除{}-initialisation 也是正确的，这可能也是我会做的。你只是不需要它的严格性。

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

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

于 2018-03-17T17:52:10.787 回答
3

大多数二进制算术运算，包括|这里出现的按位或强制它们的子表达式被提升，也就是说它们将至少int或unsigned int在等级上。

C++ 17 [expr] 第 11 段：

许多期望算术或枚举类型的操作数的二元运算符会以类似的方式导致转换和产生结果类型。目的是产生一个通用类型，这也是结果的类型。这种模式称为通常的算术转换，其定义如下：

  • 如果任一操作数是作用域枚举类型，...

  • 如果任一操作数是类型long double，...

  • 否则，如果任一操作数是double, ...

  • 否则，如果任一操作数是float, ...

  • 否则，应在两个操作数上执行整数提升。然后将以下规则应用于提升的操作数： ...

这里的积分提升是导致get_a()值从uint8_t变为的原因int。所以|表达式的结果也是一个int，并且缩小它来初始化另一个uint8_t是不正确的。

于 2018-03-17T17:55:27.963 回答
0

整体推广案例：

小整数类型（例如char）的纯右值可以转换为较大整数类型（例如int）的纯右值。

a.get_a() | aa.get_a()- 这是纯右值表达式

于 2018-03-17T16:58:51.973 回答
0

列表初始化更加严格，这就是您收到警告的原因。

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

大括号内的表达式

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

提升到不能完全适应，int所以根据这个规则发出缩小警告：intuint8_t

如果初始化子句是表达式，则允许按照复制初始化进行隐式转换，除非它们正在缩小（如在列表初始化中）（C++11 起）。

于 2018-03-17T17:39:17.367 回答