2 
// 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的类型？

4

2 回答 2

2

使用函数对象。这是一个可编译的示例：

#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;
}
于 2012-04-25T22:02:57.840 回答
1

我认为 的语法不template <typename> typename F正确，标准在 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&&)。

于 2012-04-26T05:55:53.267 回答