GCC bug还是UB？这段代码应该编译吗？

Question

下面的代码用clang编译好,但不用GCC编译(试过4.1.2,4.5.4和4.7.2):

template <typename T>
struct A
{
    struct B { };
};

template <typename T>
bool operator==(typename A<T>::B const& b, T const&  t);

enum { BAR };

template <typename T>
bool test()
{
    return 0 == BAR;
}

GCC 4.7.2的错误消息是:

a.cpp: In instantiation of ‘struct A<<anonymous enum> >’:
a.cpp:12:6:   required by substitution of ‘template<class T> bool operator==(const typename A<T>::B&, const T&) [with T = <anonymous enum>]’
a.cpp:19:17:   required from here
a.cpp:6:12: error: ‘<anonymous enum>’ is/uses anonymous type
a.cpp:6:12: error:   trying to instantiate ‘template<class T> struct A<T>::B’
a.cpp:6:12: error: ‘<anonymous enum>’ is/uses anonymous type
a.cpp:6:12: error:   trying to instantiate ‘template<class T> struct A<T>::B’

GCC拒绝代码是正确的,还是我遇到了它的错误？

PS我在尝试构建一个开源项目时看到了这个错误.我试图做出最小的再现它的例子.

Answer 1

根据原始标准，它不是有效的 C++：

该标准14.3.1规定：

2 本地类型、无链接的类型、未命名类型或由任何这些类型复合的类型不得用作模板类型参数的模板实参。[例子： ...

但我相信最新的 C++11 标准已删除了这一限制。这可以解释为什么一些编译器接受它而另一些编译器拒绝它。