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

Question

我原以为这可以通过谷歌轻松解决问题,但我似乎无法找到明确的(甚至是推测性的)答案:

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

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

这是问题的简单部分 - 第二部分是"一般规则是什么",因为它可能是:

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

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

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

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

Answer 1

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

1. 两种类型都被"提升".这意味着任何小于int推广的东西int.(在不太可能的情况下,size_t小于int,它将被提升为已签名int,并且松散其无符号.)

2. 如果其中一个类型可以包含另一个类型的所有值,则另一个类型将转换为此类型.

3. 如果其中一个类型是无符号的,另一个是有符号的,并且它们具有相同的大小,则signed将转换为unsigned.

对于int与size_t(其被要求是无符号),这意味着,除非size_t是小于int,则int将被转换为一个size_t.