Skip to content

Latest commit

 

History

History
128 lines (95 loc) · 3.73 KB

partial_eval.md

File metadata and controls

128 lines (95 loc) · 3.73 KB
Raw

カリー化／部分適用

カリー化と部分適用は、Boost Bind LibraryとBoost Function Libraryを組み合わせることで表現できる。

インデックス

部分適用(partial application)

boost::bind()関数で、あとから指定したい引数に、プレースホルダーと呼ばれる値を指定することで、関数の一部の引数を先に渡しておき、残りをあとから指定して呼び出す、ということができる。

#include <iostream>
#include <boost/function.hpp>
#include <boost/bind.hpp>

int add(int a, int b, int c)
{
    return a + b + c;
}

int main()
{
    // 第1引数のみを先に渡す
    boost::function<int(int, int)> f = boost::bind(add, 2, _1, _2);

    // 残りの引数を渡して関数を呼び出す
    const int result = f(3, 4);

    std::cout << result << std::endl;
}

実行結果：

9

_1の指定は、「boost::bind()によって返された関数オブジェクトの第1引数を使用する」ということを意味する。

この場合、boost::bind()によって返された関数オブジェクトの第1引数3を、add()関数の_1を指定した位置である第2引数として使用している。

カリー化(currying)+適用(applying)

カリー化は、boost::bind()を使用して、第1引数のみを部分適用し、第2引数をプレースホルダーにすることで疑似的に表現できる。

カリー化のみを行う関数は用意されていないので、自分で作る必要がある(参考: http://ideone.com/qtXeA )。

#include <iostream>
#include <boost/function.hpp>
#include <boost/bind.hpp>

int add(int a, int b)
{
    return a + b;
}

int main()
{
    // add関数の第1引数に2が渡される関数オブジェクトを返し、
    // その関数オブジェクトにさらに引数を渡して最終結果を得る。
    const int result = boost::bind(add, 2, _1)(3);

    std::cout << result << std::endl;
}

実行結果：

5

メンバ関数のレシーバを部分適用する

boost::bind()は、メンバ関数ポインタも扱うことができる。

その場合、第1引数にメンバ関数ポインタ、第2引数にメンバ関数のレシーバ(そのメンバ関数を持つオブジェクト)、残りの引数としてメンバ関数の引数を指定する。

レシーバを部分適用することで、その返される関数オブジェクトを保持するクラスに、レシーバーのクラスへの依存関係を持たせることのない設計が可能となる。

#include <iostream>
#include <boost/function.hpp>
#include <boost/bind.hpp>

class A {
    boost::function<void()> f_; // Bクラスには依存しない
public:
    void set_func(boost::function<void()> f)
    {
        f_ = f;
    }

    void invoke()
    {
        f_(); // B::print()を呼び出し
    }
};

class B {
public:
    void print() const
    {
        std::cout << "B::print()" << std::endl;
    }
};

int main()
{
    A a;
    B b;

    // B::print()関数のレシーバを部分評価して他のクラスに渡す
    a.set_func(boost::bind(&B::print, &b));

    // 呼び出し
    a.invoke();
}

実行結果：

B::print()