プロテクトされたデストラクタは、スタック上の派生クラスのオブジェクトの作成を無効にしますか？

Question

Curiously Recurring Template PattenについてのこのWebページでは、派生クラスをスタック上にインスタンス化することができます（オブジェクトカウンターの例、基本クラステンプレートに保護されたデストラクターがあります）。CRTP-wiki ..私は自分自身をコンパイルしました。

template <typename T> 
struct counter 
{ 
    static int objects_created; 
    static int objects_alive; 

    counter() 
    { 
     ++objects_created; 
     ++objects_alive; 
    } 

    counter(const counter&) 
    { 
     ++objects_created; 
     ++objects_alive; 
    } 
protected: 
    ~counter() // objects should never be removed through pointers of this type 
    { 
     --objects_alive; 
    } 
}; 
template <typename T> int counter<T>::objects_created(0); 
template <typename T> int counter<T>::objects_alive(0); 

class X : counter<X> 
{ 
    // ... 
}; 

class Y : counter<Y> 
{ 
    // ... 
}; 

しかし、この答えは保護された基本クラスのデストラクタがスタックに派生クラスをインスタンス化禁止します作ると言う：answer：

としては、ポコ:: RefCountedObjectはので、すべてのクラスから継承し、デストラクタを保護していた、すでに答えそれはスタック上に作成することはできません....

ので、

は、（1）でありますこの答えは間違っている？それとも私は誤解しましたか？

（2）なぜCRTPの例では、デストラクタを保護していますか？それは、スタック上の基本クラステンプレートの特殊化をインスタンス化することを禁止することを意図していますか？ヒープ上の基本クラステンプレートの特殊化をインスタンス化できますか（私は試しましたが、できませんが、理由はわかりません）。

ありがとうございます！

Answer 1

サンプルを作成しました。スタックとヒープの両方のオブジェクトを作成できます。 私は答えが間違っていると思うし、デストラクターを保護することはあなたのスニペットでコメントに与えられた意味を正確に持っています： "オブジェクトはこのタイプのポインタを通して決して削除すべきではありません"。また、デストラクタが仮想化されている場合（deleteは常に継承されたデストラクタを最初に呼び出すため）、 'protected'をスキップすることができます。私はここで何かを逃さないことを願っています。

#include <cstdio> 

template <typename T> 
struct counter 
{ 
    static int objects_created; 
    static int objects_alive; 

    counter() 
    { 
     ++objects_created; 
     ++objects_alive; 
    } 

    counter(const counter&) 
    { 
     ++objects_created; 
     ++objects_alive; 
    } 
protected: 
    ~counter() // objects should never be removed through pointers of this type 
    { 
     --objects_alive; 
    } 
}; 
template <typename T> int counter<T>::objects_created(0); 
template <typename T> int counter<T>::objects_alive(0); 

class X : counter<X> 
{ 
public: 
    X() 
    { 
     printf("Hello from X %dth instance, %d still up\n", objects_created, objects_alive); 
    } 

    ~X() 
    { 
     printf("Bye X\n"); 
    } 
}; 

int main() 
{ 
    { 
     X x; // hello x1 
     { 
      X x2; // hello x2 
     } // bye x2 

     X* x3 = new X(); // hello x3 
     X* x4 = new X(); // hello x4 

     delete x3; // bye x3 

     counter<X>* x5 = (counter<X>*)x4; 

     delete x5; // destructor is inaccesible, does not compile 
    } 
    return 0; 
}