Ошибка компиляции, сравнивающая целое число со строкой?

Question

Вероятно, как и многие, я напечатал эту опечатку

int a = 0; 
cout << a < " "; //note the '<' 

Однако компилятор MSVC++ бросил только предупреждение

предупреждение C4552: '<': оператор не имеет никакого эффекта; ожидаемый оператор с побочный эффект

, хотя я ожидал ошибки компиляции. Действительно ли это стандартный код жалобы? Происходит ли какое-либо неявное преобразование или перегрузка типов, которые делают код действительным? Я также путаю ли < оператора сравнения строки " " с целым числом a или с результатом cout << a

Связанная SO постом является here.

Answer 1

Оператор << имеет более высокий приоритет, чем <, так что это обрабатывается как

(cout << a) < " "; 

Вы на самом деле не сравнивая строку с целым числом. Вместо этого вы сравниваете возвращаемое значение ostream::operator<<, которое равно std::cout, в строковый литерал. Это не законно (в том смысле, который имеет неопределенный результат, и это не имеет смысла) либо, clang предупреждает:

warning: result of comparison against a string literal is unspecified 

Причина, почему он компилирует в том, что вплоть до C++ 11, std::ostream может неявно преобразуется в void *. Кроме того, строковый литерал типа const char[2] распадается на указатель типа const char *. Таким образом, оператор < теперь принимает два указателя, что разрешено, хотя его результат не указан, поскольку два указателя не указывают на один и тот же объект.

Answer 2

Это вниз к оператору precedence

т.е.

Линия приравнивает к (cout << a) < " "; - Поэтому <" " ничего не делает!

EDIT

Этот бит возвращает объект (cout << a) возвращает объект типа ostream, где он не имеет перегруженный оператор <, так как компилятор отказывается (C++ 11) или царапает его голову AMD имеет bash для целочисленного оператора (т. е. указатели и т. д.).

Answer 3

Фактически, так как это (cout << a) < " ", мы сравниваем ostream с " ". Класс ostream имеет оператора для его преобразования в void *. Вы можете сравнить void * с const char * без приведения в действие, поэтому компилятор с радостью делает это, а затем понимая, что вы не используете результат сравнения, и выдает предупреждение.

Одна из этих причудливых вещей в C++.