从 std::function 调用签名推断模板参数

Question

考虑这个模板函数：

template<typename ReturnT>
ReturnT foo(const std::function<ReturnT ()>& fun)
{
    return fun();
}

为什么编译器不能从传递的调用签名中推断出ReturnT？

bool bar() { /* ... */ }

foo<bool>(bar); // works
foo(bar); // error: no matching function call

Answer 1

bool (*)() 类型的函数指针可以转换为std::function<bool()> 但不是同一类型，因此需要进行转换。在编译器可以检查该转换是否可能之前，它需要将ReturnT 推断为bool，但要做到这一点，它需要已经知道std::function<bool()> 是一种可能的转换，直到它推断出@987654326 之前是不可能的@ ... 看到问题了吗？

另外，考虑bool(*)() 也可以转换为std::function<void()> 或std::function<int()> ...应该推导出来？

考虑这种简化：

template<typename T>
  struct function
  {
    template<typename U>
      function(U) { }
  };

template<typename T>
  void foo(function<T>)
  { }

int main()
{
    foo(1);
}

当它们都可以从int 构造时，编译器如何知道您是要创建function<int>、function<char> 还是function<void>？

Answer 2

std::function<bool()> bar;

foo(bar); // works just fine

C++ 无法从您的函数bar 推断出返回类型，因为它必须知道类型才能找到所有使用您的函数指针的构造函数。

例如，谁能说std::function<std::string()> 没有构造函数采用bool (*)()？

Answer 3

函数bar的类型为bool (*)()左右，即：一个普通的pre-C++11函数类型。我对 C++11 没有那么自信，但我猜编译器看不到 bool (*)() 和 const std::function<ReturnT()>& 之间的联系，即使第一个可以隐式转换为 ReturnT = bool 的第二个。