9: public:

10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29

Gounter(): Counter(){ }

int GetltsValOconst { return itsVal; } void SetItsVal(int x) { itsVal = x; } private: int itsVal;

Counter::Counter():

itsVal(O)

int mainO {

int theShort = 5;

Counter theCtr = theShort;

cout theCtr: theCtr.GetItsVal() endl; return 0; }

Компилятор покажет сообщение об ощибке, поскольку не сможет преоб- ..... разовать тип int в Counter.

; Класс Counter, определенный в строках 7-17, содержит только один конструк-

тор, заданный по умолчанию. В нем не определено ни одного метода преобразования данных типа int в тип Counter, поэтому компилятор обнаруживает ошибку в строке 26. Компилятор ничего не сможет поделать, пока не получит четких инструышй, что данные типа int необходимо взять и присвоить переменной-члену itsVal.

В листинге 10.17 эта ошибка исправлена с помощью оператора преобразования типов. Определен конструктор, который создает объект класса Counter и присваивает ему полученное значение типа int.

Листинг 10.17. ПрсоОразованив int в Counter

2 3 4 5

7 8 9

12 13

Листинг 10.17.

Использование конструктора в качестве оператора преобразования типа int

Sinclude <iostream.h>

class Counter {

public: CounterO; Counter(int val); CounterOi }

int GetltsValOconst { return itsVal; }

14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35

void SetItsVal(int x) { itsVal = x; }

private:

int itsVal;

Counter::Counter():

itsVal(O)

Counter::Counter(int val):

itsVal(val)

int main() {

int theShort = 5;

Counter theCtr = theShort;

cout theCtr: theCtr. GetltsValO endl; return 0;

the Ctr: 5

Важные изменения произошли в строке 11, где конструктор перефужен таким образом, чтобы принимать значения типа int, а также в сфоках 24-26, где данный конструктор применяется. В результате выполнения консфуктора переменной-члену класса Counter присваивается значение типа int.

Для присвоения значения профамма обращается к конструктору, в котором присваиваемое значение передается в качестве аргумента. Процесс осуществляется в несколько шагов.

Шаг 1: создание переменной класса Counter с именем theCtr.

Это то же самое, что записать: int х = 5, где создается целочисленная переменная X и ей присваивается значение 5. Но в нашем случае создается объект theCtr класса Counter, который инициализируется переменной theShort типа short int.

Шаг 2: присвоение объекту theCtr значения переменной theShort.

Но переменная относится к типу short, а не Counter! Первое, что нужно сделать, - это преобразовать ее к типу Counter. Компилятор может делать некоторые преобразования автоматически, но ему нужно точно указать, чего от него хотят. Именно для инструктирования компилятора создается консфуктор класса Counter, который содержит единственный параметр, например типа short:

class Counter {

Counter (short int x); ...

Данный конструктор создает объект класса Counter, используя временный безымянный объект этого класса, способный принимать значения типа short. Чтобы сделать этот процесс более наглядным, предположим, что для значений типа short создается не безымянный объект, а объект класса Counter с именем wasShort.

Шаг 3: присвоение значения объекта wasShort объекту theCtr, что эквивалентно записи

theCtr = wasShort ;

На этом шаге временный объект wasShort, созданный при запуске конструктора, замещается на постоянный объект theCtr, принадлежащий классу Counter. Другими словами, значение временного объекта присваивается объекту theCtr.

Чтобы понять, как происходит этот процесс, следует четко уяснить принципы работы, справедливые для ВСЕХ перегруженных операторов, определенных с помощью ключевого слова operator. В случае с операторами с двумя операндами (такими как = или +) находящийся справа операнд объявляется как параметр функции оператора, заданной в конструкторе. Так, выражение

а = b

объявляется как

a.operator=(b);

Что произойдет, если изменить порядок присвоения, как в следующем примере:

Counter theCtr(5); int theShort = theCtr;

cout theShort : theShort endl;

Вновь компилятор покажет сообщение об ошибке. Хотя сейчас компилятор уже знает, как создать временный объект Counter для принятия значения типа int, но он не знает, как осуществить обратный процесс.

Операторы преоОразоваппя тппое

Чтобы разрешить эту и подобные ей проблемы, в С++ есть специальные операторы преобразования типов, которые можно добавить в пользовательский класс. В результате появится возможность явного преобразования типа пользовательского класса к любому из базовых типов данных языка программирования. Реализация этой возможности показана в листинге 10.18. Только одно замечание: в операторах преобразований не задается тип возврата. Даже если их работа напоминает возврат функции, в действительности они возвращают преобразованное значение.

Аосшииг 10.18. ПрвоОразоваиов даииых типа Counter в niuu unsigned short()

ffinclude <iostream.h>

class Counter {

public: CounterO; Counter(int val); CounterOi }

int GetltsValOconst { return itsVal; } 10: void SetItsVal(int x) { itsVal = x; }