Template-Template-Funktionsparameter

Question

Für das Leben von mir, ich kann nicht dieses einfache Stück arkane Magie Vorlage an der Arbeit:

template<typename T, int a, int b> 
int f(T v){ 
    return v*a-b; // just do something for example 
} 

template<typename T, int a, int b, template<typename,int,int> class func> 
class C{ 
    int f(){ 
    return func<T,a,b>(3); 
    } 
}; 

int main(){ 
    C<float,3,2, f> c; 
} 

dies möglich ist, ohne Beteiligung functors zu tun?

Answer 1

f soll eine Klasse sein - Sie haben eine Funktion.

Siehe unten:

// Class acts like a function - also known as functor. 
template<typename T, int a, int b> 
class f 
{ 
    int operator()(T v) 
    { 
    return v*a-b; // just do something for example 
    } 
}; 

template<typename T, int a, int b, template<typename,int,int> class func> 
class C 
{ 
    int f() 
    { 
    return func<T,a,b>(3); 
    } 
}; 

int main() 
{ 
    C<float,3,2, f> c; 
} 

... Und die angepasste Version, wenn Sie benötigen Port Legacy-Code (Passt sich die Funktion einer Klasse-Vorlage):

#include <iostream> 


template<typename T, int a, int b> 
int f(T v) 
{ 
    std::cout << "Called" << std::endl; 
    return v*a-b; // just do something for example 
} 

template<typename T, int a, int b, template<typename,int,int> class func> 
struct C 
{ 
    int f() 
    { 
    return func<T,a,b>(3); 
    } 
}; 

template <class T, int a, int b> 
struct FuncAdapt 
{ 
    T x_; 
    template <class U> 
    FuncAdapt(U x) 
    : x_(x) 
    {} 
    operator int() const 
    { 
    return f<T,a,b>(x_); 
    } 
}; 

int main() 
{ 
    C<float,3,2, FuncAdapt > c; 
    c.f(); 
} 

Answer 2

Nein, ist es nicht. Auch die Syntax:

template <typename T, int a, int b, template <typename, int, int> class func> 
                    ^^^^^ 

zeigt, dass ein Argument für einen Template-Template-Parameter eine Klassenvorlage sein muss.

Answer 3

Der Grund Compiler ist beschwerlich ist, dass Sie eine Funktion (f) als Klasse an den letzten Template-Parameter für die Klasse C übergeben.

Da Sie eine Funktion nicht als Vorlageparameter übergeben können, sollten Sie Funktionszeiger oder Funktoren verwenden. Und Funktoren sind definitiv der sauberere Weg, dies zu tun.

Also, obwohl es möglich ist zu erreichen, was Sie wollen, ohne Funktoren zu verwenden, sollten Sie wirklich nicht versuchen.

Wenn Sie Funktionszeiger verwenden Sie etwas wie folgt aussehen wird:

template<typename T, int a, int b, int (*func)(T)> 
class C{ 
    int f(){ 
     return (*func)(3); 
    } 
}; 

int main(){ 
    C< float,3,2,&f<float,3,2> > c; 
} 

In diesem Fall ich glaube nicht, dass Sie den Code-Duplizierung in der Erklärung von c zu beseitigen wäre in der Lage, aber ich könnte falsch liegen.

Answer 4

Sie können es durch eine kleine Tricks lösen:

template<typename T, int a, int b> 
int f(T v){ 
    return v*a-b; // just do something for example 
} 

template<typename T, int, int> 
using func_t = int (*)(T); 

template<typename T, int a, int b, func_t<T, a, b> func> 
class C{ 
    int f(){ 
    return func(3); 
    } 
}; 

C<float,3,2, f<float, 3, 2>> c; 

Zuerst müssen Sie ein Typ-Alias ​​für die Funktion (func_t oben), und Sie müssen leider die Template-Argumente in der Erklärung von c duplizieren.