C++实现函数柯里化

1. 代码

需要c++17特性。

#include <tuple>template <typename Function, typename... CapturedArgs>
class curried {
private:using CapturedArgsTuple = std::tuple<std::decay_t<CapturedArgs>...>;template <typename... Args>static auto captured_by_copy (Args &&...args){return std::tuple<std::decay_t<Args>...> (std::forward<Args> (args)...);}public:curried (Function function, CapturedArgs... args) :m_function (function), m_captured (captured_by_copy (std::move (args)...)){}curried (Function function, std::tuple<CapturedArgs...> args) :m_function (function), m_captured (std::move (args)){}template <typename... NewArgs>auto operator() (NewArgs &&...args) const{auto new_args = captured_by_copy (std::forward<NewArgs> (args)...);auto all_args = std::tuple_cat (m_captured, std::move (new_args));if constexpr (std::is_invocable_v<Function, CapturedArgs..., NewArgs...>) {return std::apply (m_function, all_args);} else {return curried<Function, CapturedArgs..., NewArgs...> (m_function, all_args);}}
private:Function m_function;std::tuple<CapturedArgs...> m_captured;
};#include <iostream>
#include <string>void
print (int a, std::string b, double c)
{std::cout << a << "," << b << "," << c << "\n";
}int
main (void)
{auto print_v2 = curried (print);print_v2 (999) (std::string ("hello world")) (3.1415926);auto print_v3 = curried(print,520);print_v3(std::string("I Love You."))(66666);
}