templateの基底クラスの派生クラスの制限について

Question

とあるtemplateの基底クラスがあり、template引数に継承先のクラスを入れていなければエラーが出るようなことはできるのでしょうか。

template<typename T>
struct Base{};

struct Derived1 : Base<Derived1>{}; 　// OK
struct Derived2 : Base<int>{}; 　　　　// Errorにしたい！
struct Derived3 : Base<Derived1>{}; 　// これもできればErrorにしたい！

Answer 1

外部QAサイトの質問と回答「Prevent user from deriving from incorrect CRTP base」では、基底クラスの全コンストラクタをprivate化＋派生先クラスTをfriend宣言するテクニックが紹介されています。

template<typename T>
struct Base {
  //...
private:
  Base() = default;
  friend T;
};

struct Derived1 : Base<Derived1>{};
struct Derived2 : Base<int>{};
struct Derived3 : Base<Derived1>{};

int main()
{
  Derived1 d1;  // OK
  Derived2 d2;  // コンパイルエラー
  Derived3 d3;  // コンパイルエラー
}