Restituire la funzione pointer-to-member (senza typedefs)

Question

Compilando su C++ 03, ho tentato di scrivere una funzione template di test che restituisce una funzione pointer-to-member di una funzione membro che restituisce int , e prende due argomenti float:

template<typename TemplateClass> 
int (TemplateClass::*)(float,float) Testtest(TemplateClass &A) 
{ 
    return &TemplateClass::Function; 
} 

Ma, naturalmente, non importa ciò che le variazioni sulla sintassi puntatore-a-membro funzione che uso, il compilatore si lamenta di errori di inizializzazione. Typedef, sebbene funzioni con classi conosciute, per ovvi motivi (conflitti di denominazione), non accetta gli argomenti della classe template per le classi che non posso sapere in anticipo e che probabilmente useranno la stessa funzione.

Che modo non tipografico esiste per ottenere questa funzione per compilare e restituire una funzione puntatore-membro?

Answer 1

di dichiararla senza un tipo alias, senza detrazione tipo, e senza un tipo di ritorno finale:

template<typename TemplateClass> 
int (TemplateClass::* Testtest(TemplateClass &A))(float,float) 

Ma naturalmente questo non è ciò che si userebbe nel codice reale. Invece si dovrebbe usare un alias template:

template<typename T> 
using return_type = int (T::*)(float,float); 

template<typename TemplateClass> 
return_type<TemplateClass> Testtest(TemplateClass &A) 

Oppure torna tipo deduzione in C++ 14:

template<typename TemplateClass> 
auto Testtest(TemplateClass &A) 

O un tipo di ritorno finale (in C++ 11):

template<typename TemplateClass> 
auto Testtest(TemplateClass &A) -> int (TemplateClass::*)(float,float) 

Answer 2

int (Class::*f())(float,float); 

f è la funzione di prendere senza argomenti che tornano puntatore a funzione membro della classe Class takinf 2 galleggianti e di ritorno int.

e il modello versione:

  template <typename Type> 
     int (Type::*f())(float,float); 

Answer 3

È necessario questo prototipo:

template<typename TemplateClass> 
int (TemplateClass::*Testtest(TemplateClass &A)) (float,float) { } 

Answer 4

Rifiuto la premessa della tua domanda. Usa typedef. Oppure, in particolare, un tipo di caratteristica:

template <class T, class F> 
struct make_mem_fun { 
    typedef F T::*type; 
}; 

template<typename TemplateClass> 
typename make_mem_fun<TemplateClass, int(float, float)>::type 
Testtest(TemplateClass &A) 
{ 
    return &TemplateClass::Function; 
} 

Questo è il modo più semplice da capire che la sintassi contorta del ritorno in realtà il tipo. Con C++ 11, possiamo trasformarlo in un alias per eliminare il materiale typename ::type.