Д. Стефенс - C++. Сборник рецептов

// для rs

}

Добавление концевого constв объявление члена и в его определение заставляет компилятор более внимательно отнестись к тому, что делается с объектом внутри тела члена. Константным функциям-членам не разрешается выполнять неконстантные операции с данными-членами. Если такие операции присутствуют, компиляция завершится неудачно. Например, если бы в RecordSet::getFieldValя обновил счетчик-член, эта функция не была бы откомпилирована (в предположении, что getFieldCount_является переменной-членом класса RecordSet).

bool RecordSet::getFieldVal(int i, std::string& s) const {

++getFieldCount_; // Ошибка: константная функция-член не может

// модифицировать переменную-член

// ...

}

Это может также помочь обнаружить более тонкие ошибки, подобно тому, что делает constв роли квалификатора переменной (см. рецепт 15.3). Рассмотрим следующую глупую ошибку.

bool RecordSet::getFieldVal(int i, std::string& s) const {

fieldArray_[i] = s; // Ой, я не это имел в виду

// ...

}

Снова компилятор преждевременно завершит работу и выдаст сообщение об ошибке, потому что вы пытаетесь изменить переменную-член, а это не разрешается делать в константных функциях-членах. Ну, при одном исключении.

В классе RecordSet(в таком, как (схематичный) класс в примере 15.4) вам, вероятно, потребовалось бы перемещаться туда-сюда по набору записей, используя понятие «текущей» записи. Простой способ заключается в применении переменной-члена целого типа, содержащей номер текущей записи; ваши функции-члены, предназначенные для перемещения текущей записи вперед-назад, должны увеличивать или уменьшать это значение.

void RecordSet::gotoNextPecord() const {

if (curIndex_ >= 0 && curIndex_ < numRecords_-1)

++curIndex_;

}

void RecordSet::gotoPrevRecord() const {

if (curIndex_ > 0)

--curIndex_;

}

Очевидно, что это не сработает, если эти функции-члены являются константными. Обе обновляют данное-член. Однако без этого пользователи класса RecordSetне смогут перемещаться по объекту const RecordSet. Это исключение из правил работы с константными функциями-членами является вполне разумным, поэтому C++ имеет механизм его поддержки: ключевое слово mutable.

Для того чтобы curIndex_можно было обновлять в константной функции-члене, объявите ее с ключевым словом mutable в объявлении класса.

mutable int curIndex_;

Это позволит вам модифицировать curIndex_в любом месте. Однако этой возможностью следует пользоваться разумно, поскольку это действует на вашу функцию так, как будто она становится с этого момента неконстантной.

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

Необходимо написать бинарный оператор, и вы не можете или не хотите сделать его функцией-членом класса.

Используйте ключевое слово operator, временную переменную и конструктор копирования для выполнения основной работы и возвратите временный объект. В примере 15.5 приводится простой оператор конкатенации строк для пользовательского класса String.

Пример 15.5. Конкатенация с использованием оператора не члена

#include

#include

class String { // Предположим, что объявление класса String содержит,

// по крайней мере, все, что указанно ниже

public:

String();

String(const char* p);

String(const String& orig);

~String() {delete buf_;}

String& append(const String& s);

size_t length() const;

const char* data() const;

String& operator=(const String& orig);

// ...

};

String operator+(const String& lhs, const String& rhs) {

String tmp(lhs); // Сконструировать временный объект с помощью

// конструктора копирования

tmp.append(rhs); // Использовать функцию-член для выполнения реальной

// работы

return(tmp); // Возвратить временный объект

}

int main() {

String s1("banana ");

String s2("rancher");

String s3, s4, s5, s6;

s3 = s1 + s2; // Работает хорошо, но с сюрпризами