123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174 |
- Smart pointers
- ##############
- std::unique_ptr
- ===============
- Given a class ``Example`` with Python bindings, it's possible to return
- instances wrapped in C++11 unique pointers, like so
- .. code-block:: cpp
- std::unique_ptr<Example> create_example() { return std::unique_ptr<Example>(new Example()); }
- .. code-block:: cpp
- m.def("create_example", &create_example);
- In other words, there is nothing special that needs to be done. While returning
- unique pointers in this way is allowed, it is *illegal* to use them as function
- arguments. For instance, the following function signature cannot be processed
- by pybind11.
- .. code-block:: cpp
- void do_something_with_example(std::unique_ptr<Example> ex) { ... }
- The above signature would imply that Python needs to give up ownership of an
- object that is passed to this function, which is generally not possible (for
- instance, the object might be referenced elsewhere).
- std::shared_ptr
- ===============
- The binding generator for classes, :class:`class_`, can be passed a template
- type that denotes a special *holder* type that is used to manage references to
- the object. If no such holder type template argument is given, the default for
- a type named ``Type`` is ``std::unique_ptr<Type>``, which means that the object
- is deallocated when Python's reference count goes to zero.
- It is possible to switch to other types of reference counting wrappers or smart
- pointers, which is useful in codebases that rely on them. For instance, the
- following snippet causes ``std::shared_ptr`` to be used instead.
- .. code-block:: cpp
- py::class_<Example, std::shared_ptr<Example> /* <- holder type */> obj(m, "Example");
- Note that any particular class can only be associated with a single holder type.
- One potential stumbling block when using holder types is that they need to be
- applied consistently. Can you guess what's broken about the following binding
- code?
- .. code-block:: cpp
- class Child { };
- class Parent {
- public:
- Parent() : child(std::make_shared<Child>()) { }
- Child *get_child() { return child.get(); } /* Hint: ** DON'T DO THIS ** */
- private:
- std::shared_ptr<Child> child;
- };
- PYBIND11_MODULE(example, m) {
- py::class_<Child, std::shared_ptr<Child>>(m, "Child");
- py::class_<Parent, std::shared_ptr<Parent>>(m, "Parent")
- .def(py::init<>())
- .def("get_child", &Parent::get_child);
- }
- The following Python code will cause undefined behavior (and likely a
- segmentation fault).
- .. code-block:: python
- from example import Parent
- print(Parent().get_child())
- The problem is that ``Parent::get_child()`` returns a pointer to an instance of
- ``Child``, but the fact that this instance is already managed by
- ``std::shared_ptr<...>`` is lost when passing raw pointers. In this case,
- pybind11 will create a second independent ``std::shared_ptr<...>`` that also
- claims ownership of the pointer. In the end, the object will be freed **twice**
- since these shared pointers have no way of knowing about each other.
- There are two ways to resolve this issue:
- 1. For types that are managed by a smart pointer class, never use raw pointers
- in function arguments or return values. In other words: always consistently
- wrap pointers into their designated holder types (such as
- ``std::shared_ptr<...>``). In this case, the signature of ``get_child()``
- should be modified as follows:
- .. code-block:: cpp
- std::shared_ptr<Child> get_child() { return child; }
- 2. Adjust the definition of ``Child`` by specifying
- ``std::enable_shared_from_this<T>`` (see cppreference_ for details) as a
- base class. This adds a small bit of information to ``Child`` that allows
- pybind11 to realize that there is already an existing
- ``std::shared_ptr<...>`` and communicate with it. In this case, the
- declaration of ``Child`` should look as follows:
- .. _cppreference: http://en.cppreference.com/w/cpp/memory/enable_shared_from_this
- .. code-block:: cpp
- class Child : public std::enable_shared_from_this<Child> { };
- .. _smart_pointers:
- Custom smart pointers
- =====================
- pybind11 supports ``std::unique_ptr`` and ``std::shared_ptr`` right out of the
- box. For any other custom smart pointer, transparent conversions can be enabled
- using a macro invocation similar to the following. It must be declared at the
- top namespace level before any binding code:
- .. code-block:: cpp
- PYBIND11_DECLARE_HOLDER_TYPE(T, SmartPtr<T>);
- The first argument of :func:`PYBIND11_DECLARE_HOLDER_TYPE` should be a
- placeholder name that is used as a template parameter of the second argument.
- Thus, feel free to use any identifier, but use it consistently on both sides;
- also, don't use the name of a type that already exists in your codebase.
- The macro also accepts a third optional boolean parameter that is set to false
- by default. Specify
- .. code-block:: cpp
- PYBIND11_DECLARE_HOLDER_TYPE(T, SmartPtr<T>, true);
- if ``SmartPtr<T>`` can always be initialized from a ``T*`` pointer without the
- risk of inconsistencies (such as multiple independent ``SmartPtr`` instances
- believing that they are the sole owner of the ``T*`` pointer). A common
- situation where ``true`` should be passed is when the ``T`` instances use
- *intrusive* reference counting.
- Please take a look at the :ref:`macro_notes` before using this feature.
- By default, pybind11 assumes that your custom smart pointer has a standard
- interface, i.e. provides a ``.get()`` member function to access the underlying
- raw pointer. If this is not the case, pybind11's ``holder_helper`` must be
- specialized:
- .. code-block:: cpp
- // Always needed for custom holder types
- PYBIND11_DECLARE_HOLDER_TYPE(T, SmartPtr<T>);
- // Only needed if the type's `.get()` goes by another name
- namespace pybind11 { namespace detail {
- template <typename T>
- struct holder_helper<SmartPtr<T>> { // <-- specialization
- static const T *get(const SmartPtr<T> &p) { return p.getPointer(); }
- };
- }}
- The above specialization informs pybind11 that the custom ``SmartPtr`` class
- provides ``.get()`` functionality via ``.getPointer()``.
- .. seealso::
- The file :file:`tests/test_smart_ptr.cpp` contains a complete example
- that demonstrates how to work with custom reference-counting holder types
- in more detail.
|