模板模板参数的参数是否会导致阴影？

Question

这是合法的C++吗？

template <typename T, template <typename T> class>
struct S { };

Clang(3.7.1)拒绝它,抱怨第一个第二个T阴影T.海湾合作委员会似乎不关心它,我认为这是合理的.我认为只有模板模板参数中重要的参数数量.

• http://goo.gl/51bHVG(gcc.godbolt.org)

Answer 1

没有.[temp.local]/6:

甲模板参数不得其范围(包括嵌套作用域)内重新声明.