[C++] 템플릿 정의에서 의미를 이해 할 수 없는 구문이 있습니다.

비주얼 스튜디오 2013의 visual c++에 추가되어있는 c++11 호환 가능한 utility 파일의 구문을 분석하던 중에 조금 의미를 이해할 수 없는 템플릿 정의 문장이 있어서 문의 드리고자 합니다.

구글에서 별짓을 다해 검색을 해봤지만 해당 사항에 대해서는 찾기가 힘들어 이 곳 고수분들의 조언을 듣고자 합니다.

아래 코드는 utility의 템플릿이 적용된 Pair 클래스의 오버로딩된 생성자 중 하나입니다.

 template<class _Other1,
        class _Other2,
        class = typename enable_if<is_convertible<_Other1, _Ty1>::value
            && is_convertible<_Other2, _Ty2>::value,
            void>::type>
        pair(_Other1&& _Val1, _Other2&& _Val2)
            _NOEXCEPT_OP((is_nothrow_constructible<_Ty1, _Other1&&>::value
                && is_nothrow_constructible<_Ty2, _Other2&&>::value))
        : first(_STD forward<_Other1>(_Val1)),
                second(_STD forward<_Other2>(_Val2))
        {   // construct from moved values
        }

위의 코드에서 템플릿 정의 부분을 봐주시기 바랍니다. 첫 번째, 두 번째 정의는 이름있는 템플릿 파라메터로 여기까지는 일반적인 템플릿 정의라고 이해하고 있습니다만, 문제는 세 번째의 이름없는 템플릿 파라메터 입니다. 이름없는 템플릿 파라메터의 부분을 제외한 오른쪽 부분은 대강 이해가 됩니다. 아마, is_convertible의 구조체에 2개의 템플릿 인자를 입력받아 두 번째 템플릿 인자로 변환이 될 수 있으면 true를 반환하겠죠(정확히는 integral_constance의 true_type 이겠습니다만..) 역시, 변환 될 수 없으면 false를 반환하는 것으로 생각합니다. 이것의 결과를 enable_if가 받아 특수화된 클래스중 하나를 선택하겠죠. (enable_if 의 두번째 템플릿 인자가 void로 되어있는것으로 보아 enable_if 결과가 중요하지 않은 것 처럼 보입니다만..)

이런식으로 작성된 궁극적인 이유는 새로생긴 좌측값 참조에 대해서 입력된 인자가 좌측값 참조로 넘겨질 것인지 아니면 참조로 넘겨질 것인지 가려내서 특수화된 생성자 중에서 알맞은 생성자를 선택하도록 하는 것이 목적이라고 생각합니다. 왜나하면 저런식으로 작성된 생성자가 참조 특수화 버전과, 좌측값 참조 특수화 버전이 있기 때문이죠.

이름없는 템플릿 파라메터인

class = typename enable_if<is_convertible<_Other1, _Ty1>::value
            && is_convertible<_Other2, _Ty2>::value,
            void>::type

이것이 컴파일 시간에서 어떤 작용을 하는 지와 어떻게 여기에서 참조 버전과 좌측값 참조 버전을 선택 할 수 있었는지 아시는 분들이 있으면 부디 답변을 부탁드리겠습니다!