Умный указатель в C++ | OTUS
🔥 Начинаем BLACK FRIDAY!
Максимальная скидка -25% на всё. Успейте начать обучение по самой выгодной цене.
Выбрать курс

Курсы

Программирование
iOS Developer. Basic
-25%
Python Developer. Professional
-25%
Разработчик на Spring Framework
-25%
Golang Developer. Professional
-25%
Python Developer. Basic
-25%
iOS Developer. Professional
-25%
Highload Architect
-25%
JavaScript Developer. Basic
-25%
Kotlin Backend Developer
-25%
JavaScript Developer. Professional
-25%
Android Developer. Basic
-25%
Unity Game Developer. Basic
-25%
Разработчик C#
-25%
Программист С Web-разработчик на Python Алгоритмы и структуры данных Framework Laravel PostgreSQL Reverse-Engineering. Professional CI/CD Vue.js разработчик VOIP инженер Программист 1С Flutter Mobile Developer Супер - интенсив по Kubernetes Symfony Framework Advanced Fullstack JavaScript developer Супер-интенсив "Azure для разработчиков"
Инфраструктура
Мониторинг и логирование: Zabbix, Prometheus, ELK
-25%
DevOps практики и инструменты
-25%
Архитектор сетей
-25%
Инфраструктурная платформа на основе Kubernetes
-25%
Супер-интенсив «IaC Ansible»
-16%
Разработчик программных роботов (RPA) на базе UiPath и PIX
-25%
Administrator Linux. Professional MS SQL Server Developer Безопасность Linux PostgreSQL Reverse-Engineering. Professional CI/CD VOIP инженер Супер-практикум по работе с протоколом BGP Супер - интенсив по паттернам проектирования Супер - интенсив по Kubernetes Administrator Linux.Basic Супер-интенсив «ELK»
Специализации Курсы в разработке Подготовительные курсы
+7 499 938-92-02

Умный указатель в C++

Cplus_Deep_13.1-5020-d3bffc.png

Умный указатель в C++ (его ещё называют интеллектуальным) обеспечивает безопасность за счёт автоматического управления памятью. Такое решение позволит избежать ряда проблем при написании кода (отказов в выделении памяти, «утечек» памяти и пр.)

Умный указатель (Smart pointer) должен подсчитывать число ссылок на указанный объект. Поначалу может показаться, что это довольно сложная задача, особенно если вы не являетесь экспертом в C++. Давайте попробуем решить её, разделив на 2 части: 1) обрисуем общий подход и создадим псевдокод; 2) напишем подробный код.

Нам потребуется переменная — счётчик ссылок. Переменная будет увеличиваться, если мы будем добавлять новую ссылку на объект, и уменьшаться, если будем удалять ссылку.

Пример псевдокода:

template 
class SmartPointer {
    /* Класс Smart-указателя нуждается в указателях на самого
     * себя и на счётчик ссылок. Оба они должны быть указателями, а не реальным
     * объектом или значением счётчика ссылок, ведь цель умного
     * указателя — подсчитать число ссылок через множество 
     * Smart-указателей на один объект */
    T * obj;
    unsigned * ref_count;
}

Для данного класса нам потребуются деструктор и конструктор, давайте опишем их:

SmartPointer(T * object) {
    /* Мы желаем установить значение T * obj и установить счетчик
     * ссылок в 1. */
}

SmartPointer(SmartPointer & sptr) {
    /* Данный конструктор создает новый умный указатель на существующий
     * объект. Нам нужно сначала установить obj и ref_count
     * такими же, как в sptr. Потом, 
     * т. к. мы создали новую ссылку на obj, нужно
     * увеличить ref_count. */
}

~SmartPointer(SmartPointer sptr) {
    /* Уничтожаем ссылку на объект. Уменьшаем
     * ref_count. Если ref_count = 0, то освобождаем память и
     * уничтожаем объект. */
}

Есть и дополнительный способ создания ссылок — установить один SmartPointer в другой. Для этого потребуется переопределить оператор, но давайте сначала сделаем набросок кода:

onSetEqals(SmartPointer ptr1, SmartPointer ptr2) {
    /* Если ptr1 имеет существующее значение, уменьшаем его число ссылок.
    * Потом копируем указатели obj и  ref_count. В результате,
    * поскольку мы создали новую ссылку, нужно увеличить
    * ref_count. */
}

Что же, теперь осталось лишь написать итоговый код:

template 
class SmartPointer {
public:
    SmartPointer(T * ptr) {
        ref = ptr;
        ref_count = (unsigned*)malloc(sizeof(unsigned));
        *ref_count = 1;
    }

    SmartPointer(SmartPointer & sptr) {
        ref = sptr.ref;
        ref_count = sptr.ref_count;
        ++(*ref_count);
    }

    /* Перезаписываем оператор равенства (eqal), поэтому, когда вы установите
     * один умный указатель в другой, число ссылок старого указателя
     * уменьшится, а нового — увеличится. 
     */
    SmartPointer & operator=(SmartPointer & sptr) {
        /* Если уже присвоено объекту, удаляем одну ссылку. */
        if (*ref_count > 0) {
            remove();
        }
        if (this != &sptr) {
            ref = sptr.ref;
            ref_count = sptr.ref_count;
            ++(*ref_count);
        }
        return *this;
    }

    ~SmartPointer() {
        remove(); // удаляем одну ссылку на объект.
    }

    T operator*() {
        return *ref;
    }

    protected:
    void remove() {
        --(*ref_count);
        if (ref_count == 0) {
            delete ref;
            free(ref_count);
            ref = NULL;
            ref_count = NULL;
        }
    }

    T * ref;
    unsigned * ref_count;
}

Вот и всё, ждём ваших комментариев!

Статья написана на основе одного из заданий книги «Карьера программиста. Как устроиться на работу в Google, Microsoft или другую ведущую IT-компанию», Лакман Г.

Не пропустите новые полезные статьи!

Спасибо за подписку!

Мы отправили вам письмо для подтверждения вашего email.
С уважением, OTUS!

Автор
0 комментариев
Для комментирования необходимо авторизоваться
🎁 Максимальная скидка!
Черная пятница уже в OTUS! Скидка -25% на всё!