14

テンプレートメタプログラミングを使用して、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;
4

1 に答える 1

4

decurryスペシャライゼーションの実装方法を示すために、クラスの不正バージョンを実装しました。このバージョンは、のフレンドとして宣言されcurry<T>、内部にアクセスし_funて関数のカレーバージョンを元に戻すため、不正行為を行っています。一般的なものを書くことは可能であるはずですが、私はそれにもっと時間をかけたくありませんでした。

decurry実装は次のとおりです。

template <typename _Res, typename... _Args>
class decurry< curry<_Res(_Args...)> > {
public:
    typedef curry<_Res(_Args...)> _Curried;
    typedef typename curry<_Res(_Args...)>::_Fun _Raw;

    decurry(_Curried fn): _fn(fn) {}

    _Res operator() (_Args... rest) {
        return _fn._fun(rest...);
    }
private:
    _Curried _fn;
};

そしてそれは次の行を必要とします：

friend class decurry< curry<_Res(_Arg, _Args...)> >;

class curry< _Res(_Arg, _Args...) >クラスにへのアクセスを与えるために内部curry<T>._fun。

これで、スペシャライゼーションは次のように記述できます。

template <typename _Res, typename _Res2, typename... _Args2, typename... _Args>
class curry< _Res(_Res2(_Args2...), _Args...) >
{
public:
    typedef curry< _Res2(_Args2...) > _Arg;
    typedef std::function< _Res2(_Args2...) > _RawFun;
    typedef std::function< _Res(_RawFun, _Args...) > _Fun;
    typedef curry< _Res(_Args...) > _Ret;

private:
    class apply
    {
    private:
        _Fun _fun;
        _RawFun _arg;

    public:
        apply (_Fun fun, _RawFun 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, decurry<_Arg>(arg))); }
};

テストコードは質問で指定されています：

int test(std::function<int(int,int)> f, int x)
{ return f(3, 4) * x; }

int main ()
{
    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;

    return 0;
}

コード出力は再びIdeone.comにあります。

于 2012-05-03T21:47:03.297 に答える