casting — Как C ++ неявно приводит аргументы к компаратору, такому как & lt ;?

Я думал, что это будет легко решить вопрос через Google, но я не могу найти окончательный (или даже умозрительный) ответ:

При использовании оператора сравнения, в каком порядке происходит неявное приведение?

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. «Более простой» аргумент всегда преобразуется в «более сложный» аргумент (то есть size_t-> int), или
2. Первый (или второй) аргумент всегда преобразуется в тип второго (или первого) аргумента, или
3. Встроенные примитивы, такие как size_t и ints, имеют специальные операторы сравнения, которые определяют приведение в каждом конкретном случае.

Все три кажутся разумными, хотя второе даст значительно отличающееся поведение от того, что интуитивно ожидает большинство людей.

Компилятор VC ++, похоже, считает, что стоит сравнить предупреждение уровня 3, когда вы сравниваете int с size_t — и все же он выдает предупреждение уровня 4 только тогда, когда вы возвращаете отрицательное число из функции, которая возвращает size_t (что приводит к более половины максимального целого числа, возвращаемого).

В попытке избавиться от всех предупреждений уровня 4, я все равно явно произнесла все, но хотела знать «правду». Это должно быть определено где-то …