Об’єкт, час життя та керування ресурсами

Що ви зможете пояснити

Після опрацювання матеріалу ви зможете розрізнити об’єкт і його адресу, простежити час життя об’єкта та пояснити, хто відповідає за звільнення ресурсу. Лабораторна робота допоможе перевірити ці ідеї у виконуваній програмі.

Інтуїція: ресурс потрібно повернути

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

Об’єкт і змінна

Клас описує власний тип: його дані та операції. Екземпляр класу — конкретний об’єкт цього типу. Два екземпляри одного класу можуть містити різні значення. Метод — функція, що описує операцію класу.

У прикладі std::cout — стандартний потік виводу, << передає йому значення, а \n позначає новий рядок. Заголовок <iostream> містить потрібні оголошення.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17#include <iostream>

class Counter {
public:
    void increment() { ++value_; } // Змінюємо стан об’єкта.
    int value() const { return value_; } // Читаємо стан без змін.

private:
    int value_ = 0; // Кожен об’єкт має власне значення.
};

int main() {
    Counter first;
    Counter second;
    first.increment();
    std::cout << first.value() << " " << second.value() << "\n";
}

Результат: 1 0. Поле value_ належить кожному об’єкту окремо. private обмежує доступ до поля, а public відкриває методи для використання. Метод із const після дужок не змінює звичайні поля об’єкта. Це інкапсуляція: керований доступ до внутрішнього стану через операції типу.

Час життя: коли об’єкт існує

Lifetime (час життя) — період, коли об’єкт існує й може коректно використовуватися. Область видимості визначає, де в коді доступне ім’я. Ці поняття пов’язані, але не тотожні.

Конструктор і деструктор

Конструктор ініціалізує об’єкт. Деструктор виконується при завершенні його часу життя та дає можливість звільнити ресурси. Назва деструктора починається з ~.

#include <iostream>

class Trace {
public:
    Trace() { std::cout << "Створено\n"; }
    ~Trace() { std::cout << "Знищено\n"; }
};

int main() {
    std::cout << "До блоку\n";
    {
        Trace item; // Об’єкт існує всередині цього блоку.
        std::cout << "У блоці\n";
    } // Тут викликається деструктор item.
    std::cout << "Після блоку\n";
}

Стек і купа: модель пам’яті

Stack (стек) — поширена реалізація зберігання локальних даних викликів функцій. Heap (купа) — поширена назва області для динамічного виділення пам’яті. Стандарт C++ описує тривалість зберігання, а не вимагає конкретного фізичного розташування всіх об’єктів у стеку чи купі.

Володіння та RAII

Ownership (володіння) означає відповідальність за час життя ресурсу. У прикладі std::unique_ptr — розумний вказівник з одним власником. Його не можна звичайно скопіювати; відповідальність можна передати через переміщення.

1
2
3
4
5
6
7
8
9
10
11
12
13#include <iostream>
#include <memory> // std::unique_ptr, std::make_unique
#include <utility> // std::move

int main() {
    auto owner = std::make_unique<int>(42); // Єдиний власник числа.
    auto next = std::move(owner); // Передаємо володіння.

    if (!owner) { // Після передачі unique_ptr порожній.
        std::cout << "Володіння передано\n";
    }
    std::cout << *next << "\n"; // * читає об’єкт за адресою.
} // next автоматично звільняє керований об’єкт.

Невдалий і кращий варіанти

// Фрагмент: раннє повернення спричиняє витік.
int* value = new int(42);
if (cancelled) return;
consume(*value);
delete value;

// Фрагмент: власник звільнить пам’ять на кожному виході.
auto value = std::make_unique<int>(42);
if (cancelled) return;
consume(*value);

Граничні випадки й типові помилки

Професійні практики

Перевірка розуміння

Джерела для подальшого читання

• C++ Core Guidelines: керування ресурсами
• Документація Microsoft: розумні вказівники

Джерела англійською мовою. Основні терміни пояснено в цій лекції.