如何將模板函數作爲模板類參數傳遞？

Question

這裏的東西，它似乎很可能通過一個模板化的結構裏面包含一些靜態函數是這樣的：

template <class T> struct FunctionHolder {}; 

template <> struct FunctionHolder<string> { 
    static void f(const string &s) { 
     cout << "f call " << s << endl; 
    } 
}; 

template <class Key, class Value, class Holder = FunctionHolder<Key>> 
class Foo { 
    public: 
    Foo(Key k) { 
     Holder::f(k); 
    } 
}; 

int main(int argc, char *argv[]) { 
    Foo<string, int> foo = Foo<string, int>("test_string"); 
} 

但是，纔有可能通過直接模板化的功能，而不會被靜態定義的模板化的結構？我已經試過這一點，它不會編譯：

template <class string> static void f(const string &s) { 
    cout << "f call " << k << endl; 
} 

template <class Key, class Value, typename func<Key>> class Foo { 
    public: 
    Foo(Key k) { 
     func(k); 
    } 
}; 

int main(int argc, char *argv[]) { 
    Foo<string, int> foo = Foo<string, int>("test_string"); 
} 

問這個因爲這一切的不冷靜而被迫創建虛擬結構（含一堆靜態功能結構）用作模板類型爲主類。

Answer 1

不幸的是，功能模板不能用作template template arguments;您可以使用函數指針作爲非類型模板參數，例如

template <class Key, class Value, void(*func)(const Key&) = f<Key>> class Foo { 
    public: 
    Foo(Key k) { 
     func(k); 
    } 
}; 

LIVE