c++ - 最优雅的可变函数

Question

假设我们有两种类

• 一个输入类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 然后有一个构造函数，它接受各种 Input，并将它们(或它们的引用)存储为成员变量。 Output::get() 然后使用其输入的 get() 方法的返回值进行一些数学计算，并返回一些 Output::result_type 类型的结果。

Answer 1

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

#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();
  };
}

int dummy[] 行归因于@ecatmur ( https://stackoverflow.com/a/12515637/958110 )