我可以绑定到采用默认参数的函数然后调用它吗？

Question

如何绑定到采用默认参数的函数，而不指定默认参数，然后在没有任何参数的情况下调用它？

void foo(int a, int b = 23) {
  std::cout << a << " " << b << std::endl;
}

int main() {
  auto f = std::bind(foo, 23, 34); // works
  f();


  auto g = std::bind(foo, 23); // doesn't work
  g();

  using std::placeholders::_1;
  auto h = std::bind(foo, 23, _1); // doesn't work either 
  h();

}

Answer 1

基本上，每当您编写foo(x) 时，编译器都会将其转换为foo(x, 23);。它仅在您实际使用函数名称直接调用时才有效。例如，您不能将&foo 分配给void(*)(int)，因为函数的签名是void(int, int)。默认参数在签名中不起作用。如果将其分配给void(*)(int, int) 变量，则有关默认参数的信息将丢失：您无法通过该变量利用默认参数。 std::bind 在其内部某处存储了 void(*)(int, int)，因此丢失了默认参数信息。

在 C++ 中无法从函数外部获取参数的默认值，因此您只能在绑定时手动提供默认值。

Answer 2

我认为您可以使用 lambda 模拟您想要的行为。

类似这样的事情：

auto g = [] (){ foo( 23 ); };

编辑：刚刚检查过，似乎工作正常：http://ideone.com/SPSvi

Answer 3

我有两个解决方案：

1 - 您可以重载 foo() 并让它使用默认值调用原始文件：

void foo(int a, int b) 
{
    std::cout << a << " " << b << std::endl;
}

inline void foo(int a)
{
    foo(a, 23);
}

2 - 您可以使用静态变量作为默认变量，然后在绑定过程中使用它：

static int foo_default_b = 23;
void foo(int a, int b = foo_default_b) 
{
    std::cout << a << " " << b << std::endl;
}

auto g = std::bind(foo, 23, foo_default_b);
g();

Answer 4

This answer 不同意 R. Martinho Fernandes 的回答。您确实可以使用boost::bind 绑定到默认参数，您只需要放入占位符，如下所示：

boost::bind<void (int, int)>(foo, _1, _2)(12);

正如预期的那样，这将调用foo(12, 23)。虽然我没有测试这个特定的代码，但我根据上面链接的答案在我的代码中做了类似的事情，它在gcc 4.8.5 中工作。

嗯，我刚刚注意到这是在询问std::bind，而不是boost::bind。我不知道有什么区别，如果有的话。