テンプレートテンプレート関数の可変パラメータを展開しますか？

Question

// some arbitrary function 
template<typename T> 
void log(T&& obj) 
{ 
    std::cout << obj << std::endl;  
} 

// arbitrary transformation 
template<typename T> 
T convert(T&& obj) { 
    return obj; 
} 

template<template <typename> typename F, typename... T> 
void callOn(F<T> func, /// issue: what's the type of func?     
      T&&... params) 
{ 
    func(std::forward<T>(convert(std::forward<T>(params)))...); 
} 

int main() 
{ 
    callOn(log, -1, -2.0);  
    return 0; 
} 

これはまったく可能ですか？

コンパイラが「callOn（、.. ..」）の呼び出しに一致する関数がありません。どうして ？

更新：仮定するログは

template<typename T> 
void log(T&& value) { std::cout << value << std::endl; } 

template<typename First, typename... Rest> 
void log(First&& f, Rest&&... rest) 
{ 
    std::cout << f << ","; 
    log(std::forward<Rest>(rest)...); 
} 

単項関数ではありませんcallOnは、ログの種類が一致しない「テンプレート」と入力取りますか？ funcの種類を指定するには？

Answer 1

関数オブジェクトを使用します。ここでは、コンパイルの例です：

#include <utility> 
#include <iostream> 

struct Log 
{ 
    template<typename T> void operator()(T&& t) { 
     std::cout << t << std::endl; 
    } 

    template<typename T, typename... Rest> void operator()(T&& t, Rest&&... rest) 
    { 
     std::cout << t << ", "; 
     (*this)(std::forward<Rest>(rest)...); 
    } 
}; 

template<typename T> 
T convert(T&& obj) { 
    return obj; 
} 

template<typename F, typename... T> 
void callOn(F funcobj, T&&... params) 
{ 
    funcobj(std::forward<T>(convert(std::forward<T>(params)))...); 
} 

int main() 
{ 
    callOn(Log(), -1, -2.17, "abc"); 
    return 0; 
} 

Answer 2

私はtemplate <typename> typename Fの構文が正しいとは思わない、とStandardは、テンプレートテンプレートパラメータのテンプレート引数は名前のものでなければならない」という14.3.3/1で指定しましたクラステンプレートまたはエイリアステンプレート "であり、関数テンプレートではありません。あなたは関数テンプレートを渡したい場合は、関数へのポインタなどのパラメータを宣言することができます。

template<typename... T> 
void callOn(void (*func)(T&&...params), 
      T&&... params) 
{ 
    //same as before 
} 

そしてcallOn(log, -1, -2.0);が呼び出されたときに、Tのタイプはlogからではなく、{-1、-2.0から推定されていません}を{int、double}とすると、funcはlog<int, double>(int&&, double&&)を指すポインタから初期化されます。