Объекты могут быть переданы в функции тем же способом, что и переменные любого другого типа. Объекты передаются функциям с использованием стандартного механизма передачи по значению. Это означает, что создается копия объекта, которая и передается функции. Однако тот факт, что создается копия, означает по существу, что создается другой объект. В результате возникает вопрос, исполняется ли функция-конструктор объекта при создании копии и исполняется ли функция-деструктор, когда копия уничтожается. Ответ на эти два вопроса может очень удивить. Для начала рассмотрим пример:
#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);
int main()
{
myclass о (1);
f(o);
cout << "This is i in main: ";
cout << о.get_i() << "\n";
return 0;
}
void f (myclass ob)
{
ob.set_i(2);
cout << "This is local i: " << ob.get_i();
cout << " \n";
}
Эта программа выведет на экран следующий текст:
Constructing 1
This is local i: 2
Destroying 2
This is i in main: 1
Destroying 1
Обратим внимание, что имели место два вызова деструктора, в то время как конструктор вызывался только один раз. Выведенный текст иллюстрирует, что функция-конструктор не вызывается, когда копия объекта о (в программе main()) передается переменной ob (внутри функции f()). Причина, по которой конструктор не вызывался при создании копии объекта, может быть легко понята. Когда объект передается в функцию, нужно текущее состояние этого объекта. Если бы при создании копии вызывался конструктор, то осуществлялась бы инициализация объекта, которая бы изменила его состояние. Поэтому конструктор не может вызываться при создании копии объекта для передачи в функцию.
Хотя функция-конструктор не вызывалась при передаче объекта в функцию, необходимо вызывать деструктор при уничтожении копии. (Копия объекта уничтожается, как и любая локальная переменная, после окончания выполнения функции.) Надо иметь в виду, что копия объекта существует до тех пор, пока исполняется функция. Это означает, что копия может выполнять операции, которые потребуют вызова деструктора для уничтожения этой копии. Например, копия может резервировать память, которую необходимо освободить при ее уничтожении. По этой причине при уничтожении копии необходимо вызывать деструктор.
Суммируем сказанное. При создании копии объекта для передачи ее в функцию конструктор объекта не вызывается. Однако, когда копия объекта внутри функции уничтожается, деструктор вызывается.
По умолчанию при создании копии объекта появляется его побитовая копия. Это означает, что новый объект служит точным дубликатом оригинала. Тот факт, что создается точная копия, может в некоторых случаях служить источником для беспокойства. Хотя для передачи объекта в функцию используется обычный механизм передачи по значению, который в теории защищает и изолирует вызываемый аргумент, остается возможность побочных эффектов, в результате которых может быть поврежден объект, используемый как аргумент. Например, если некоторый объект, используемый как аргумент, резервирует память и освобождает эту память при своем уничтожении, тогда его локальная копия внутри функции освободит ту же самую память при вызове деструктора. В результате исходный объект окажется поврежденным и по существу бесполезным. Можно предотвратить возникновение подобных проблем с помощью определения оператора копирования для собственного класса путем создания специального типа конструктора, который называется конструктором копирования.