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

void concatUnsafe(std::string& s1,

std::string& s2 std::string& out) {

out = s1 += s2; // Ну вот, записано значение в s1

}

Несмотря на мою привычку тщательно подходить к кодированию программ, я сделал глупую ошибку и написал +=вместо +. В результате при вызове concatUnsafeбудут модифицированы аргументы outи s1, что может оказаться сюрпризом для пользователя, который едва ли рассчитывает на модификацию одной из исходных строк.

Спасти может const. Создайте новую функцию concatSafe, объявите переменные константными, как показано в примере 15.3, и функция не будет откомпилирована.

void concatSafe(const std::string& s1,

const std::string& s2, std::string& out) {

out = s1 += s2; // Теперь вы получите ошибку компиляции

}

concatSafегарантирует неизменяемость значений в s1и s2. Эта функция делает еще кое-что: она позволяет пользователю передавать константные аргументы. Например, программный код, выполняющий конкатенацию строк, мог бы выглядеть следующим образом.

void myFunc(const std::string& s) { // Обратите внимание, что s является

// константной переменной

std::string dest;

std::string tmp = "foo";

concatUnsafe(s, tmp, dest); // Ошибка: s - константная переменная

// Выполнить какие-то действия с dest...

}

В данном случае функция myFuncне будет откомпилирована, потому что concatUnsafeне обеспечивает const'антность myFunc. myFuncгарантирует внешнему миру, что она не будет модифицировать содержимое s, т.е. все действия с sвнутри тела myFuncне должны нарушать это обещание. Конечно, вы можете обойти это ограничение, используя оператор const_castи тем самым освобождаясь от константности, но такой подход ненадежен, и его следует избегать. В этой ситуации concatSafeбудет компилироваться и выполняться нормально.

Указатели вносят темные штрихи в розовую картину const. Когда вы объявляете переменную-указатель как параметр, вы имеет дело с двумя объектами: самим адресом и то, на что ссылается этот адрес. C++ позволяет использовать constдля ограничения действий по отношению к обоим объектам. Рассмотрим еще одну функцию конкатенации, которая использует указатели.

void concatUnsafePtr(std::string* ps1,

std::string* ps2, std::string* pout) {

*pout = *ps1 + *ps2;

}

Здесь такая же проблема, как в примере с concatUnsafe, описанном ранее. Добавьте constдля гарантии невозможности обновления исходных строк.

void concatSaferPtr(const std::string* ps1,

const std::string* ps2, std::string* pout) {

*pout = *ps1 + *ps2;

}

Отлично, теперь вы не можете изменить *ps1и *ps2. Но вы по-прежнему можете изменить ps1и ps2, или, другими словами, используя их, вы можете сослаться на какую-нибудь другую строку, изменяя значение указателя, но не значение, на которое он ссылается. Ничто не может помешать вам, например, сделать следующее.

void concatSaferPtr(const std:string* ps1,

const std::string* ps2, std::string* pout) {

ps1 = pout; // Ух!

*pout = *ps1 + *ps2;

}

Предотвратить подобные ошибки можно с помощью еще одного const.

void concatSafestPtr(const std::string* const ps1,

const std::string* const ps2, std::string* pout) {

*pout = *ps1 + *ps2;

}

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

Рецепт 15.4.

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

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

Пример 15.4. Объявление функции-члена константной

#include

#include

class RecordSet {

public:

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

// ...

};

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

// Здесь нельзя модифицировать никакие неизменяемые

// данные-члены (см. обсуждение)

}

void displayRecords(const RecordSet& rs) {

// Здесь вы можете вызывать только константные функции-члены