명시 적 템플릿 함수 및 메서드 전문화

Question

나는 명확한 답을 찾고 있었고, 웹에서 약간의 부분을 잡아 냈습니다.

나는 함수를 가지고 있으며, 변수에 따라 다르게 행동해야한다. 함수는 인수를 취하지 않으므로 오버로드가 작동하지 않아 템플릿 전문화가 이루어집니다. 예 :

//Calls to this function would work like this: 
int a = f(); 
int b = f<int>(); 
int c = f<char>(); 
//... 

먼저 문법적으로 가능합니까? 나는 그것이있는 것처럼 느낀다. 계속.

이 기능을 정의하는 데 문제가 있습니다. 명시 적 전문화를 위해 구문에 매달렸 기 때문에. 여러 가지 접근법을 시도했지만, 아직 간단한 예제를 얻지 못했습니다.

두 번째로 (필연적으로) 해당 템플릿 함수를 (템플릿이 아닌) 클래스의 템플릿 메서드로 만들려고합니다. 내가 그 다리에 올 때 나는 그 다리를 건너 죠.

감사합니다,
이안

Answer 1

글쎄, 그것은 가능하지만 할 수있는 더 좋은 것 중 하나가 아닙니다. , http://www.gotw.ca/gotw/049.htm

Answer 2

우선 심지어 문법적으로 가능하다 :

template< typename T > int f(){ ... } 

template<> int f<int>(){ ... } 
template<> int f<char>(){ ... } 

일부 관련 독서 : 명시 템플릿 기능 전문화 여기에 다소 어두운 구석의,하지만 당신이 그것을하는 방법이다? 나는 그것이있는 것처럼 느낀다.

그것은하지만, 지나치게 복잡하지 않는 것을 –이 단순한 오버로드 필요 :

int f() 
{ 
    return /* default, typeless implementation */; 
} 

template<typename T> 
int f() 
{ 
    return /* type-specific implementation */; 
} 

template<> 
int f<char>() 
{ 
    return /* char implementation */; 
} 

template<> 
int f<int>() 
{ 
    return /* int implementation */; 
}