是否有可能有一个通用方法接受两个函数fg(返回void和接受相同类型的参数),并返回一个新函数,该函数接受与fg相同类型的参数,并且首先应用f传递的参数,然后g

具体来说,我想定义如下内容:

template <typename FunctionType>
// FunctionType is void(ArgType1 arg1, ArgType2 arg2, ..)
FunctionType CombineTwoFunctions(FunctionType f, FunctionType g) {
  // Using the lambda syntax just for illustration:
  return [f, g](ArgsOf(FunctionType) args) {
     f(args);
     g(args);
  };
}

最佳答案

不是最优化的代码,但是它可以工作。

借助this answer中的make_function

template <typename ...Args>
std::function<void(Args...)> CombineTwoFunctionsHelper(std::function<void(Args...)> f, std::function<void(Args...)> g) {

  return [f, g](Args ...args) {
     f(args...);
     g(args...);
  };
}

template <typename F1, typename F2>
auto CombineTwoFunctions(F1 f1, F2 f2) -> decltype(make_function(f1)) {
  return CombineTwoFunctionsHelper(make_function(f1), make_function(f2));
}

void print1(int i, std::string s) {
    std::cout << "print1 " << i << s << std::endl;
}

void print2(int i, std::string s) {
    std::cout << "print2 " << i << s << std::endl;
}

int main() {
    auto fg = CombineTwoFunctions(print1, print2);
    fg(1, "test");
}

Full code at Coliru

您应该能够通过对参数添加(通用)引用并转发它们以避免复制来改进它。但是请注意,您不能两次移动参数。

正如@ 0x499602D2在评论中所说,C++ 14使它变得更加轻松
template <typename F1, typename F2>
auto CombineTwoFunctions(F1 f, F2 g) {
  return [f, g](auto&& ...args) {
     f(args...);
     g(args...);
  };
}

void print1(int i, std::string s) {
    std::cout << "print1 " << i << s << std::endl;
}

void print2(int i, std::string s) {
    std::cout << "print2 " << i << s << std::endl;
}

int main() {
    auto fg = CombineTwoFunctions(print1, print2);
    fg(1, "test");
}

Full code at Coliru

07-24 09:46
查看更多