C# と VB.NET の質問掲示板

ネタ元：http://pc11.2ch.net/test/read.cgi/tech/1232367742/

以下の様なクラスがあった時
struct A
{
	virtual void hoge() = 0;
};

struct B : public A
{
	void hoge()
	{
		std::cout << "hoge\n";
	}
};

struct C
{
	void func(A& a)
	{
		a.hoge();
	}
};

以下のmainを実行する
int main()
{
	C c;
	A* b = new B;

	boost::bind(&C::func, c, _1)(*b); // ok

	boost::lambda::bind(&C::func, c, *b); // error 抽象クラスをインスタンス化できません
	boost::lambda::bind(&C::func, boost::ref(c), boost::ref(*b)); // error 抽象クラスをインスタンス化できません
	boost::lambda::bind(&C::func, boost::lambda::var(c), boost::lambda::var(*b));　// error 抽象クラスをインスタンス化できません

	boost::lambda::bind(&C::func, c, boost::lambda::var(boost::ref(*b))); // ok
}

boost::lambda::bind(&C::func, c, boost::lambda::var(boost::ref(*b))); でコンパイルが通る理由を教えてください。
なぜ、これの場合「抽象クラスをインスタンス化できません」のエラーが発生しないのでしょうか？

bindのパラメータがCopyConstructibleを要求するからじゃないですか。
refはoperator T&()が呼ばれたときに、内部で持ってる参照を取り出すので

A a = boost::ref(*b);

となったときにはコピーが発生してしまいます。
bindは部分評価のために、パラメータで受け取った
関数オブジェクトの引数をメンバとして持っておくので
そのときに、上記のようなコピーが発生してるんだと思います。
varも同じように参照にしてるみたいですが、2重に参照にすることで
コピー防止になってるんじゃないかと。

あー、でもGCC 4.4に入ってるC++0xのbindとrefだとこれコンパイル通りますね。

bind(&C::func, c, ref(*b)); // OK

バグかなー。