3.7.1 Создание inline-функций внутри класса

Другим способом создания inline-функции служит включение кода функции внутри объявления класса. Всякая функция, определенная внутри объявления класса, является автоматически inline-функцией, если только это допустимо. В этом случае нет необходимости предварять объявление функции ключевым словом inline. Например, предыдущая программа может быть переписана сле­дующим образом:

#include <iostream.h>

class C

{

int i;

public:

int get_i() { return i; }

void put_i(int j) { i = j; }

};

int main()

{

C s;

s.put_i(10);

cout << s.get_i();

return 0;

}

Обратим внимание, каким образом организован код. В профессионально написанном С++-коде короткие функции, наподобие проиллюстрирован­ных в данном примере, обычно определяются внутри объявления класса.

3.8 Передача объектов в функции

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

#include <iostream.h>

class myclass

{

int i;

public:

myclass(int n);

~myclass();

void set_i(int n) { i=n; }

int get_i() { return i; }

};

myclass::myclass(int n)

{

i = n;

cout << "Constructing " << i << "\n";

}

myclass::-myclass()

{

cout << "Destroying " << i << "\n";

}

void f(myclass ob)

{

ob.set_i(2);

cout << “This is local i: “ << ob.get_i() << “\n”;

}

int main ()

{

myclass c1(1);

f(c1);

cout << "This is i in main: " << c1.get_i() << "\n";

return 0;

}

Эта программа выведет на экран следующий текст:

Constructing 1

This is local i: 2

Destroying 2

This is i in main: 1

Destroying 1

Обратим внимание, что имели место два вызова деструктора, в то время как конструктор вызы­вался только один раз. Выведенный текст иллюстрирует, что функция-конструктор не вызывается, когда копия объекта c1 (в программе main()) передается переменной ob (внутри функции f()). Причина, по которой конструктор не вызывался при создании копии объекта, может быть легко понята. Когда объект передается в функцию, нужно текущее состояние этого объекта. Если бы при создании копии вызывался конструктор, то осуществлялась бы инициализация объекта, ко­торая бы изменила его состояние. Поэтому конструктор не может вызываться при создании ко­пии объекта для передачи в функцию.

Хотя функция-конструктор не вызывалась при передаче объекта в функцию, необходимо вызы­вать деструктор при уничтожении копии. (Копия объекта уничтожается, как и любая локальная переменная, после окончания выполнения функции.) Надо иметь в виду, что копия объекта су­ществует до тех пор, пока исполняется функция. Это означает, что копия может выполнять опе­рации, которые потребуют вызова деструктора для уничтожения этой копии. Например, копия может резервировать память, которую необходимо освободить при ее уничтожении. По этой причине при уничтожении копии необходимо вызывать деструктор.

Суммируем сказанное. При создании копии объекта для передачи ее в функцию конструктор объекта не вызывается. Однако когда копия объекта внутри функции уничтожается, деструктор вызывается.

По умолчанию при создании копии объекта появляется его побитовая копия. Это означает, что новый объект служит точным дубликатом оригинала. Тот факт, что создается точная копия, может в некоторых случаях служить источником для беспокойства. Хотя для передачи объекта в функцию используется обычный механизм передачи по значению, который в теории защищает и изолирует вызываемый аргумент, остается возможность побочных эффектов, в результате кото­рых может быть поврежден объект, используемый как аргумент. Например, если некоторый объект, используемый как аргумент, резервирует память и освобождает эту память при своем уничтоже­нии, тогда его локальная копия внутри функции освободит ту же самую память при вызове де­структора. В результате исходный объект окажется поврежденным и по существу бесполезным. Как будет видно далее, можно предотвратить возникновение подобных проблем с помощью определения оператора копирования для собственного класса путем создания специ­ального типа конструктора, который называется конструктором копирования.