std：：函数参数的不同重载与bind不明确（有时）

Question

我有两个函数foo的重载，它们采用不同的std::functions，当与std::bind的结果一起使用时，会导致后者的歧义问题。我不明白为什么只有这是模棱两可的。

void foo(std::function<void(int)>) {}
void foo(std::function<int()>) {}

void take_int(int) { }
int ret_int() { return 0; }

将< code>int()与< code>bind函数一起使用时，我得到一个模糊错误

foo(std::bind(ret_int)); // ERROR

gcc-5.1错误(类似的还有clang)

error: call to 'foo' is ambiguous
  foo(std::bind(ret_int));
  ^~~
note: candidate function
void foo(std::function<void(int)>) {}
     ^
note: candidate function
void foo(std::function<int()>) {}

然而，以下所有工作

foo(std::bind(take_int, _1));
foo(take_int);

foo(ret_int);
foo([](){ return ret_int(); });

struct TakeInt {
  void operator()(int) const { }
};

struct RetInt {
  int operator()() const { return 0; }
};

foo(TakeInt{});
foo(RetInt{});

查看std::function构造函数

template< class F > 
function( F f );

对我来说，任何在不同的std::function类型上具有多个重载的函数都应该有歧义，但这只是绑定调用的问题。然后我想“也许有一些神奇的事情发生在处理函数类型和lambda上，它不处理实际的类”，但它也处理了这些。

在en.cppreference上有一个注释，上面写着[自c 14以来]

此构造函数不参与重载解析，除非f对于参数类型Args是可调用的...和返回类型R

Answer 1

问题存在于如何允许调用绑定。正如cppreference所说

如果调用g()时提供的一些参数与g中存储的任何占位符都不匹配，那么未使用的参数将被计算并丢弃。

换句话说，您至少需要传递底层callable所期望的数量的参数。

这意味着以下内容有效：

int f();
auto b = std::bind(f);
b(1, 2, 3); // arguments aren't used

这么说

auto b = std::bind(ret_int)
b(1);

有效，丢弃 1，因此以下内容有效，并且重载选择变得不明确

std::function<void(int)> f = std::bind(ret_int);

然而，反之亦然。

std::function<int()> f = std::bind(take_int);

因为不能在没有参数的情况下调用take_int。

要点：lambda