返回 C++ 中函数的最后一个参数的通用包装器

Question

我们已经编写了一个大型库函数，其原型大多如下所示：

void my_fun(
  const in_class & in_param_1, 
  const in_class & in_param_2,
  const in_class & in_param_3,
  out_class & out_param);

是否有一种通用方法来包装这些函数，以便以下内容等效（假设 out_param 只写入 my_fun 中）：

out_class my_out;
my_fun(my_in1,my_in2,my_in3,my_out);

以及

out_class my_out = generic_wrapper(&my_fun,my_in1,my_in2,my_in3);

如何编写这样一个 generic_wrapper？如果这是可能的，也可以编写它，以便输入参数的数量是可变的，这样我就可以将它与 my_fun2 一起使用，它可能需要 4 个 in_param_ 的？

Answer 1

考虑所有情况：

template<class T1, class Out>
Out generic_wrapper(void (*f)(const T1 &, Out &), const T1 & t1) { 
    Out out; 
    f(t1,out); 
    return out;
}

template<class T1, class T2, class Out>
Out generic_wrapper(void (*f)(const T1 &, const T2 &, Out &), const T1 & t1, const T1 & t2) { 
    Out out; 
    f(t1,t2,out); 
    return out;
}

// .....

template<class T1, class T2, class T3, class T4, class T5, class Out>
Out generic_wrapper(void (*f)(const T1 &, const T2 &, const T3 &, const T4 &, const T5 &, Out &), const T1 & t1, const T1 & t2, const T3 & t3, const T4 & t4, const T5 & t5) { 
    Out out; 
    f(t1,t2,t3,t4,t5,out); 
    return out;
}

Answer 2

使用 C++11 的可变参数模板，可以像这样实现包装器：

template <class Func, class ...Args>
typename last_argument_type<Func>::type wrapper(Func f, Args&& ...args)
{
    typename last_argument_type<Func>::type result;
    f(std::forward<Args>(args)..., result);
    return result;
}

并且我已将 last_argument_type 实现为：

//typedefs last type in T... as type
template <class ...T>
struct last_type;

template <class T, class ...U>
struct last_type<T, U...> { typedef typename last_type<U...>::type type; };

template <class T>
struct last_type<T> { typedef T type; };

//typedefs the type of the last argument of a function as type
//removes reference 
//e.g void(int, float, double&) -> type = double
template <class ...Args>
struct last_argument_type;

template <class Ret, class ...Args>
struct last_argument_type<Ret(*)(Args...)> {
    typedef typename std::remove_reference<typename last_type<Args...>::type>::type type;
};

完整示例位于 http://ideone.com/ef3zD

Answer 3

在 C++0x 中，我们还可以尝试使用可变参数模板：

template <class Out, class... Ins>
Out generic_wrapper(void (*fun)(const Ins&... , Out&), const Ins&... ins)
{
    Out out;
    fun(ins..., out);
    return out;
}

但我无法在不明确指定模板参数的情况下使用它（GCC 4.6.1）：

int main()
{
    in_class in;
    out_class out1a = generic_wrapper(my_fun_1, in); // fails to compile...
    out_class out1b = generic_wrapper<out_class, in_class>(my_fun_1, in); // works...
    return 0;
}