问为什么下面的表达式描述了缩小转换的特性？

EN

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

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

鉴于第8.5.4/7节及其第四个要点：

缩窄转换是隐式转换：

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

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

另见关于积分促进的第4.5/1节。

整数转换秩(4.13)小于int的整数类型( bool、char16_t、char32_t或wchar_t )以外的整数类型的prvalue可以转换为int类型的prvalue，如果int可以表示源类型的所有值；否则，源prvalue可以转换为类型为无符号int的prvalue。

从4.13我们得到-1 (一个int)的秩等于一个无符号int的秩，因此它可以转换为一个无符号int。

编辑

不幸的是，曾傑瑞咖啡从这个线程中删除了他的答案。我相信他是在正确的轨道上，如果我们接受的事实，目前的第4点在第8.5.4/7节是错误的，在这个变化在标准。