>>251
クズ呼ばわりされては親に申し訳ないので新規に質問します。
>>246 は忘れてくださるとありがたいです。

テンプレート引数を特定のクラステンプレートに制限する方法が知りたいです。

例えば

template <int N> class A { ・・・ };
template <typemane T> class B { ・・・ };

これで、クラステンプレートBのテンプレート引数に設定できる型を
クラステンプレートAの実体化された型に限りたいです。

つまり、

typedef A<3> a;
typedef B<a> b; // ok
typedef B<char> b2; // コンパイルエラー

このようになってほしいです。
記述方法を教えていただけないでしょうか。