Настоящий класс ostream определяет операцию ««, чтобы сделать удобным вывод нескольких объектов одним оператором. Давайте посмотрим, как это сделано.

Чтобы определить @, где @ – некоторая операция языка С++, для каждого определяемого пользователем типа вы определяете функцию с именем operator@, которая получает параметры соответствующего типа. Например:

class ostream (* //... ostream operator««(char*); *);

ostream ostream::operator««(char* p) (* while (*p) buf.sputc(*p++); return *this; *)

определяет операцию «« как член класса ostream, поэтому s««p интерпретируется как s.operator««(p), когда s является ostream и p – указатель на символ. Операция «« бинарна, а функция operator««(char*) на первый взгляд имеет только один параметр. Однако, помимо этого она имеет свой стандартный параметр this.

То, что в качестве возвращаемого значения возвращается ostream, позволяет применять «« к результату операции вывода. Например, s««p««q интерпретируется как (s.operator««(p)).operator««(q). Так задаются операции вывода для встроенных типов.

С помощью множества операций, заданных как открытые члены класса ostream, вы можете теперь определить «« для такого определяемого типа, как complex, не изменяя описание класса ostream:

ostream operator««(ostream s, complex z) // у complex две части: действительная real и мнимая imag // печатает complex как (real,imag) (* return s «« "(" «« z.real «« "," «« z.imag «« ")'; *)

Поскольку operator««(ostream,complex) не является функцией членом, для бинарности необходимо два явных параметра. Вывод значений будет производиться в правильном порядке, потому что ««, как и большинство операций С++, группирует слева направо, то есть f««b««c означает (a««b)««c. При интерпретации операций компилятору известна разница между функциями членами и функциями не членами. Например, если z – комплексная переменная, то s««z будет расширяться с помощью вызова стандартной функции (не члена) operator««(s,z).