Функция-член класса X, имя которой имеет вид, имя-функции-преобразования: operator имя-типа-преобразования имя-типа-преобразования: список-спецификаций-типа opt операция-ptr opt задает преобразование из типа X в тип, определяемый конструкциейимя-типа-преобразования. Такие функции-члены называются функциямипреобразования. В конструкции список-спецификаций-типа нельзяописывать классы, перечисления и имена-typedef, а также нельзязадавать типы формальных параметров и тип возвращаемого значения. Приведем пример: class X { //... public: operator int(); }; void f(X a) { int i = int(a); i = (int)a; i = a; } Здесь во всех трех операторах присваиваемое значение будетпреобразовываться с помощью функции X::operator int(). Пользовательскиепреобразования не ограничиваются только использованием в присваиваниии инициализации, например: void g(X a, X b) { int i = (a)? 1+a: 0; int j = (a&&b)? a+b: i; if (a) { //... } } Операции преобразования наследуются. Функции преобразованиямогут быть виртуальными. К данному значению неявно применяется не более одногопользовательского преобразования (с помощью конструктора или функциипреобразования), например: class X { //... public: operator int(); }; class Y { //... public: operator X(); }; Y a; int b = a; // недопустимо: преобразование // a.operator X().operator int() не применяется int c = X(a); // нормально: a.operator X().operator int() Пользовательские преобразования осуществляются неявно толькопри условии их однозначности. Функция преобразования производногокласса не закрывает функцию преобразования базового класса, еслитолько они не преобразуют к одному и тому же типу, например: class X { public: //... operator int(); }; class Y: public X { public: //... operator void*(); }; void f(Y& a) { if (a) { // ошибка: неоднозначность } }
