Я только что придумал (еще одну! )реализация каррирования функций на C++ с использованием шаблонного метапрограммирования. (Я почти уверен, что другие реализации лучше/более полны, чем моя, но я делаю это в учебных целях, и в этом случае я считаю оправданным изобретение велосипеда.)
Моя реализация каррирования функции, включая тестовый пример, выглядит следующим образом:
#include <iostream>
#include <functional>
template <typename> class curry;
template <typename _Res>
class curry< _Res() >
{
public:
typedef std::function< _Res() > _Fun;
typedef _Res _Ret;
private:
_Fun _fun;
public:
explicit curry (_Fun fun)
: _fun(fun) { }
operator _Ret ()
{ return _fun(); }
};
template <typename _Res, typename _Arg, typename... _Args>
class curry< _Res(_Arg, _Args...) >
{
public:
typedef std::function< _Res(_Arg, _Args...) > _Fun;
typedef curry< _Res(_Args...) > _Ret;
private:
class apply
{
private:
_Fun _fun;
_Arg _arg;
public:
apply (_Fun fun, _Arg arg)
: _fun(fun), _arg(arg) { }
_Res operator() (_Args... args)
{ return _fun(_arg, args...); }
};
private:
_Fun _fun;
public:
explicit curry (_Fun fun)
: _fun(fun) { }
_Ret operator() (_Arg arg)
{ return _Ret(apply(_fun, arg)); }
};
int main ()
{
auto plus_xy = curry<int(int,int)>(std::plus<int>());
auto plus_2x = plus_xy(2);
auto plus_24 = plus_2x(4);
std::cout << plus_24 << std::endl;
return 0;
}
Эта реализация каррирования функции является "поверхностной" в следующем смысле :Если исходная подпись std::function
...
(arg1, arg2, arg3...) -> res
] Тогда сигнатура каррируемой функции будет...
arg1 -> arg2 -> arg3 ->... -> res
Однако, если какие-либо аргументы или возвращаемый тип сами по себе могут быть каррированы, они не каррируются. Например, если исходная подпись std::function
равна...
(((arg1, arg2) -> tmp), arg3) -> res
Тогда подпись каррированной функции будет...
((arg1, arg2) -> tmp) -> arg3 -> res
Вместо...
(arg1 -> arg2 -> tmp) -> arg3 -> res
Чего я и хочу. Поэтому я хотел бы иметь «глубокую» реализацию каррирования. Кто-нибудь знает, как я мог написать это?
@vhallac:
Это тип функции, которую следует передать конструкторуcurry<int(int(int,int),int)>
:
int test(std::function<int(int,int)> f, int x)
{ return f(3, 4) * x; }
Тогда можно будет сделать следующее:
auto func_xy = curry<int(int(int,int),int)>(test);
auto plus_xy = curry<int(int,int)>(std::plus<int>());
auto func_px = func_xy(plus_xy);
auto func_p5 = func_px(5);
std::cout << func_p5 << std::endl;