Стенли Липпман - Язык программирования C++. Пятое издание

Еще одним важным моментом функции-члена isbn()является ключевое слово const, расположенное за списком параметров. Оно применяется для модификации типа неявного указателя this.

По умолчанию указатель thisимеет тип константного указателя на неконстантную версию типа класса. Например, типом по умолчанию указателя thisв функции-члене Sales_dataявляется Sales_data *const. Хоть указатель thisи неявен, он подчиняется обычным правилам инициализации, согласно которым (по умолчанию) нельзя связать указатель thisс константным объектом (см. раздел 2.4.2). Следствием этого факта, в свою очередь, является невозможность вызвать обычную функцию-член для константного объекта.

Если бы функция isbn()была обычной и если бы указатель thisбыл обычным параметром типа указателя, то мы объявили бы его как const Sales_data *const. В конце концов, тело функции isbn()не изменяет объект, на который указывает указатель this; таким образом, эта функция стала бы гибче, если бы указатель thisбыл указателем на константу (см. раздел 6.2.3).

Однако указатель this неявный и не присутствует в списке параметров, поэтому нет места, где можно было бы указать, что он должен быть указателем на константу. Язык решает эту проблему, позволяя разместить ключевое слово constпосле списка параметров функции-члена. Это означает, что указатель thisявляется указателем на константу. Функции-члены, использующие ключевое слово constтаким образом, являются константными функциями-членами (const member function).

Тело функции isbn()можно считать написанным так:

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

// этот код недопустим: нельзя самому явно определить этот указатель

// обратите внимание, что это указатель на константу, поскольку isbn()

// является константным членом класса

std::string Sales_data::isbn(const Sales_data *const this)

{ return this->isbn; }

Тот факт, что thisявляется указателем на константу, означает, что константные функции-члены не могут изменить объект, для которого они вызваны. Таким образом, функция isbn()может читать значения переменных- членов объектов, для которых она вызывается, но не изменять их.

Константные объекты, ссылки и указатели на константные объекты могут вызывать только константные функции-члены

Помните, что класс сам является областью видимости (см. раздел 2.6.1). Определения функций-членов класса находятся в области видимости самого класса. Следовательно, использованное функцией isbn()имя bookNoотносится к переменной-члену, определенной в классе Sales_data.

Следует заметить, что функция isbn()может использовать имя bookNo, несмотря на то, что оно определено после функции isbn(). Как будет описано в разделе 7.4.1, компилятор обрабатывает классы в два этапа — сначала объявления членов класса, затем тела функций-членов, если таковые вообще имеются. Таким образом, тела функций-членов могут использовать другие члены своих классов, независимо от того, где именно в классе они определены.

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

double Sales_data::avg_price() const {

if (units_sold)

return revenue/units_sold;

else

return 0;

}

Имя функции, Sales data::avg_price(), использует оператор области видимости (см. раздел 1.2), чтобы указать, что определяемая функция по имени avg_priceобъявлена в пределах класса Sales_data. Как только компилятор увидит имя функции, остальная часть кода интерпретируется как относящаяся к области видимости класса. Таким образом, когда функция avg_price()обращается к переменным revenueи units_sold, она неявно имеет в виду члены класса Sales_data.