以下代码编译using both Clang and GCC，即使Foo_t<T>::Bar前面没有typename：
struct Foo {
using Bar = int;
};
template<class...>
using Foo_t = Foo;
template<class T>
void f(){
Foo_t<T>::Bar b; // No typename!
}
int main(){
f<int>();
}
应该编译吗？
【问题讨论】：
template <class T> void f() { Foo::Bar b; }，没有依赖名。
标签： c++ templates c++11 language-lawyer
Foo_t<T>::Bar 可能看起来像一个从属名称，但它不是因为传递给 alias-declaration 的 template-arguments 在确定什么时不使用qualified-id Bar 指的是。
代码格式正确。
14.5.7/2 别名模板
[temp.alias]当一个template-id指代一个别名模板的特化时，它等价于关联类型 通过将其 template-arguments 替换为别名的 type-id 中的 template-parameters 获得 模板。
A.6 声明
[gram.dcl]alias-declaration: using identifier attribute-specifier-seq_opt = type-id ;
由于Foo_t的type-id中没有template-parameters，所以template alias-declaration总是直接等价的到Foo，无论我们传递什么模板参数。
template<class... Ts>
using Foo_t = Foo;
// ^--- "Foo" = type-id
将Foo_t<T> 的用法替换为模板别名声明的等价物，我们得到以下结果：
template<class T>
void f(){
Foo::Bar b; // ok, nothing here depends on `T`
}
【讨论】：
Foo_t<T> 是一个simple-template-id，它的模板参数之一，即T，是一个依赖类型。
Foo。 Foo 显然不是依赖类型。从表面上看，这似乎是一个矛盾。是否有明确的条款规定必须解决此矛盾以使其不是依赖类型？或者“等价”是什么意思？或者 [temp.dep.type]/p8 中是否有一些子条款指出“这不适用于此处”？
更多挖掘，这里是CWG issue 1390。
问题描述是
根据 14.6.2.1 [temp.dep.type] 第 8 段，类型是依赖的 （除其他外）如果是
一个 simple-template-id，其中模板名称是一个模板 参数或任何模板参数是依赖类型或 类型相关或值相关的表达式
这适用于别名模板特化，即使结果 类型不依赖于模板参数：
struct B { typedef int type; }; template<typename> using foo = B; template<typename T> void f() { foo<T>::type * x; //error: typename required }是否有必要对此类案件的规则进行更改？
在那个问题中有一个注释：
2012 年 10 月会议记录：
CWG 同意在这种情况下不需要
typename。在一些 方式，别名模板特化就像当前的 实例化，并且可以在模板定义时知道。
该问题仍处于“起草”状态，但编译器供应商似乎已经在实施预期的解决方案。
【讨论】：