shared_ptrマジック:)

Question 1

Lidström氏の主張は、構成shared_ptr<Base> p(new Derived);はBaseに仮想デストラクタを必要としないというものです。

Armen Tsirunyan：「本当に？shared_ptrは正しくクリーンアップされますか？この場合、その効果をどのように実装できるかを示していただけませんか？」

DanielLidström：「shared_ptrは独自のデストラクタを使用してConcreteインスタンスを削除します。これはC ++コミュニティではRAIIと呼ばれます。RAIIについてできる限りのことを学ぶことをお勧めします。これにより、C ++コーディングが非常に簡単になります。あらゆる状況でのRAII。」

Armen Tsirunyan：「RAIIについて知っています。また、pnが0に達すると、最終的にshared_ptrデストラクタが保存されたpxを削除する可能性があることも知っています。しかし、pxに静的型ポインタBaseと動的型ポインタがあるDerived場合Base、仮想デストラクタがない限り、これは未定義の動作になります。間違っている場合は修正してください。」

DanielLidström：「shared_ptrは静的型がConcreteであることを知っています。コンストラクターに渡したので、これを知っています。魔法のように見えますが、設計によるものであり、非常に優れていると確信できます。」

だから、私たちを判断してください。ポリモーフィッククラスに仮想デストラクタを持たせることなく、shared_ptrを実装することはどのように可能ですか？前もって感謝します

Question 2

はい、そのようにshared_ptrを実装することは可能です。Boostは機能し、C ++ 11標準もこの動作を必要とします。追加の柔軟性として、shared_ptrは単なる参照カウンター以上のものを管理します。いわゆるデリータは通常、参照カウンタも含む同じメモリブロックに配置されます。しかし、楽しい部分は、このdeleterの型がshared_ptr型の一部ではないということです。これは「型消去」と呼ばれ、基本的に「ポリモーフィック関数」を実装するために使用される手法と同じです。boost:: functionまたはstd :: functionは実際のファンクターの型を非表示にします。サンプルを機能させるには、テンプレート化されたコンストラクターが必要です。

template<class T>
class shared_ptr
{
public:
   ...
   template<class Y>
   explicit shared_ptr(Y* p);
   ...
};

したがって、これをクラスBaseおよびDerivedで使用する場合...

class Base {};
class Derived : public Base {};

int main() {
   shared_ptr<Base> sp (new Derived);
}

... Y = Derivedのテンプレート化されたコンストラクターは、shared_ptrオブジェクトを構築するために使用されます。したがって、コンストラクターは、適切な削除オブジェクトと参照カウンターを作成し、この制御ブロックへのポインターをデータメンバーとして格納する機会があります。参照カウンタがゼロに達すると、以前に作成されたDerived-awaredeleterを使用してオブジェクトが破棄されます。

C ++ 11標準には、このコンストラクター（20.7.2.2.1）について次のように書かれています。

必要なもの： pに変換可能である必要がありますT*。Y完全なタイプでなければなりません。表現delete pは適切に形成され、明確に定義された動作を持ち、例外をスローしてはなりません。

効果：構築shared_ptr所有オブジェクトをますポインタp。

…

そして、デストラクタ（20.7.2.2.2）の場合：

効果：もしが*thisある空の、または別と共有の所有権shared_ptrインスタンス（use_count() > 1）、副作用がありません。それ以外の場合、*thisオブジェクトpと削除機能を所有している場合はd、d(p)が呼び出されます。 それ以外の場合、*thisポインタを所有している場合p、およびdelete p呼ばれています。

（太字フォントを使用することを強調するのは私のものです）。

Question 3

shared_ptrが作成されると、削除機能が格納されますそれ自体の中にオブジェクトがます。このオブジェクトは、shared_ptrが指定されたリソースを解放しようとしているときに呼び出されます。構築の時点でリソースを破棄する方法を知っているので、不完全な型でshared_ptrを使用できます。shared_ptrを作成した人は誰でも、そこに正しい削除プログラムを保存しました。

たとえば、カスタム削除機能を作成できます。

void DeleteDerived(Derived* d) { delete d; } // EDIT: no conversion needed.

shared_ptr<Base> p(new Derived, DeleteDerived);

pはDeleteDerivedを呼び出して、ポイントされたオブジェクトを破棄します。実装はこれを自動的に行います。

Question 4

単に、

shared_ptr Baseのデストラクタではなく、指定されたオブジェクトのデストラクタを常に使用するコンストラクタによって作成される特別な削除関数を使用します。これはテンプレートメタプログラミングで少し作業しますが、機能します。

そんな感じ

template<typename SomeType>
shared_ptr(SomeType *p)
{
   this->destroyer = destroyer_function<SomeType>(p);
   ...
}