specialization

특수화는 기본 템플릿에서 예외 후보를 좁혀 가는 규칙이다

더 구체적인 타입 패턴이 맞으면 부분 특수화나 명시적 특수화가 선택된다.

기본 템플릿모든 타입의 기본 규칙
부분 특수화타입 패턴을 더 좁힘
명시 특수화정확히 한 조합 대체
선택 순서가장 구체적인 후보
구분판단 기준다음 행동
PrimaryPair<T,U>처럼 가장 넓음남은 조합 처리
PartialPair<T,T>, Pair<T,T*>패턴이 맞으면 우선
FullPair<bool,bool>처럼 정확히 일치완전히 다른 구현

핵심 특수화는 넓은 기본 규칙 위에 더 좁은 예외 규칙을 올리는 구조다.