C++: Pourquoi l'alias modélisé récursif est-il interdit?

Question

Pourquoi ce ne parvient pas à compiler:

template<typename T, int N> 
using vec = vector<vec<T, N - 1>>; 
template<typename T> 
using vec<0> = T; 

tout simplement l'imbrication dans une struct fonctionne très bien:

template<typename T, int N> 
struct foo { 
    using vec = vector<typename foo<T, N - 1>::vec>; 
}; 
template<typename T> 
struct foo<T, 0> { 
    using vec = T; 
}; 

Quelle est la raison d'être interdit récursivité dans les alias si vous pouvez le remplacer par construit plus verbeux?

voir: https://godbolt.org/g/YtyhvL

Answer 1

Quelle est la raison d'être interdit récursivité dans les alias si vous pouvez simplement le remplacer par construction plus bavard?

Vous avez répondu à votre question là-bas. Vous avez le mécanisme pour faire ce que vous voulez. Et puisqu'un alias par définition est destiné à être juste un raccourci pour quelque chose, pourquoi compliquer les langues déjà compliquées grammaire?

Vous utilisez la structure à mettre en œuvre le mécanisme et un alias pour donner le joli nom du type:

template<typename T, int N> 
using vec = typename foo<T,N>::vec; 

court et doux, et avec une grammaire de langage plus simple.