Почему этот код компилируется? cout <«tt»;

Question

Почему этот код компилируется? cout <«tt»;

0

cout - объект класса ostream, а ostream - typedef basic_ostream:

extern ostream cout;

typedef basic_ostream<char> ostream;

template <class charT, class traits = char_traits<charT> >
  class basic_ostream;

но ни один из этих классов не имеет operator<

Поэтому я не могу понять, почему этот код компилируется без ошибок:

std::cout < "aaa";

Omid 19 фев. 2014, в 23:44

Источник

4

en.cppreference.com/w/cpp/io/basic_ios/operator_bool - и, судя по его компиляции, он использует void * one, поэтому он запускает неопределенное поведение, так как указатели не связаны.
chris 19 фев. 2014, в 21:50
0

@omid Точно так же, как вы понимаете комментарий выше, вы используете «<», что означает «проверка на меньшее», а не «<<», которое выводится.
Tim Bergel 19 фев. 2014, в 21:59
0

@chris Крис Я использую C ++ 11. почему он использует void *?
Omid 19 фев. 2014, в 21:59
0

@omid, AFAIK, более новые версии libc ++ сделали переход, и больше ничего не сделали. Я могу ошибаться, но то, что точно есть в вашей библиотеке, нет.
chris 19 фев. 2014, в 22:02
0

Кстати, std::ostream не является объектом std::basic_ostream , это typedef для std::basic_ostream<char> , узкого символьного потока вывода.
0x499602D2 19 фев. 2014, в 22:08

Показать ещё 3 комментария

Теги:

c++

stl

ostream

cout

1 ответ

Ещё вопросы

en.cppreference.com/w/cpp/io/basic_ios/operator_bool - и, судя по его компиляции, он использует void * one, поэтому он запускает неопределенное поведение, так как указатели не связаны.
@omid Точно так же, как вы понимаете комментарий выше, вы используете «<», что означает «проверка на меньшее», а не «<<», которое выводится.
@chris Крис Я использую C ++ 11. почему он использует void *?
@omid, AFAIK, более новые версии libc ++ сделали переход, и больше ничего не сделали. Я могу ошибаться, но то, что точно есть в вашей библиотеке, нет.
Кстати, std::ostream не является объектом std::basic_ostream , это typedef для std::basic_ostream<char> , узкого символьного потока вывода.

AnT · Accepted Answer · 2014-02-19T19-29-00.000Z

В C++ оператор языка < заставляет компилятор рассматривать встроенную кандидатную функцию формы

bool operator<(T, T);

для каждого возможного типа указателя T В частности, это означает, что существует такая функция для типа void *. Это функция, которая применима в вашем случае. Строковый литерал неявно конвертируется в void * а std::cout также неявно конвертируется в void *.

Вы можете воспроизвести одно и то же поведение со следующим минималистским примером

struct X {
  operator void *() { return 0; }
};

int main() {
  X() < "";
}

Вышеуказанное относится к C++ 03. Я не уверен, почему он компилируется в С++ 11 (если это так), поскольку в C++ 11 преобразование потока в void * было заменено явным преобразованием в bool.

Я на 99% уверен, что это просто догоняющие реализации стандартной библиотеки.