可调用对象的结果类型的推导

Question

我尝试推断可调用模板参数的类型，不幸的是没有成功:

template<typename callable, typename T_out >
class A
{};
template<typename callable>
auto make_A( callable f )
{
  return A<callable, typename std::result_of_t<callable> >{ f };
}
int main()
{
  make_A( []( float f ){ return f;} );
}

上面的代码会导致以下错误:

error: implicit instantiation of undefined template 'std::__1::result_of<(lambda at /Users/arirasch/WWU/dev/xcode/tests/tests/main.cpp:31:11)>'
template <class _Tp> using result_of_t = typename result_of<_Tp>::type;

有谁知道怎么修理它吗?

提前感谢。

Answer 1

您需要将参数列表传递给std::result_of，否则无法告诉返回类型(毕竟operator()可以重载)。

return A<callable, std::result_of_t<callable(float)> >{ f }

(假设A<callable, std::result_of_t<callable(float)>可以用f构造，但本例并非如此)