Специализация шаблона класса в области видимости?

Почему специализация S в A легальна, а S в B нет?

(если B не закомментирован) GCC 4.8.1: ошибка: явная специализация в области отсутствия пространства имен "класс B"

#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;
}

на колиру: B закомментировал

по колиру: с B (ошибка)

Ответы на вопрос(1)

Ваш ответ на вопрос