c++ - 类范围内的类模板专业化？

Question

为什么 A 中的专业化 S 合法而 B 中的 S 不合法？

（如果 B 没有被注释掉） GCC 4.8.1：错误：非命名空间范围 'class B' 中的显式特化</p>

#include <type_traits>
#include <iostream>

class Y {};
class X {};

struct A {
  template<class T, class = void>
  class S;

  template<class T>
  struct S < T, typename std::enable_if< std::is_same< Y, T >::value >::type > 
  {
    int i = 0;
  };

  template<class T>
  struct S < T, typename std::enable_if< std::is_same< X, T >::value >::type > 
  {
    int i = 1;
  };
};

/*
class B
{
    template<class T>
    class S;

    template<>
    class S < Y > {};

    template<>
    class S < X > {};
};
*/


int main()
{
    A::S< X > asd;
    std::cout << asd.i << std::endl;
}

在 coliru 上：B 注释掉了

在 coliru 上：带 B（错误）

Answer 1

@jrok 的评论几乎解释了您的编译器错误。一般来说，嵌套类，尤其是嵌套类模板，是语言中一个尘土飞扬的角落，您可以轻松避免（牢记 Sutter 的建议“写你知道的，知道你写的”）。

只需创建一个namespace detail来定义您的类模板SA及其SB专业化，然后S在两者中A定义嵌套模板类型别名B

namespace detail {

  template<class T, class = void>
  class SA;

  template<class T>
  struct SA < T, typename std::enable_if< std::is_same< Y, T >::value >::type > 
  {
    int i = 0;
  };

  template<class T>
  struct SA < T, typename std::enable_if< std::is_same< X, T >::value >::type > 
  {
    int i = 1;
  };

  template<class T>
  class SB;

  template<>
  class SB < Y > {};

  template<>
  class SB < X > {};
}

struct A
{
    template<class T>
    using S = detail::SA<T>;
};

struct B
{
    template<class T>
    using S = detail::SB<T>;
};

诚然，对于这种情况，这似乎有点过头了，但是如果您想自己制作A和B类模板，并专门化Aand B，那么如果您还专门化封闭类，则只能专门化嵌套类模板。简而言之：只需通过额外级别的编译时间接来完全避免这些问题。