68945

Передача об’єктів функціям. Повернення об’єктів

Лекция

Информатика, кибернетика и программирование

Об’єкти можна передавати функціям, як звичайні змінні. Для цього застосовується звичайний механізм передачі параметрів по значенню. Не дивлячись на зовнішню простоту, цей процес може привести до несподіваних наслідків, що стосуються конструкторів і деструкцій.

Украинкский

2014-09-27

37.5 KB

0 чел.

Лекція № 7

Тема: Передача об’єктів функціям. Повернення об’єктів.

План

  1.  Передача об’єктів функціям
  2.  Повернення об’єктів

Передача об'єктів функціям

Об'єкти можна передавати функціям, як звичайні змінні. Для цього застосовується звичайний механізм передачі параметрів по значенню. Не дивлячись на зовнішню простоту, цей процес може привести до несподіваних наслідків, що стосуються конструкторів і деструкцій. Спробуємо розібратися в цьому за допомогою наступної програми.

// Передача об'єкту функції.

#include <iostream>

using namespace std;

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 « "Створення " « i « "\n";

}

myclass::-myclass()

{

cout « "Знищення " « i « "\n";

}

void f(myclass ob);

int main() {

myclass про(l);

f (o);

cout « "Це змінна i у функції main: ";

cout « о.get_i() « "\n";

return 0;

}

void f(myclass ob)

{

ob.set_i(2);

cout « "Це локальна змінна i: " « ob.get_i(); cout « "\n";

}

В результаті роботи цієї програми на екрані з'являться наступні рядки.

Створення  1

Це локальна  змінна  i:   2

Знищення 2

Це  змінна  i  у  функції main:   1

Знищення  1

Як показують ці результати, в ході роботи програми конструктор викликався лише одного разу, при створенні об'єкту про у функції main(), в той же час, деструкція була викликана двічі. Розглянемо причини цієї ситуації.

Коли об'єкт передається у функцію, створюється його копія. Саме ця копія стає параметром функції. Це означає, що в програмі з'явився новий об'єкт. Після закінчення роботи функції копія аргументу (т.е. параметр) знищується. Це породжує два принципово важливих питання. По-перше, чи викликається конструктор при створенні копії аргументу? По-друге, чи викликається деструкція при знищенні параметра? Відповіді на ці питання вас здивують.

При створенні копії аргументу звичайний конструктор не викликається. Замість нього викликається конструктор копіювання. Саме він і створює нову копію аргументу. Як указується в розділі 14, конструктор копіювання можна визначати явно. Проте, якщо оголошення класу не містить явного визначення конструктора копіювання, як в нашому прикладі, викликається автоматичний конструктор копіювання, передбачений за умовчанням. Він створює побітову (ідентичну) копію об'єкту. Це легко зрозуміти. Адже звичайний конструктор не можна викликати для створення копії вже існуючого об'єкту, оскільки такий виклик замінив би поточний стан об'єкту первинним. В той же час при передачі об'єкту у функцію нам потрібний повний дублікат об'єкту, що відображає його поточне, а не первинний стан.

Після закінчення роботи функції копія об'єкту виходить з області видимості, тому викликається його деструкція. От чому в попередній програмі деструкція викликалася двічі. Спочатку він викликається, коли параметр функції f () виходить з своєї області видимості, а потім — коли при завершенні роботи програми знищується об'єкт о.

Підведемо підсумки. Якщо виникає необхідність створити копію об'єкту і передати її функції, звичайний конструктор не викликається. Замість нього викликається автоматичний конструктор копіювання, що створює побітовий дублікат об'єкту. Проте при знищенні копії об'єкту (як правило, у момент повернення з функції) викликається його деструкція.

Оскільки автоматичний конструктор копіювання створює точну копію оригіналу, він може стати джерелом проблем. Навіть якщо об'єкт передається функції по значенню, що теоретично дозволяє захистити аргумент від зміни, можливі побічні ефекти. Наприклад, якщо об'єкт, що передається як параметр, виділяє динамічну пам'ять у момент свого створення і звільняє її при своєму знищенні, його локальна копія усередині функції звільнятиме ту ж саму область пам'яті при виклику деструкції. Це приведе до пошкодження оригіналу. Для того, щоб запобігти появі таких проблем, в класі необхідно явно визначити конструктор копіювання (див. розділ 14).

Повернення об'єктів

Функція може повертати об'єкт модулю.  Як приклад проаналізуємо наступну програму.

// Повернення об'єктів з функцій.

#include <iostream>

using namespace std;

class myclass {

int i ;

public:

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

int get_i() { return i; }

};

myclass f();  // Повернення об'єкту класу myclass.

int main()

{

myclass о;

о = f();

cout « о.get_i() << "\n";

return 0; }

myclass f()

myclass x;

x.set_i(l);

return x;

}

При поверненні з функції автоматично створюється тимчасовий об'єкт, в якому зберігається значення, що повертається. Саме цей об'єкт насправді повертається в зухвалий модуль. Після повернення цей об'єкт знищується. Це може привести до непередбачуваних наслідків. Наприклад, якщо деструкція об'єкту, що повертається, повинна звільняти динамічну пам'ять, вона звільнятиметься, навіть якщо об'єкт, якому привласнюється значення, що повертається, як і раніше посилається на неї. Уникнути цього можна за допомогою перевантаження оператора привласнення і визначення конструктора копіювання.


 

А также другие работы, которые могут Вас заинтересовать

48903. Технико-экономическое обоснование электролизного цеха 756.5 KB
  Непромышленный персонал работники, обслуживающие непромышленные хозяйства и организации хозяйствующего субъекта. К ним относятся работники жилищно-коммунального хозяйства, детских и врачебносанитарных учреждений, культурнопросветительских и т.д.