7.2.3.
Конструктор за замовчуванням
У розглянутих вище прикладах об'єкти класу
TComplex створювалися за допомогою конструктора, що має
один чи два параметри. Задамося питанням: «Що відбудеться, якщо в класі не визначений жодний конструктор?» У цьому випадку об'єкт класу створюється за допомогою конструкторазазамовчуванням, що,
природно, не має параметрів. Він заповнює всі поля глобального об'єкта нулями. Якщо об'єкт є локальним, його поля будуть містити випадкові значення. Усі функції-члени класу, створеного за допомогою конструктора за замовчуванням, працюють у відповідності зі своїм описом.
Конструктор за замовчуванням
#include
class TComplex

Лекція
7
Класи
15
{
int Re;
int Im;
public:
void print(){printf("Z = %d + i*%d \n",Re,Im);};
}Z;
int main()
{
Z.print();
return 0;
}
У підсумку одержуємо наступний результат.
Z = 0.0 + i*0.0
Якщо програміст визначить у класі хоча б один конструктор, навіть без параметрів, компілятор не буде генерувати автоматичний конструктор.
7.2.4.
Конструктор копіювання
Знову створений об'єкт можна ініціалізувати умістом раніше існував об'єкта. Для цього призначений конструкторкопіювання, що має наступний вид.
ім
'
я
_
класу
(
ім
'
я
_
класу
&)
Пояснимо необхідність цього конструктора на прикладі. Уявимо собі об'єкт класу
TArray
, що є масивом цілих чисел. Він задається двома параметрами — початковою адресою (вказівником) і розміром. У наступній програмі ми створюємо масив x
, а потім — масив y
, причому новий масив повинний бути копією старого.
Використання конструктора копіювання
#include
class TArray
{
int *p;
int size;
public:
TArray(long n, int x);
TArray(TArray&);
void view();
};
int main()
{
TArray x(10,1);
x.view();
TArray y = x;
y.view();
return 0;
}
TArray::TArray(long n, int x)
{
size = n;
p = new int[size];
for (long i=0; i printf("\nAddress x = %p \n",p);
}
TArray::TArray(TArray& X)
{
size=X.size;
p = new int[size]; //
Глибоке копіювання for (long i=0; i printf("\nAddress y = %p \n",p);
}
void TArray::view()
{

Лекція
7
Класи
16
for(long i=0; i }
У цій програмі реалізоване глибокекопіювання, що має на увазі створення абсолютно самостійної копії
раніше існував об'єкта. Зверніть увагу на те, що в конструкторі копіювання поле p
не дублюється. Замість цього йому привласнюється адреса знову виділеної пам'яті, у яку копіюються інші елементи масиву. У результаті ми побачимо на екрані наступні рядки.
Адреса x = 007803A0 1 1 1 1 1 1 1 1 1 1
Адреса x = 00780340 1 1 1 1 1 1 1 1 1 1
А що відбудеться, якщо програміст не визначив конструктор копіювання? У цьому випадку буде викликаний конструкторкопіюваннязазамовчуванням. Він виконує побітове, тобто поверхневекопіювання, і замість нової
копії ми одержимо два вказівники, що посилаються на той самий адресу.
Адреса x = 007803A0 1 1 1 1 1 1 1 1 1 1
Адреса x = 007803A0 1 1 1 1 1 1 1 1 1 1
7.2.5. «
Іменовані
конструктори
»
Конструктори, як і звичайні функції, можна перевантажувати, варіюючи типи і кількість параметрів. Однак бувають ситуації, коли об'єкт класу повинний створюватися двома різними способами, що реалізуються конструкторами, що мають однакову кількість і тип параметрів.
Яскравий приклад такої ситуації — ініціалізация комплексного числа. Як відомо, комплексні числа мають дві форми запису: у декартових і полярних координатах. У першому випадку дійсна і мнима частини числа задаються абсцисою й ординатою (z = x + iy), а в другому — радіусом і кутом, між радіусом-вектором і віссю абсцис (z = rcos(
α
)+ircos(
α
)). Обидві форми запису задаються парою дійсних чисел, тому прототипи конструкторів цілком збігаються, і розрізнити їхній виклик неможливо. Для того щоб розв’язати цю дилему,
слід скористатися статичними функціями-членами, що викликають закритий конструктор і повертають створений об'єкт класу. Лапки означають, що ці функції насправді конструкторами не є, хоча виконують зовсім аналогічну задачу. Ідея цієї ідіоми полягає в тім, що статичні функції-члени викликаються ще до створення об'єкта зазначеного класу. Отже, з їхньою допомогою можна викликати закритий конструктор, передавши йому відповідний набір аргументів — декартові координати або радіус і кут.
Використання
«
іменованих конструкторів
»
#include
#include
#define PI 3.141592
class TComplex
{
public:
static TComplex Dekart(double, double);
static TComplex Euler(double, double);
void view(){printf("Z = %lf +i*%lf \n",Re,Im); }
private:
double Re;
double Im;
TComplex(double x, double y):Re(x),Im(y){}
};
int main()
{
TComplex objDekart = TComplex::Dekart(1.0,0.0);
TComplex objEuler = TComplex::Euler(1.0,PI/2);
objDekart.view();
objEuler.view();
return 0;
}
TComplex TComplex::Dekart(double x, double y)
{
return TComplex(x,y);
}
TComplex TComplex::Euler(double r, double alpha)
{

Лекція
7
Класи
17
return TComplex(r*cos(alpha), r*sin(alpha));
}
Результат роботи цієї програми приведений нижче.
Z = 1.000000 +i*0.000000
Z = 0.000000 +i*1.000000
Відзначимо два моменти: 1) конструктор оголошений закритим, тому доступ до нього можливий лише через функції інтерфейсу; 2) інтерфейсні функції є статичними, тому їх можна викликати до створення нового об'єкта.
Якби функції
Dekart()
і
Euler()
не були статичними, їх виклик став би можливий тільки після створення об'єкта. Однак оскільки конструктор оголошений закритим, створити об'єкт було б неможливо. Ключове слово static розриває це замкнуте коло.
7.2.7.
Деструктор
Деструктор знищує об'єкти класу, звільняючи зайняті ресурси. Ця функція, як і конструктор, не має
значення, що повертається, однак, у відмінність він конструктора, вона не має одного параметра. Ім'я деструктора повинне збігатися з ім'ям класу, перед яким поставлена тильда.