C如何隐式地将参数转换为比较器,如<？

我原以为这将是一个很容易通过谷歌解决的问题,但我似乎无法找到一个明确的(甚至是推测性的)答案：

使用比较器语句时,隐式转换的顺序是什么？

int i = -1;
size_t t = 1;

bool result = i < t;

这相当于：

bool result = i < int(t);    // equals true

要么：

bool result = size_t(i) < t;    // equals false

这是问题的简单部分 – 第二部分是“一般规则是什么”,因为它可能是：

>’更简单’的参数总是转换为’更复杂’的参数(即size_t-> int),或者
>第一个(或第二个)参数始终转换为第二个(或第一个)参数的类型,或
>内置的原语(如size_t和ints)具有特定的比较运算符,用于逐个指定转换.

这三个看起来都是合理的,尽管第二个会产生与大多数人直觉所期望的显着不同的行为.

当你将int与size_t进行比较时,VC编译器似乎认为它值得一个3级警告 – 然而当你从返回size_t的函数返回负数时它只给出4级警告(这导致一个数字只是超过返回的最大整数的一半).

为了摆脱所有4级警告,我现在无论如何都明确地投了一切,但我想知道“真相”.这必须在某处定义……

解决方法

规则相当复杂,取决于实现.
但基本上：

>两种类型都被“提升”.这意味着什么
小于int的提升为int. (在不太可能的情况下
size_t小于int,它将被提升为
一个签名的int,并且松散了它的无符号.)
>如果其中一个类型可以包含所有值
另外,另一个转换为这种类型.
>如果其中一种类型是未签名的,另一种是签名的,和
它们具有相同的大小,签名转换为
无符号.

对于int和size_t(需要无符号),这个表示除非size_t小于int,否则int将转换为size_t.