Boost C++ 库

函数包装器只需通过使用所需的返回类型和参数类型（以 C++ 函数类型形式表示）来实例化 function 类模板即可定义。可以提供任意数量的参数，直到某个实现定义的限制（默认为 10）。以下代码声明了一个函数对象包装器 f，该包装器接受两个 int 参数并返回一个 float。

boost::function<float (int x, int y)> f;

boost::function2<float, int, int> f;

默认情况下，函数对象包装器是空的，因此我们可以创建一个函数对象来赋值给 f。

struct int_div { 
  float operator()(int x, int y) const { return ((float)x)/y; }; 
};

f = int_div();

现在我们可以使用 f 来执行底层函数对象 int_div。

std::cout << f(5, 3) << std::endl;

我们可以将任何兼容的函数对象赋值给 f。如果 int_div 被声明为接受两个 long 操作数，那么参数的隐式转换将在不经过用户干预的情况下被应用。参数类型的唯一限制是它们必须是 CopyConstructible 的，因此我们甚至可以使用引用和数组。

boost::function<void (int values[], int n, int& sum, float& avg)> sum_avg;

boost::function4<void, int*, int, int&, float&> sum_avg;

void do_sum_avg(int values[], int n, int& sum, float& avg)
{
  sum = 0;
  for (int i = 0; i < n; i++)
    sum += values[i];
  avg = (float)sum / n;
}

sum_avg = &do_sum_avg;

调用一个实际上不包含函数对象的函数对象包装器是一种先决条件违规，类似于尝试通过空函数指针调用，并且会抛出 bad_function_call 异常）。我们可以通过在布尔上下文中（如果包装器非空则评估为 true）使用它，或将其与 0 进行比较来检查一个空的函数对象包装器。例如：

if (f)
  std::cout << f(5, 3) << std::endl;
else
  std::cout << "f has no target, so it is unsafe to call" << std::endl;

或者，empty() 方法将返回包装器是否为空。

最后，我们可以通过将其赋值给 0 或调用 clear() 成员函数来清除函数目标，例如：

f = 0;

自由函数指针可以被视为具有 const 函数调用运算符的单例函数对象，因此可以直接与函数对象包装器一起使用。

float mul_ints(int x, int y) { return ((float)x) * y; }

f = &mul_ints;

请注意，除非您碰巧使用的是 Microsoft Visual C++ 6 版本，否则 & 并非真正必需。

在许多系统中，回调经常调用特定对象的成员函数。这通常被称为“参数绑定”，超出了 Boost.Function 的范围。然而，直接使用成员函数是支持的，因此以下代码是有效的：

struct X {
  int foo(int);
};

boost::function<int (X*, int)> f;

f = &X::foo;
  
X x;
f(&x, 5);

boost::function2<int, X*, int> f;

f = &X::foo;
  
X x;
f(&x, 5);

存在几个库支持参数绑定。下面总结了其中三个：

在某些情况下，复制 Boost.Function 函数对象会很昂贵（或在语义上不正确）。在这种情况下，可以要求 Boost.Function 只保留对实际函数对象的引用。这是通过使用 ref 和 cref 函数来包装函数对象的引用来实现的。

stateful_type a_function_object;
boost::function<int (int)> f;
f = boost::ref(a_function_object);

boost::function<int (int)> f2(f);

stateful_type a_function_object;
boost::function1<int, int> f;
f = boost::ref(a_function_object);

boost::function1<int, int> f2(f);

在这里，f 不会复制 a_function_object，当 f2 被指向 f 的 a_function_object 的引用时，它也不会复制。此外，在使用函数对象引用时，Boost.Function 在赋值或构造时不会抛出异常。

函数对象包装器可以通过 == 或 != 与可以存储在包装器中的任何函数对象进行比较。如果函数对象包装器包含该类型的函数对象，它将被与给定的函数对象进行比较（该函数对象必须是 EqualityComparable 或已重载 boost::function_equal）。例如：

int compute_with_X(X*, int);

f = &X::foo;
assert(f == &X::foo);
assert(&compute_with_X != f);

当与 reference_wrapper 的实例进行比较时，reference_wrapper 中的对象的地址将与函数对象包装器存储的对象的地址进行比较。

a_stateful_object so1, so2;
f = boost::ref(so1);
assert(f == boost::ref(so1));
assert(f == so1); // Only if a_stateful_object is EqualityComparable
assert(f != boost::ref(so2));