嵌套类显式规范化：不同的编译器行为

Question

下面的代码可以用clang 6.0.0和g 7.3.0很好地编译（编译标志是-std=c 14-Wall-Wexter-Werror-peenty-error），但是不能用vc19.10.25017编译（编译标志是/Za）：

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

template <>
template <>
struct A<int>::B<char>
{
    static void foo();
};

void A<int>::B<char>::foo()
{
}

int main()
{
}

vc编译错误消息：

错误C2906：“作废A

在这种情况下，什么行为符合标准？

Answer 1

VC是错误的。可能误解了以下条款：

显式专用类模板的成员的定义方式与普通类的成员相同，并且不使用模板

后一条规则的目的是消除歧义：

// Which template does this header appertain to?
template<class U> void A<short>::C<U>::f() { /* ... */ } 

然而，在您的情况下，（*）情况适用。