如何获取传递给模板化函数或类的函数的返回类型？

Question

如何以这种方式获取函数的返回类型（传递给高阶函数/类）：

template <typename F>
auto DoSomething(F&& func) -> /* whatever type func returns */
{
    // whatever...
    return /* something that is func's type */
}

编辑：特别是如果func 需要 T 类型的参数。

我的直觉是 decltype 或 declval 应该在图片中，但到目前为止我还没有运气。

更详尽的上下文：

struct Poop
{
    float x;
    int y;
}

Poop Digest(float a)
{
    Poop myPoop{ a, 42 };
    return myPoop;
}

template <typename F, typename T>
auto DoSomething(F&& func, T number) -> /* should be of type Poop  */
{
    // whatever... Digest(number)... whatever...
    return /* a Poop object */
}

int main()
{
    Poop smellyThing;
    smellyThing = DoSomething(Digest, 3.4f); // will work
}

Answer 1

确实，您可以像这样使用decltype：

template <typename F, typename T>
auto DoSomething(F&& func, T number) -> decltype(func(number))
{
  // ...
  return {};
} 

这是demo。