Стефан Дэвис - С++ для чайников .

«Расширенное имя функции, не являющейся членом какого-либо класса, имеет вид::addCourse( int , float ) .»

[ Советы ]

Прежде чем вызывать функции-члены класса, вспомните, как мы обращались к данным-членам классов:

class Student

{

public :

int semesterHours ;

float gpa ;

} ;

Student s ;

void fn( void )

{

/* Обращение к данным-членам объекта s */

s.semesterHours = 10 ;

s.gpa = 3.0 ;

}

_________________

157 стр. Глава 13. Работа с классами

Обратите внимание, что наряду с именем переменной необходимо указать имя объекта. Другими словами, приведённый ниже фрагмент программы не имеет смысла.

Student s ;

void fn( void )

{

/* Этот пример ошибочен */

semesterHours = 10 ;

/* Член какого объекта и какого класса? */

Student::semesterHours = 10 ;

/* Теперь ясно, какого класса, однако до сих пор не ясно, какого объекта */

}

Формально между данными-членами и функциями-членами нет никакого различия. Следующая программа показывает, как можно использовать функцию-член addCourse( ) .

/* CallMemberFunction — определение и вызов */

/* функции-члена класса */

#include

#include

#include

using namespace std ;

class Student

{

public :

/* Добавить пройденный курс к записи */

float addCourse( int hours , float grade )

{

/* Вычислить среднюю оценку с учётом времени различных курсов */

float weightedGPA ;

weightedGPA = semesterHours * gpa ;

/* Добавить новый курс */

semesterHours += hours ;

weightedGPA += grade * hours ;

gpa = weightedGPA / semesterHours ;

/* Вернуть новую оценку */

return gpa ;

}

int semesterHours ;

float gpa ;

} ;

int main( int nNumberofArgs , char* pszArgs[ ] )

_________________

158 стр. Часть 3. Введение в классы

{

Student s ;

s.semesterHours = 10 ;

s.gpa = 3.0 ;

/* Значения до вызова */

cout << "До: s = ( " << s.semesterHours

<< ", " << s.gpa

<< " )" << endl ;

s.addCourse( 3 , 4.0 ) ; /* Вызов функции-члена */

/* Изменённые значения */

cout << "После: s = ( " << s.semesterHours

<< ", " << s.gpa

<< " )" << endl ;

/* Обращение к другому объекту */

Student t ;

t.semesterHours = 6 ;

t.gpa = 1.0 ;

t.addCourse( 3 , 1.5 ) ;

/* Пауза для того, чтобы посмотреть на результат работы программы */

system( "PAUSE" ) ; return 0 ;

}

Как видите, синтаксис вызова функции-члена такой же, как и синтаксис обращения к переменной-члену класса. Часть выражения, которая находится справа от точки, не отличается от вызова обычной функции. Единственное отличие — присутствие слева от точки имени объекта, которому принадлежит функция.

Факт вызова этой функции можно определить так: " s является объектом, на который действует addCourse( ) " ; или, другими словами, объект s представляет собой студента, к записи которого добавляется новый курс. Вы не можете получить информацию о студенте или изменить её, не указав, о каком конкретно студенте идёт речь.

Вызов функции-члена без указания имени объекта имеет не больше смысла, чем обращение к данным-членам без указания объекта.

Я так и слышу, как вы повторяете про себя: "Нельзя обратиться к функции-члену без указания имени объекта! Нельзя обратиться к функции-члену без указания имени объекта! Нельзя..." Запомнив это, вы смотрите на тело функции-члена Student::addCourse( ) и... что это? Ведь addCourse( ) обращается к членам класса, не уточняя имени объекта!

Возникает вопрос: так всё-таки можно или нельзя обратиться к члену класса, не указывая его объекта? Уж поверьте мне, что нельзя. Просто когда вы обращаетесь к члену класса Student из addCourse( ) , по умолчанию используется тот экземпляр класса, из которого вызвана функция addCourse( ) . Вы ничего не поняли? Вернёмся к примеру.

int main( int nNumberofArgs , char* pszArgs[ ] )

{

Student s ;

s.semesterHours = 10 ;

s.gpa = 3.0 ;

s.addCourse( 3 , 4.0 ) ; /* Вызов функции-члена */

Student t ;

t.semesterHours = 6;

t.gpa = 1.0 ;

t.addCourse( 3 , 1.5 ) ;

/* Пауза для того, чтобы посмотреть на результат работы программы */

system( "PAUSE" ) ; return 0 ;

}

_________________

159 стр. Глава 13. Работа с классами

Когда addCourse( ) вызывается для объекта s , все сокращённые имена в теле этой функции считаются членами объекта s . Таким образом, обращение к переменной semesterHours внутри функции s.addCourse( ) в действительности является обращением к переменной s.semesterHours , а обращение к gpa — обращением к s.gpa . В следующей строке функции main( ) , когда addCourse( ) вызывается для объекта t того же класса Student , происходит обращение к членам класса t.semesterHours и t.gpa .

«Объект, для которого вызывается функция-член, называется "текущим", и все имена членов, записанные в сокращённом виде внутри функции-члена, считаются членами текущего объекта. Другими словами, сокращённое обращение к членам класса интерпретируется как обращение к членам текущего объекта.»

[ Помни! ]

«Как функция-член определяет, какой объект является текущим? Это не магия и не шаманство — просто адрес этого объекта всегда передаётся функции-члену как скрытый первый аргумент. Другими словами, при вызове функции-члена происходит преобразование такого вида:

s.addCourse( 3 , 2.5 ) равносильноStudent::addCourse( & s , 3 , 2.5 )

( команда, приведённая в правой части выражения, синтаксически неверна; она просто показывает, как компилятор видит выражение в левой части во внутреннем представлении ).»

[ Технические подробности ]

Внутри функции, когда нужно узнать, какой именно объект является текущим, используется этот указатель. Тип текущего объекта — указатель на объект соответствующего класса. Всякий раз, когда функция-член обращается к другому члену класса, не называя имени его объекта явно, компилятор считает, что данный член является членом этого ( this ) объекта. При желании вы можете явно обращаться к членам этого объекта, используя ключевое слово this . Так что функцию Student::addCourse( ) можно переписать следующим образом: