为什么下面的表达式表征缩小转换？

Question

此表达式可在标准 (N3797) §8.5.4/7 中的示例中找到

unsigned int ui1 = {-1}; // error: narrows

鉴于 §8.5.4/7 及其第 4 个要点：

窄化转换是一种隐式转换：

• 从整数类型或无作用域枚举类型到不能表示原始类型所有值的整数类型， 除非源是一个常量表达式，其值在 积分促销将适合目标类型。

我想说这里没有缩小范围，因为 -1 是一个常量表达式，其值在积分提升后适合无符号整数。

另请参阅 §4.5/1 关于整体推广：

除 bool、char16_t、char32_t 或 wchar_t 其整数转换等级 (4.13) 小于 如果 int 可以表示所有，则 int 可以转换为 int 类型的纯右值 源类型的值；否则，源纯右值可以是 转换为 unsigned int 类型的纯右值。

从 4.13 开始，我们得到 -1（一个 int）的秩等于一个 unsigned int 的秩，因此它可以转换为一个 unsigned int。

编辑

不幸的是，Jerry Coffin 从这个帖子中删除了他的答案。我相信他走在正确的轨道上，如果我们接受在标准中的 change 之后的第 8.5.4/7 节中第 4 个要点的当前阅读是错误的事实。

Answer 1

从int到unsigned int没有整体提升，因此它仍然是不正确的。

这将是一个完整的转换。

Answer 2

窄化是从整数类型到整数类型的隐式转换，不能表示原始类型的所有值

从整数类型int 到整数类型unsigned int 的转换，当然不能代表原始类型的所有值——这里的标准是相当明确的。如果你真的需要它，你可以这样做

 unsigned int ui1 = {-1u};

这没有任何错误/警告，因为1u 是unsigned int 类型的文字，然后被否定。这在标准状态中被明确定义为 [expr.unary.op]：

无符号量的负数是通过从 2ⁿ 中减去其值来计算的，其中 n 是提升的操作数中的位数。

-1 然而在否定之前和之后是一个int，因此它变成了一个缩小转换。 There are no negative literals;详情请见this answer。

推广是，非正式地，将相同的值复制到更大的空间，所以这里不应该混淆，因为大小（signed 和unsigned）是相等的。即使您尝试将其转换为某种更大的尺寸，比如unsigned long long，它仍然是一个缩小转换，因为它不能真正代表负数。

Answer 3

标准措辞的更改旨在确认将负值转换为无符号类型是并且一直是缩小转换的理解。

非正式地，-1 不能在任何无符号类型的范围内表示，并且表示它的位模式如果存储在无符号 int 中，则表示的值不同。因此，这是一个缩小转换，不涉及提升/扩大。

这是关于阅读标准的精致艺术。像往常一样，编译器最清楚。