특수 기능 템플릿 구문

Question

다음과 같은 접근 방식이 있습니까? 내가하지만, 완전히 다른 이유 :

이

Answer 1

예, 거기에 대한 내 자신의 문자열 유형에 대한 스왑을 전문으로하는 시도 swap<::string>이 작동하지 않는 것으로 나타났습니다 때

// approach 1 
namespace std 
{ 
    template<> 
    void swap<Foo>(Foo& x, Foo& y) // note the <Foo> 
    { 
     x.swap(y); 
    } 
} 

// approach 2 
namespace std 
{ 
    template<> 
    void swap(Foo& x, Foo& y) 
    { 
     x.swap(y); 
    } 
} 

나는이에 stumpled. 그러나 그 특별한 예에서는 아닙니다. 매개 변수가 도출되지 않으면, 당신은 <type>없이이 T 매개 변수 목록에서 무엇을 추론 할 수 없기 때문에 것을 전문으로 할 수없는 차이

template<typename T> void f(typename T::type t); 

을 만들 수 있습니다. 귀하의 경우 물론

struct MyType { typedef int type; }; 

// needs <MyType> 
template<> void f<MyType>(int t) { } 

, 그것은 당신의 문제를 일으키는 [ 같은 의미 년대 소리를 나타내는 두 글자 <:입니다. 이 문제를 방지하려면 <   ::string>과 같은 공백을 넣으십시오.

Answer 2

또한이 경우 전문화 할 필요가 없으며 과부하가 걸리고 행복 할 것입니다.

namespace std 
{ 
    void swap(Foo& x, Foo& y) 
    { 
     x.swap(y); 
    } 
}