c++ - std::result_of 参数类型

Question

这个问题我已经有一段时间了。假设我们有一个人为的功能:

template<typename F>
std::result_of_t<std::decay_t<F>(???)> transform(F&& f)
{
    static const int num = 42;
    return std::forward<F>(f)(num);
}

我不确定的是我应该为 ??? 部分使用 int 还是 const int& 。同样，对于这个函数:

template<typename F>
std::result_of_t<std::decay_t<F>(???)> transform(F&& f)
{
    ExpensiveType foo;
    return std::forward<F>(f)(std::move(foo));
}

对于 ??? 部分，我应该使用 ExpensiveType 还是 ExpensiveType&&？

Answer 1

使用自动!

C++14:

template < typename F >
auto transform(F&& f)
{
    constexpr auto num = 42;
    return std::forward<F>(f)(num);
}

C++11:

template < typename F >
auto transform(F&& f) -> decltype(std::forward<F>(f)(42))
{
    // ... same body
}