명시 적 인스턴스화

Question

C에서

++이 기능에 대한 템플릿, 모두 회원 무료

template <void (*F)()> void function1(); 
template <void (MyClass::*M)()> void function2(); 

을 만들고

function1 <&fn>(); 
function2 <&MyClass::doSomething>(); 

에게 명시 적으로 내 질문에 그것들을 초기화 할 수있다 템플릿 인수 자체가 템플릿에서 인스턴스화되는 경우입니다.

template <typename R, typename C, R (C::*M)()> void function3(); 

function3을 명시 적으로 인스턴스화하는 방법 (가능한 경우)?

Answer 1

그냥 수행

function3<void, MyClass, &MyClass::doSomething>(); 

구문은 단지 다른 경우로이 경우 동일합니다.

전체 컴파일 가능한 예 :

#include <iostream> 
class MyClass { 
public: 
    void doSomething() { 
     std::cout << "doSomething\n"; 
    } 
}; 
void fn() { 
    std::cout << "fn\n"; 
} 
template <void (*F)()> void function1() { 
    F(); 
} 
template <void (MyClass::*M)()> void function2() { 
    (MyClass().*M)(); 
} 
template <typename R, typename C, R (C::*M)()> void function3() { 
    (C().*M)(); 
} 
int main() { 
    function1<&fn>(); 
    function2<&MyClass::doSomething>(); 
    function3<void, MyClass, &MyClass::doSomething>(); 
} 

인쇄 :

이

fn 
doSomething 
doSomething 

Answer 2

struct MyClass 
{ 
     int doSomething() { return 1; } 
}; 

template <typename R, typename C, R (C::*M)()> 
R function3(C* c) 
{ 
     return ((c->*M)()); 
} 

int main() 
{ 
     typedef decltype(MyClass().doSomething()) R_type; 
     MyClass cls; 
     function3<R_type, MyClass, &MyClass::doSomething>(&cls); // instantiation 
     return 0; 
}