テンプレートパラメータの子X制限を強制する方法はありますか？

Question

渡されたテンプレートパラメータがFooの子であるという制限を適用したいとします。

これを型特質によって強制する方法はありますか？コンパイル時にstatic_assertのエラーが発生する可能性があります。

以下のコードでは、それを2つの（別々の）質問にしましょう。

1. My_Limited_Template<Bar>のみをコンパイルできます。
2. My_Limited_Template<TBar>のみをコンパイルできます。

EDIT私が悪いの命名をお詫び申し上げます ：TBarとTBazを目的に非テンプレートクラスであることを意味しています。私はちょうど1

が

パートのクラスから明確にするために名前の前にTを添付CODE

struct Foo { };    // no 
struct Bar : public Foo { }; // yes 
struct Baz { };    // no 

template< typename T > 
struct TFoo { };      // no 
struct TBar : public TFoo<TBar> { }; // yes 
struct TBaz { };      // no 

template< typename T > 
struct My_Limited_Template 
{ 
    // Part One: 
    // My_Limited_Template<Foo> // disallow 
    // My_Limited_Template<Bar> // allow 
    // My_Limited_Template<Baz> // disallow 
    // 
    // Part Two: 
    // My_Limited_Template<TFoo<int>> // disallow 
    // My_Limited_Template<TBar>  // allow 
    // My_Limited_Template<TBaz>  // disallow 
}; 

Answer 1

私は変更することを確認し、あなたがTBarとTBasの定義にエラーをしたと仮定正しい。