std::bind的返回类型可隐式转换为两个不同的显式构造函数

给定两个 explicit 构造函数重载(基于不同的 std::function<...> 类型),的返回值 std::bind 能够选择 任何一个 (从而使通话变得模糊不清)

call of overloaded ‘Bar(std::_Bind_helper<false, void (Foo::*)(int), 
    Foo*, int>::type)’ is ambiguous

如果我注释掉其中任何一个,那么代码就会编译!

我本想让建造师 明确的 会选择正确的过载,还是阻止两者都被选择?

当然 明确地 创建 std::function 在我绑定作品时:

    Bar b(std::function<void(int)>(std::bind((&Foo::process), &f, 1)));

然而,我很困惑,为什么类型推导不起作用?

• 如果返回值来自 std::绑定 两个构造函数签名都不匹配,事实上它们是 明确的 应防止两者都被选中。
• 如果返回值来自 std::绑定 匹配两个构造函数签名中的一个,事实上它们是 明确的 应该导致选择正确的一个。

这里到底发生了什么?

完整的工作代码如下:

#include <functional>

struct Foo
{
    void process(int) { }
};

struct Bar
{
    // comment out either of these to compile
    explicit Bar(std::function<void(int)>) {} 
    explicit Bar(std::function<void(short)>) {}
};

int main()
{
    Foo f;
    Bar b(std::bind(&Foo::process, &f, 1));
    return 0;
}