Лекция 1. Умные указатели (1114994)
Текст из файла
Лекция 1. Умные указателиValery Lesin. C++ In-Depth, 2014Умные указатели• Почти те же указатели, только умнее– представляют собой RAII классы– часто поддерживают тот же интерфейс, что иобычные указатили: op->, op*, op< (например,чтобы положить в std::set)– сами управляют временем жизни объекта –вовремя вызывают деструкторы иосвобождают памятьValery Lesin.
C++ Basics, 20132Польза умных указателей• Автоматическое освобождение памяти приудалении самого указателя• Безопасность исключений1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.void foo(){shared_ptr<my_class> ptr(new my_class("arg"));// or shorter definition:auto ptr = make_shared<my_class>("arg");ptr->bar(); // if throws exception, nothing bad happened}void foo(){my_class* ptr = new my_class(/*...*/);ptr->bar(); // oops, troubles in case of exceptiondelete ptr; // common trouble is to forget delete}Valery Lesin. C++ Basics, 20133Популярные умные указатели• std :: scoped_ptr• std :: unique_ptr• std :: shared_ptr• std :: weak_ptr• boost :: intrusive_ptr• Deprecated: std :: auto_ptr (замененunique_ptr )Valery Lesin.
C++ Basics, 20134scoped_ptr• Удобен для хранения указателя на стеке илиполем класса. Не позволяет копироваться.1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.template<class T> struct scoped_ptr : noncopyable {public:typedef T element_type;explicit scoped_ptr(T * p = 0);~scoped_ptr();void reset(T * p = 0);T & operator *() const;T * operator->() const;T * get() const;operator unspecified-bool-type() const;};//------scoped_ptr<int> p(new int(5));Valery Lesin. C++ Basics, 20135Почему explicit конструктор?1.2.3.4.5.6.7.8.9.10.11.//what if scoped_ptr had implicit constructorvoid foo(scoped_ptr<my_class> ptr){/*...*/}auto p = new my_class(/*...*/);foo(p);// epic fail, p is not valid after this callp->do_smth();// errordelete p;// one more errorValery Lesin. C++ Basics, 20136Возможности scoped_ptr•••••Самый простой и быстрыйНельзя копировать и перемещать (move)Нельзя использовать в stl контейнерахДля массива: scoped_arrayПри определении не требует полный тип,для инстанцировании - требуетValery Lesin.
C++ In-Depth, 2014Требование полноты типа12345678910111213141516171819#include <boost/scoped_ptr.hpp>// b.hstruct A;struct B{boost::scoped_ptr<A> a;// some declarations// but no explicit destructor};// main.cpp#include "b.h"int main(){B b;return 0;}• Такой код приводит к ошибке компиляцииValery Lesin. C++ In-Depth, 2014checked_delete1 // scoped_ptr.hpp2 ~scoped_ptr() // never throws3 {boost::checked_delete(ptr);456789101112131415}// checked_delete.hpptemplate<class T>inline void checked_delete(T * x){// intentionally complex - simplification causes regressionstypedef char type_must_be_complete[ sizeof(T)? 1: -1 ];(void) sizeof(type_must_be_complete);delete x;}• Либо стоит объявить полностью тип А в том же хидерепосле типа B• Либо типу B необходимо добавить объявлениедеструктора (определение может быть в другом cppфайле)Valery Lesin. C++ In-Depth, 2014std::unique_ptr• Владеет объектом эксклюзивно• Нельзя копировать, но можно перемещать• Заменяет std::auto_ptr (тот перемещал владениепри копировании – требовал копирование отнеконстантной ссылки)• Удобно использовать при возврате из функции• Есть функция release()123456789template<class T,class Deleter = std::default_delete<T>> class unique_ptr;template <class T,class Deleter> class unique_ptr<T[], Deleter>;Valery Lesin.
C++ In-Depth, 2014shared_ptr• Поддерживает общий счетчик ссылок навыделенный объект• Удаляет объект только, когда последний изссылающихся shared_ptr’ов удаляется илипринимает указатель на другой объектValery Lesin. C++ Basics, 201311shared_ptr••••Наиболее используемый.Удобен для разделения владением.Можно возвращать из функций.*Можно передавать между модулями - запоминаетправильную функцию удаления (из нужной библиотеки)1.2.3.4.5.6.7.8.9.10.11.12.13.template<class T> struct shared_ptr{/* more than scoped_ptr has */shared_ptr(shared_ptr const & r);template<class Y> shared_ptr(shared_ptr<Y> const & r);shared_ptr(shared_ptr && r);template<class Y> shared_ptr(shared_ptr<Y> && r);bool unique() const;long use_count() const;/*...*/};Valery Lesin.
C++ Basics, 201312shared_ptr• Можно класть в STL контейнеры (есть даже сравнение)• Полный тип требует только не момент инициализации!• Избегайте циклов (используйте weak_ptr)• Не передавайте временные shared_ptr:12345678void foo(shared_ptr<A> a, int){/*...*/}int bar() {/*may throw exception*/}int main(){// dangerouslyfoo(shared_ptr<A>(new A), bar());}Valery Lesin. C++ Basics, 201313shared_ptr & casts1234struct Base{};struct Derived{};shared_ptr<Base> der;56Derived* to_d = dynamic_cast<Derived*>(der.get());7shared_ptr<Derived> d_ptr(to_d); // logical error89// correct way10auto d_ptr = dynamic_pointer_cast<Derived>(der);• Доступны все 4 вида преобразованийValery Lesin. C++ In-Depth, 2014boost make_shared,allocate_shared12345// usual wayshared_ptr<some_struct> ptr(new some_struct(a, b, c));// better wayauto ptr = make_shared<some_struct>(a, b, c);• Умный указатели изолируют не толькооператоры delete, но и new• Выделяет память на счетчик одним блоком собъектом• Для выделения со свои аллокаторомиспользуйте allocate_sharedValery Lesin.
C++ In-Depth, 2014boost weak_ptr12345678910111213141516171819struct client;struct server{//...typedef shared_ptr<client> client_ptr;vector<client_ptr> clients_;};struct client{// ...weak_ptr<server> srv_;}//... in client member functionif(auto srv = srv_.lock()){srv->send(/*...*/)}Valery Lesin. C++ In-Depth, 2014boots intrusive_ptr• Хранит счетчик ссылок непосредственно вобъекте+ Нет дополнительных расходов на память+ Можно передавать «сырой» указатель+ Самый быстрый из умных указателей,разделяющих владение- Требует вмешательство в класс- Могут быть проблемы при построениииерархии• Если неочевидно, что intrusive_ptr даст вамвыигрыш, попробуйте сперва shared_ptrValery Lesin. C++ In-Depth, 2014linked_ptrlinked_ptr<T> alinked_ptr<T> blinked_ptr<T> cT object• Совместное владение объектом• Не выделяет «лишней» памяти – быстраяинициализация, но медленное копирование• Не фрагментирует память (32-bit)Valery Lesin.
C++ In-Depth, 2014shared_from_this*123456789101112131415struct client: enable_shared_from_this{typedef shared_ptr<client> ptr_t;ptr_t create(/*...*/) { return ptr_t(new client(/*...*/)); }private:void on_connected(service* srv){srv->handle_read(bind(&client::on_read, shared_from_this(), _1));}void on_read(/*...*/){/*...*/}//....};Valery Lesin. C++ In-Depth, 2014boost optional• Очень похож на указатель, но хранит позначению в качестве своего поля. Вместе сфлагом инициализации.123456789101112131415optional<double> try_get_value(){if (has_value)return value;elsereturn boost::none;}//-----------------------------struct A{A(some_struct& s, double d);}//...optional<A> a (A(s, 5.)); // makes copyoptional<A> b = in_place(ref(s), 5.);Valery Lesin. C++ In-Depth, 2014.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.