1302.12 C++ 템플릿 기반 타입 검증