为什么?1&amp；>大小(整型)？

考虑以下代码：

template<bool> class StaticAssert;
template<> class StaticAssert<true> {};
StaticAssert< (-1 < sizeof(int)) > xyz1; // Compile error
StaticAssert< (-1 > sizeof(int)) > xyz2; // OK

为什么-1 > sizeof(int)为True？

1. 是否真的将-1提升为unsigned(-1)，然后提升为unsigned(-1) > sizeof(int)。
2. 如果sizeof(Int)为4，-1 > sizeof(int)是否等于-1 > size_t(4)，如果是这样，为什么-1 > size_t(4)为False？

这是否符合C++标准？

---

解决方案

以下是标准(ISO 14882)对中止的解释：-1>sizeof(Int)

关系运算符‘>’在5.9(Expr.rel/2)中定义

通常的算术转换为 在算术或操作数上执行 枚举类型。...

通常的算术转换在5(expr/9)中定义

.该模式称为通常的算术转换，其定义如下：

• 如果其中一个操作数是Long类型 双倍，...
• 否则，如果任一操作数为dobule，则...
• 否则，如果任一操作数为浮点型，则...
• 否则，应对两个操作数执行积分提升。
• ...

4.5中定义了积分促销

类型为char、带符号字符 无符号字符、短整型或无符号 短整型可以转换为 如果int可以，则为int类型的r值 表示源的所有值 类型；否则，源r值可以 被转换为类型的右值 无符号整数。

sizeof的结果在5.3.3中定义(expr.sizeof/6)

结果是一个常量，类型为 大小_t

SIZE_t在C标准(ISO 9899)中定义，是无符号整数类型。

因此，对于-1 > sizeof(int)，>触发通常的算术转换。通常的算术转换将-1转换为无符号int，因为int不能表示size_t的所有值。-1变得非常大，取决于平台。因此-1 > sizeof(int)是true。