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

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级警告,我现在无论如何都明确地投了一切,但我想知道“真相”.这必须在某处定义……