Question

我刚刚在clang和gcc之间遇到了一个奇怪的区别，我想编译看起来类似于以下内容的代码：

namespace n1 {
  template <class T1, class T2>
  struct MyTemplate {
    struct Inner {};
  };
}

using namespace n1;
namespace n2 {
  using MyClass = MyTemplate<int, int>;
}

namespace n1 {
  using n2::MyClass;
  template<> struct MyClass::Inner {
    int member;
  };

  MyClass::Inner inner{0};
}

Clang愉快地编写了这个：

$ clang++ -std=c++11 -c -o alias_specialization.o alias_specialization.cc

但是gcc会抛出以下错误：

$ g++ -std=c++11 -c -o alias_specialization.o alias_specialization.cc

alias_specialization:15:30: error: declaration of ‘struct n1::MyTemplate<int, int>::Inner’ in namespace ‘n1’ which does not enclose ‘using MyClass = struct n1::MyTemplate<int, int>’
   template<> struct MyClass::Inner {

我知道我可以在第15行写出原始类型的全名（MyTemplate<int, int>）而不是MyClass。但我只是想知道两个编译器中的哪一个是“正确的”。使用的确切编译器是：

$ clang++ --version
clang version 4.0.0

$ g++ --version
g++ (GCC) 6.3.1 20170306

不同名称空间中的别名声明的成员专门化

0 个答案: