c++ - 生のポインタをshared_ptrにラップし、shared_ptrがオブジェクトを削除しないようにする方法は?

Question

shared_ptr関数に渡すために、生のポインターを a にラップする必要があります。関数は、返されると、入力オブジェクトへの参照を保持しません。

{
  MyClass i;
  shared_ptr<MyClass> p(&i);
  f(p);
  // BAD: shared_ptr will delete i.
}

shared_ptr参照されたオブジェクトを削除しないようにするにはどうすればよいですか?

Answer 1

クリスがコメントでほのめかしたように、空のデリータを書きます。

#include <type_traits>

template <typename T>
struct empty_delete
{
    empty_delete() /* noexcept */
    {
    }

    template <typename U>
    empty_delete(const empty_delete<U>&,
        typename std::enable_if<
            std::is_convertible<U*, T*>::value
        >::type* = nullptr) /* noexcept */
    {
    }

    void operator()(T* const) const /* noexcept */
    {
        // do nothing
    }
};

使用例:

#include <iostream>
#include <memory>

struct noisy
{
    noisy() { std::cout << "alive" << std::endl; }
    ~noisy() { std::cout << "dead" << std::endl; }

    noisy(const noisy&);
    noisy& operator=(const noisy&);
};

template <typename T>
void take(T& yours)
{
    std::cout << "Taking..." << std::endl;
    {
        auto mine = std::move(yours);
    }
    std::cout << "Took." << std::endl;
}

int main()
{
    std::unique_ptr<noisy> a(new noisy());
    std::shared_ptr<noisy> b(new noisy());
    std::unique_ptr<noisy, empty_delete<noisy>> c(new noisy());
    std::shared_ptr<noisy> d(new noisy(), empty_delete<noisy>());

    take(a);
    take(b);
    take(c);
    take(d);
}

出力：

生き
て 生きて 生きて
生きて … 死ん で テイク... デッド テイク。 取って… 取って。 取って… 取って。

もちろん、この例ではメモリ リークが発生します。