缩小从 int 到 unsigned char 的转换

Question

当我尝试编译这段代码时

struct T
{
    unsigned char x;
};

int main()
{
    unsigned char a = 10;
    unsigned char b = 1;

    T t = {a + b};

    return 0;
}

我得到这个错误：

错误：将 '(((int)a) + ((int)b))' 从 'int' 缩小到 {}内的'unsigned char' [-Wnarrowing]|

谁能解释一下为什么？

Answer 1

您的加法表达式的操作数正在经历integral promotion。

特别是，算术运算符不接受小于 int 的类型作为参数，并且在左值到右值转换后自动应用整数提升（如果适用）。这种转换始终保留价值。

您的a 和b 正在升级为int 或unsigned int，添加后又转换回unsigned char。

如果转换是预期的程序行为（从您作为设计者的角度来看），您可以将其显式转换为您想要的类型。显式转换不是缩小转换。隐式转换是。因此，如果我们将隐式强制转换更改为显式强制转换，程序就不再是病态的了。

T t = { static_cast<unsigned char>(a + b) };