C++：为什么禁止递归模板化别名？

Question

为什么编译失败：

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

虽然只是将它嵌套到结构中就可以了：

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;
};

如果您可以用更详细的结构替换它，那么禁止别名中的递归的基本原理是什么？

见：https://godbolt.org/g/YtyhvL

Answer 1

如果您可以用更详细的结构替换它，那么禁止别名中的递归的基本原理是什么？

您在那里回答了自己的问题。你有做你想做的事情的机制。既然定义上的别名只是某种事物的简写，为什么还要让已经很复杂的语言变得复杂呢？

您使用结构来实现机制，并使用别名来给出漂亮的类型名称：

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

短而甜美，语言语法更简单。