클래스 템플릿 외부의 클래스 템플릿 템플릿 함수가 될 수 있습니까?

Question

클래스 템플릿 외부의 클래스 템플릿 템플릿 함수가 될 수 있습니까? 구문은 무엇입니까? 코드에 따라

준다 unable to match function definition to an existing declaration 편집

#include <iostream> 

template <typename T> 
struct Test 
{ 
    template <typename S> 
    void test(const S & t); 

    //this works 
    //template<> void test(const double & t) { std::cout << t << "D \n"; } 

    T member; 
}; 

//this doesn't work 
template <typename T> 
template <> 
void Test<T>::test(const double & t) 
{ 
    std::cout << t << "D \n"; 
} 

int main() 
{ 
    Test<int> t; 
    t.test(7.0); 
} 

MSVC2010에서

답변에 제안 나는 조금 다르게 사용하기 때문에 내가 여기에, 오버로드를 사용할 수있는 방법입니다 :

#include <iostream> 

template <typename T> 
struct Test 
{ 
    template <typename S> 
    void test() { std::cout << "Any type \n"; } 

    template <> 
    void test<double>() { std::cout << "Double! \n"; } 

    T member; 
}; 

int main() 
{ 
    Test<int> t1; 
    Test<int> t2; 
    t1.test<float>(); 
    t2.test<double>(); 
} 

과 나는 struct 외부의 이중화를 원합니다.

왜 이런 식으로 사용합니까? 실제 시나리오에서는 내가 좋아하는 사용되는 팩토리 클래스 구축 :

Factory<SomePolicy> f; 
f.create<MyType>(arg1, arg2, ...) 

을 내가 헤더 파일을 오염하지 않습니다 특정 유형에 대한 create의 전문화가 필요합니다.

Answer 1

외부를 전문화하지 않고 내부 템플릿을 전문화 할 수 있다고 생각하지 않습니다. 그러나 부분 전문화를 사용할 수 있습니다.

편집 : 클래스 만 부분적으로 특수화 된 것으로 보입니다. 다시 한 번 나는 그것을 테스트하지 않았다. 당신은 더 찾을 수 있습니다 here

template <typename T, typename S> 
struct Test 
{ 
    void test(const S &s); 
}; 

template <typename T> 
struct Test<T, float> 
{ 
    void test (const float &s) 
    { 
     <<do something>> 
    } 
} 

Answer 2

내가 아는 한 당신은 할 수 없습니다. 그러나 당신은이처럼 test 기능을 오버로드 할 수 있습니다

당신이 원하는 것과 완전히 동일해야

template <typename T> 
struct Test 
{ 
    template <typename S> 
    void test(const S & t); 

    void test(const double &); // <-- Add this 

    T member; 
}; 

template <typename T> 
// template<> // <-- Remove this 
void Test<T>::test(const double & t) 
{ 
    std::cout << t << "D \n"; 
} 

.