c+템 플 릿 함수 실례 화 된 편 서 메커니즘

쓸데없는 소리
오늘 stackoverflow 에서 c+템 플 릿 specialization 에 관 한 문 제 를 보 았 습 니 다.
http://stackoverflow.com/questions/18283851/template-specialization-in-case-of-multiple-base-templates-in-c/18283933?noredirect=1#comment26823443_18283933
그의 영 어 는 그다지 표준적 이지 않 은 것 같 지만 나 보다 훨씬 낫다.쓸데없는 말 은 많이 하지 않 고,문 제 는 아래 와 같이 약술 한다.

//#1
template<class X> void foo(X a)
{
    cout << "Template 1" << endl;
}

//#2
template<class X> void foo(X *a)
{ 
    cout << "Template 2" << endl;
}

현재 특례 화 함 수 를 정의 하면 다음 과 같 습 니 다.

template<> void foo<>(int *a)
{   
    cout << "Specialization 1" << endl;
}

그러면 이 친구 의 문 제 는 다음 과 같다.
1 이 함 수 는 template 에 속 합 니 다. #1 은 template 에 속 합 니까? #2 는?
2 이 특례 화가 template 에 정의 된다 면 #2 이전 과 이후 결론 에 차이 가 있 을 까?
사실 c++템 플 릿 의 내용 을 보 았 지만 복잡 한 템 플 릿 을 별로 사용 하지 않 았 습 니 다.템 플 릿 함수 만 간단하게 써 서 서로 다른 매개 변수 에 적응 할 수 있 습 니 다. 그래서 템 플 릿 특례 화 에 대해 깊이 알 지 못 했 습 니 다. 편 서 체제 에 대해 서도 아무런 개념 이 없다.마침 이 친구 가 이런 문 제 를 물 었 다.나 는 대답 하려 고 했 지만 어 쩔 수 없 었 다.마침 한 큰 신 이 그 를 도와 대답 했다.그래서 나 도 이 큰 신 에 게 물 었 다.그 는 이 편 서 화 체 제 는 템 플 릿 에서 비교적 복잡 한 개념 이 고 내부 와 관련 된 것 이 비교적 많다 고 말 했다.이것 을 알 고 나 서 나 는 약간의 자 료 를 구 글 에 써 서 이 작은 깨 달 음 을 썼 다.
 
2:편 서화(Partial Ordering)
이렇게 번역 하 는 거 겠 지!파 티 얼 이 뭔 지 먼저 볼 게 요. ordering？참고 자료 1 의 소개 참조:

A function template specialization might be ambiguous because template argument deduction might associate the specialization with

more than one of the overloaded definitions. The compiler will then choose the definition that is the most specialized. This process of selecting a function template definition is called partial ordering

 
함수 템 플 릿 을 사용 할 때 여러 개의 리 셋 된 특례 화 함 수 를 정의 하면 모호 한 호출 을 초래 할 수 있 습 니 다.따라서 이 때 컴 파일 러 는 그 중에서 가장 특별한 함수 정 의 를 선택 하여 호출 합 니 다.이 선택의 메커니즘 을 편 서화 라 고 한다.
 
소개
소개 하기 전에 가장 특례 화 라 는 것 이 무엇 인지 먼저 봅 시다.예 를 들 어:

//#1
template<class T> void f(T);

//#2
template<class T> void f(T*);

//#3
template<class T> void f(const T*);

상기 세 가지 템 플 릿 에서 특례 화 정 도 는 큰 것 에서 작은 것 으로 다음 과 같다.

#3 > #2 > #1

만약 지금 이러한 호출 이 있다 면:

int *p = NULL;

f(p);

그러면 컴 파일 러 는\#1 템 플 릿 이 아 닌\#2 템 플 릿 을 선택 할 것 입 니 다.\#2 템 플 릿 이\#1 템 플 릿 보다 더 특례 화 되 기 때 문 입 니 다.왜\#3 템 플 릿 을 선택 하지 않 습 니까?형식 이 일치 하 는 템 플 릿 을 우선 선택 하 는 규칙 이 있 기 때문에\#3 번 템 플 릿 을 호출 하려 면 암시 적 변환 이 필요 합 니 다.
그리고 다음 문 제 는 컴 파일 러 가\#2 템 플 릿 이\#1 템 플 릿 보다 더 특례 화 된 것 을 어떻게 알 았 느 냐 는 것 이다.다음은 제 가 말씀 드 리 고 싶 은 partial 입 니 다. ordering。컴 파 일 러 는 다음 과 같은 방법 으로 판단 한다.

1          ，T1 T2

2         X    T1   

3   X    T1     ，  T2， T2          。         。

4    ，  X  T2   ，  T2       T1，  T1    。

5            T1        T2    ，       ，        T1  T2    。                 ，            ，          。

혼동 을 일 으 킬 수 있 는 두 가지 예 를 들 자.예 를 들 면:
(1)

template<class T> void g(T) { }

template<class T> void g(T&) { }

이 두 템 플 릿 의 매개 변 수 는 서로 대체 할 수 있 기 때문에 컴 파일 러 가 잘못 보고 할 수 있 습 니 다.
 
(2)

template<class T> void h(T) { }

template<class T> void h(T, ...) { } //error C2668: 'h' : ambiguous call to overloaded function

가 변 매개 변 수 는 컴 파 일 러 실행 partial 을 일 으 키 지 않 습 니 다. ordering 규칙 이기 때문에 이 두 템 플 릿 도 나 쁜 의 미 를 일 으 킬 수 있 습 니 다.
 
사용
partial ordering 의 판단 실례:

1       ，               ，      

2   T*    T        。         X*       T   ，        T    ，    X*   。

3 const T T    ，    。

4 const T* const T    ，       。

 예 를 들 어:

template <class T> void f(T) {

   cout<<"f(T):Less specialized function called"<<endl;

}

 

template <class T> void f(T*) {

   cout<<"f(T*):More specialized function called"<<endl;

}

 

template <class T> void f(const T*) {

  cout<<"f(const T*):Even more specialized function for const T*"<<endl;

}

int _tmain(int argc, _TCHAR* argv[])

{

   int i =0;

   const int j = 0;

   int *pi = &i;

   const int *cpi = &j;

 

   f(i);   // Calls less specialized function.

   f(pi);  // Calls more specialized function.

   f(cpi); // Calls even more specialized function.

   // Without partial ordering, these calls would be ambiguous.

}

어떤 상황 에서 컴 파일 러 가 이러한 Partial 을 실행 합 니까? Ordering？문헌 1 은 몇 가지 상황 을 제시 했다.

· Calling a function template specialization that requires overload resolution.

· Taking the address of a function template specialization.

· When a friend function declaration, an explicit instantiation, or explicit specialization refers to a function template specialization.

· Determining the appropriate deallocation function that is also a function template for a given placement operator new.

(1) 함수 템 플 릿 특례 를 호출 할 때 재 부팅 결의 와 관련 이 있 습 니 다.
(2) 함수 템 플 릿 의 특별한 주소 가 져 오기
(3) 친구 함수 가 설명 하거나 실례 화 를 표시 하거나 함수 템 플 릿 을 참조 하 는 디 스 플레이 특례 화
(4) new 에서 나 온 메모 리 를 없 앨 때(이 new 함수 도 템 플 릿 함수 입 니 다)해당 하 는 방출 함 수 를 어떻게 선택 하 는 지도 parial 을 일 으 킬 수 있 습 니 다. ordering。
 
 
REFERENCE:
1 http://publib.boulder.ibm.com/infocenter/comphelp/v7v91/index.jsp?topic=%2Fcom.ibm.vacpp7a.doc%2Flanguage%2Fref%2Fclrc16part_ord_fn_tmpl.htm
2 http://msdn.microsoft.com/en-us/library/zaycz069.aspx
3 http://www.linuxtopia.org/online_books/programming_books/c++_practical_programming/c++_practical_programming_117.html
4 http://stackoverflow.com/questions/17005985/whats-the-partial-ordering-procedure-in-template-deduction