C++17 STL Стандартная библиотека шаблонов

3. Также реализуем функцию, которая выводит на экран информацию о слабом указателе, что позволит узнавать о его состоянии в разные моменты выполнения программы. Функция expired класса weak_ptr скажет о том, существует ли еще объект, на который он указывает, поскольку хранение слабого указателя на объект не продлевает его время жизни! Счетчик use_count сообщает, сколько экземпляров типа shared_ptr в данный момент указывают на наш объект:

void weak_ptr_info(const weak_ptr &p)

{

  cout << "---------" << boolalpha

       << "\nexpired: " << p.expired()

       << "\nuse_count: " << p.use_count()

       << "\ncontent: ";

4. При желании получить доступ к самому объекту нужно вызвать функцию lock. Она возвращает общий указатель на объект. Если объект больше не существует, то полученный общий указатель, по сути, является null. Следует это проверять, прежде чем получать доступ к объекту.

  if (const auto sp (p.lock()); sp) {

    cout << sp->value << '\n';

  } else {

    cout << "\n";

  }

}

5. Создадим пустой слабый указатель в функции main и выведем на экран его содержимое, оно, конечно, поначалу будет пустым:

int main()

{

  weak_ptr weak_foo;

  weak_ptr_info(weak_foo);

6. В новой области видимости создадим новый общий указатель, содержащий только что созданный экземпляр класса Foo. Затем скопируем его в слабый указатель. Обратите внимание: это не увеличит счетчик ссылок общего указателя. Счетчик ссылок будет иметь значение 1, поскольку им владеет только один общий указатель.

  {

    auto shared_foo (make_shared(1337));

    weak_foo = shared_foo;

7. Вызовем функцию слабого указателя прежде, чем покинем область видимости, и снова после этого. Экземпляр типа Foo должен быть мгновенно уничтожен, несмотря на то что на него указывает слабый указатель.

    weak_ptr_info(weak_foo);

  }

  weak_ptr_info(weak_foo);

}

8. Компиляция и запуск программы дадут три результата работы функции weak_ptr_info. В первом вызове слабый указатель пуст. Во втором он уже указывает на созданный нами экземпляр типа Foo и может разыменовать его после блокировки. Перед третьим вызовом мы покидаем внутреннюю область видимости, что заставляет сработать деструктор экземпляра типа Foo в соответствии с нашими ожиданиями. После этого мы не можем получить содержимое экземпляра типа Foo с помощью слабого указателя, а сам слабый указатель корректно распознает, что срок его действия истек.

$ ./weak_ptr

---------

expired: true

use_count: 0

content: 

---------

use_count: 1

expired: false

content: 1337

DTOR Foo 1337

---------

use_count: 0

content: 

expired: true

Как это работает

Слабые указатели предоставляют способ указать на объект, поддерживаемый общими указателями, не увеличивая его счетчик использования. Да, необработанный указатель способен сделать то же самое, но не может сказать, является ли он висящим. Слабый указатель лишен этого недостатка!

Чтобы понять, как слабые указатели работают с общими, сразу рассмотрим рис. 8.3.

Принцип работы аналогичен тому, что приведен на рис. 8.2. В шаге 1 у нас имеются два общих указателя и слабый, указывающие на объект типа Foo. Несмотря на то что на него указывают три объекта, его счетчик использования изменяют только общие указатели, именно поэтому его значение равно 2. Слабый указатель изменяет только слабый счетчик блока управления. В шагах 2 и 3 экземпляры общих указателей уничтожаются, это снижает значение счетчика использования до 0. В шаге 4 это приводит к тому, что объект Foo удаляется, но блок управления остается. Слабому указателю все еще нужен блок управления, чтобы определить, является ли он висящим. Блок управления удаляется только в тот момент, когда последний слабый указатель, указывающий на него, тоже выходит из области видимости.

Мы также можем сказать, что срок действия висящего слабого указателя истек. Для проверки этого состояния можно опросить метод expired класса weak_ptr, он вернет булево значение. Если оно равно true, то мы не можем разыменовать слабый указатель, поскольку он не указывает на объект.

Чтобы разыменовать слабый указатель, нужно вызвать метод lock(). Это удобно и безопасно, поскольку данная функция возвращает общий указатель. Пока мы его храним, объект, на который он указывает, не может пропасть, поскольку мы увеличили его счетчик использования путем блокировки. Если объект удаляется вскоре после вызова lock(), то общий указатель, по сути, является null.