C++ для начинающих

* Если и этого оказалось недостаточно, просматриваются объявления в пространстве имен перед определением функции-члена.

Имена, встречающиеся в теле встроенной функции-члена, разрешаются так:

int _height;

class Screen {

public:

Screen( int _height ) {

_height = 0; // к чему относится _height? К параметру

}

private:

short _height;

};

В поисках объявления имени _height, которое встретилось в определении конструктора Screen, компилятор просматривает локальную область видимости функции и находит его там. Следовательно, это имя относится к объявлению параметра.

Если бы такое объявление не было найдено, компилятор начал бы поиск в области видимости класса Screen, просматривая все объявления его членов, пока не встретится объявление члена _height. Говорят, что имя члена _height скрыто объявлением параметра конструктора, но его можно использовать в теле конструктора, если квалифицировать имя члена именем его класса или явно использовать указатель this:

int _height;

class Screen {

public:

Screen( long _height ) {

this-_height = 0; // относится к Screen::_height

// тоже правильно:

// Screen::_height = 0;

}

private:

short _height;

};

Если бы не были найдены ни объявление параметра, ни объявление члена, компилятор стал бы искать их в объемлющих областях видимости пространств имен. В нашем примере в глобальной области видимости просматриваются объявления, которые расположены перед определением класса Screen. В результате было бы найдено объявление глобального объекта _height. Говорят, что такой объект скрыт за объявлением члена класса, однако его можно использовать в теле конструктора, если квалифицировать оператором разрешения глобальной области видимости:

int _height;

class Screen {

public:

Screen( long _height ) {

::_height = 0; // относится к глобальному объекту

}

private:

short _height;

};

Если конструктор объявлен вне определения класса, то на третьем шаге разрешения имени просматриваются объявления в глобальной области видимости, которые встретились перед определением класса Screen, а также перед определением функции-члена:

class Screen {

public:

// ...

void setHeight( int );

private:

short _height;

};

int verify(int);

void Screen::setHeight( int var ) {

// var: относится к параметру

// _height: относится к члену класса

// verify: относится к глобальной функции

_height = verify( var );

}

Обратите внимание, что объявление глобальной функции verify() невидимо до определения класса Screen. Однако на третьем шаге разрешения имени просматриваются объявления в областях видимости пространств имен, видимые перед определением члена, поэтому нужное объявление обнаруживается.

* Имя, встретившееся в определении статического члена класса, разрешается следующим образом: Просматриваются объявления всех членов класса.

* Если шаг 1 не привел к успеху, то просматриваются объявления, расположенные в областях видимости пространств имен перед определением статического члена, а не только предшествующие определению класса.

Упражнение 13.18

Назовите те части программы, которые находятся в области видимости класса.

Упражнение 13.19

Назовите те части программы, которые находятся в области видимости класса и для которых при разрешении имен просматривается полная область (т.е. принимаются во внимание все члены, объявленные в теле класса).

Упражнение 13.20

К каким объявлениям относится имя Type при использовании в теле класса Exersise и в определении его функции-члена setVal()? (Напоминаем, что разные вхождения могут относиться к разным объявлениям.) К каким объявлениям относится имя initVal при употреблении в определении функции-члена setVal()?

typedef int Type;

Type initVal();

class Exercise {

public:

// ...

typedef double Type;

Type setVal( Type );

Type initVal();

private:

int val;

};

Type Exercise::setVal( Type parm ) {

val = parm + initVal();

}

Определение функции-члена setVal() ошибочно. Можете ли вы сказать, почему? Внесите необходимые изменения, чтобы в классе Exercise использовался глобальный typedef Type и глобальная функция initVal().

13.10. Вложенные классы A