boost :: functionとboost :: bindのしくみ

Question 1

コード全体にマジックボックスが散在しているのは嫌いです... function <>のパラメータが完全に異なるパラメータが渡された場合でも、基本的にすべての関数を関数オブジェクトにマップできるようにするには、これら2つのクラスがどのように機能するのでしょうか。 boost::bind

さまざまな呼び出し規約でも機能します（つまり、メンバーメソッドは__thiscallVCの下にありますが、「通常の」関数は通常、__cdeclまたは__stdcallCとの互換性が必要な関数用です。

Question 2

boost::function使って何ができますoperator()右の署名とをパラメータとして拘束されることに、そしてあなたのバインドの結果はパラメータで呼び出すことができますintので、それが結合することができますfunction<void(int)>。

これがその仕組みです（この説明は同様に適用されますstd::function）：

boost::bind(&klass::member, instance, 0, _1) このようなオブジェクトを返します

struct unspecified_type
{
  ... some members ...
  return_type operator()(int i) const { return instance->*&klass::member(0, i);
}

ここで、return_typeとintはの署名から推測され、klass::member関数ポインタとバインドされたパラメータは実際にはオブジェクトに格納されますが、それは重要ではありません

現在、boost::function型チェックは行いません。テンプレートパラメータで指定したオブジェクトと署名を受け取り、署名に従って呼び出し可能なオブジェクトを作成し、オブジェクトを呼び出します。それが不可能な場合は、コンパイルエラーです。

boost::function 実際には次のようなオブジェクトです：

template <class Sig>
class function
{
  function_impl<Sig>* f;
public:
  return_type operator()(argument_type arg0) const { return (*f)(arg0); }
};

ここで、return_typeとは、argument_typeから抽出されSig、そしてf動的ヒープ上に割り当てられています。これは、サイズの異なる完全に無関係なオブジェクトをにバインドできるようにするために必要ですboost::function。

function_impl 単なる抽象クラスです

template <class Sig>
class function_impl
{
public:
  virtual return_type operator()(argument_type arg0) const=0;
};

すべての作業を行うクラスは、から派生した具象クラスboost::functionです。割り当てるオブジェクトのタイプごとに1つありますboost::function

template <class Sig, class Object>
class function_impl_concrete : public function_impl<Sig>
{
  Object o
public:
  virtual return_type operator()(argument_type arg0) const=0 { return o(arg0); }
};

つまり、あなたの場合、ブースト機能への割り当ては次のようになります。

タイプをインスタンス化しますfunction_impl_concrete<void(int), unspecified_type>（もちろん、コンパイル時です）
ヒープ上にそのタイプの新しいオブジェクトを作成します
このオブジェクトをboost :: functionのfメンバーに割り当てます

関数オブジェクトを呼び出すと、実装オブジェクトの仮想関数が呼び出され、元の関数に呼び出されます。

免責事項：この説明の名前は意図的に構成されていることに注意してください。実在の人物やキャラクターとの類似点...あなたはそれを知っています。目的は、原則を説明することでした。