C++は誘導型定義をサポートしていますか？

Question

私は例えば、誘導型を定義しようとしています。基本型

MyClass<0>=int 

と誘導

Myclass<k>=list<MyClass<k-1>> 

私は

class My_class<int k>= 
    if k=0 
    int 
    else 
    list<Myclass<k-1>> 

のようないくつかのコードは、C++をサポートしていていたいですこの種のコーディングは？

もしそうでなければ、達成したいことをサポートする他の言語がありますか？

Answer 1

少なくともC++はそうです。あなたは何が起こっているか見当がつかない場合

template <int k> 
struct Myclass_helper { using type = list<typename Myclass_helper<k-1>::type>; }; 

template < > 
struct Myclass_helper<0> { using type = int; }; 

template <int k> 
using Myclass = typename Myclass_helper<k>::type; 

は、キーワードがエイリアシングテンプレートの特殊とテンプレートです。