最优雅的可变参数

yan*_*ick 5 c++ variadic-functions functor c++11

假设我们有两种类

  • 输入类 Input
    • 定义一种类型 result_type
    • 定义 set(result_type)
  • 输出类 Output
    • 定义一种类型 result_type
    • 定义 result_type get() const
    • 有许多Input类作为成员变量,其输出依赖于它

给定输出类和几个输入类(任意数),请考虑以下过程:

  • 遍历每个输入类并set()使用适当的值调用(事先定义)
  • 调用get()输出类并收集结果.

此过程可视为对函数的调用,该函数将输入的值作为参数返回输出值.

编写在一般情况下构造这种可变参数函数的仿函数.

约束是:C++(很可能是C++ 11),可能不同Input::result_type的任意数量的输入类.注意,Input::result_type不一定与Output::result_type.目标首先应该是效率,但如果代码优雅且可读,则会有很大的好处.

细节:对于那些想知道如何Output相关的人Input,可以想象Input有一个result_type get() const方法,它返回你提供的任何东西set().Output然后有一个构造函数,它接受各种Inputs,并将它们(或它们的引用)存储为成员变量.Output::get()然后通过使用其输入get()方法的返回值进行一些数学运算,并返回一些类型的结果Output::result_type.

yan*_*ick 2

这是我的解决方案,欢迎其他人

#include <functional>

template <class Output, class... Inputs>
std::function<typename Output::result_type(typename Inputs::result_type...)>
make_function(const Output& output, Inputs&... inputs) {
  return[&](typename Inputs::result_type... input_vals) {
    int dummy[]{0, (inputs.set(input_vals),0)...};
    return output.get();
  };
}
Run Code Online (Sandbox Code Playgroud)

int dummy[]行是由于@ecatmur ( /sf/answers/876094621/ )