C++ 에 template 사용시 에러 질문

첫번째 문제는 쌀밥님의 답변대로 하시면 되겠고...

두번째 문제는 클래스 템플릿의 멤버 템플릿을 전문화하겠다는 의도인 듯한데,
이런 식으로는 안됩니다. 멤버 템플릿의 전문화는 그 멤버를 포함하는 클래스의
전문화가 선행되어야 하기 때문입니다.

template <typename T> 
struct C { 
   template <int v> struct a {};  // (1)
}; 

template <> 
  template <>
  struct C<int>::a<0> {};  // (2)

C<int>::a<1> ci1;   // primary template (1)
C<char>::a<0> cc0;  // primary template (1)
C<int>::a<0> ci0;   // specialized (2)

네, 부분 전문화이기 때문에 가능합니다. 다음은 표준에서 인용한 것입니다.

template<class T1> class A {
    template<class T2> class B {
        template<class T3> void mf1(T3);
        void mf2();
    };
};
    
template<> template<class X>
class A<int>::B { };
    
template<> template<> template<class T>
void A<int>::B<double>::mf1(T t) { }
    
template<class Y> template<>
void A<Y>::B<double>::mf2() { }  // ill-formed; B<double> is specialized but
                                 // its enclosing class template A is not.

처음 코드의 경우 전문화된 struct a<0>은 멤버 템플릿이 아니므로 14.5.2/1에 의하여
struct C 내부에서 정의할 수 없고 14.7.3/18에 의하여 전문화되지 않은 struct C의
전문화된 struct a<0>을 정의한 것이므로 에러입니다.
두번째 코드의 경우 부분 전문화된 struct c<a, 0>은 역시 멤버 템플릿이고 이때
struct C 내부에서 정의할 수 있으므로 적법합니다. 물론 struct C의 외부에서
부분 전문화를 정의할 수도 있습니다.

template <typename T> 
struct C { 
   template <int a, int b> struct c {}; 
}; 

template <typename T>
  template <int a>
  struct C<T>::c<a, 0> {};