typename，类型成员和非类型成员：它是有效的代码吗？

Question

考虑下面的代码：

struct S { 
    struct type {}; 
    type type; 
}; 

int main() { 
    typename S::type t; 
    (void) t; 
} 

除了一个事实，即是远不是一个好主意，我看了这里SO另一个问题后进行试验。
我发现上面的代码片段是compiled with no errors by GCC，它是rejected by clang 3.9，出现以下错误：

error: typename specifier refers to non-type member 'type' in 'S'

我怀疑铛就在这种情况下，和GCC是错误的（实际上，我打开一个问题的后者）。
这是正确的结论还是typename的有效使用？

---

注：我不是问如何解决它，我知道如何做到这一点。我只问这个代码是否有效。

Answer 1

[temp.res]/4：

The usual qualified name lookup is used to find the qualified-id even in the presence of typename .

也就是说，不像的情况下阐述类型说明符秒，在这种情况下，不忽略非类型名称的名称查找。

[temp.res]/3：

If the qualified-id in a typename-specifier does not denote a type or a class template, the program is ill-formed.

所以有问题的程序是病态的。

[temp.res]/4还具有一个这样的例子：

struct A { 
    struct X { }; 
    int X; 
}; 
struct B { 
    struct X { }; 
}; 
template<class T> void f(T t) { 
    typename T::X x; 
} 
void foo() { 
    A a; 
    B b; 
    f(b);    // OK: T::X refers to B::X 
    f(a);    // error: T::X refers to the data member A::X not the struct A::X 
}