Умный указатель в C++ | OTUS
⚡ Подписка на курсы OTUS!
Интенсивная прокачка навыков для IT-специалистов!
Подробнее

Курсы

Программирование
Python Developer. Professional
-3%
Разработчик на Spring Framework
-5%
iOS Developer. Professional
-8%
Golang Developer. Professional
-6%
Базы данных
-12%
Agile Project Manager
-5%
Android Developer. Professional
-11%
Microservice Architecture
-5%
C++ Developer. Professional
-5%
Highload Architect
-6%
JavaScript Developer. Basic
-8%
Backend-разработчик на PHP
-9%
C# Developer. Professional
-9%
Team Lead
-6%
Алгоритмы и структуры данных Разработчик программных роботов (RPA) на базе UiPath и PIX Unity Game Developer. Basic Разработчик голосовых ассистентов и чат-ботов Vue.js разработчик VOIP инженер NoSQL Супер-практикум по использованию и настройке GIT Symfony Framework iOS Developer. Basic Супер-интенсив «СУБД в высоконагруженных системах» Супер-интенсив "Tarantool"
Инфраструктура
DevOps практики и инструменты
-12%
Базы данных
-12%
Network engineer. Basic
-10%
Network engineer
-4%
Экcпресс-курс «ELK»
-10%
Инфраструктурная платформа на основе Kubernetes
-6%
Administrator Linux.Basic
-10%
Экспресс-курс «CI/CD или Непрерывная поставка с Docker и Kubernetes»
-30%
Дизайн сетей ЦОД
-13%
PostgreSQL
-8%
Разработчик программных роботов (RPA) на базе UiPath и PIX Reverse-Engineering. Professional Внедрение и работа в DevSecOps Administrator Linux. Advanced Infrastructure as a code in Ansible Супер - интенсив по паттернам проектирования Супер - интенсив по Kubernetes Экспресс-курс «IaC Ansible»
Специализации Курсы в разработке Подготовительные курсы
+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 комментариев
Для комментирования необходимо авторизоваться