c++ - 从 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()>是一种可能的转换，在推导出 ReturnT 之前是不可能的...看到问题了吗？

另外，请考虑 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);
}

编译器怎么知道你是否想创建function<int>或 function<char>或 function<void>当它们都可以从 int 构建时？