正确使用Invoke_Result的方法

Question

在cppreference上，使用std::result_of的正确方法是：

template<class F, class... Args>
std::result_of_t<F&&(Args&&...)> 
// instead of std::result_of_t<F(Args...)>, which is wrong
  my_invoke(F&& f, Args&&... args) { 
    /* implementation */
}

我想知道应该如何使用std::invoke_result_t： invoke_result_t：

template<class F, class... Args> 
std::invoke_result_t<F&&, Args&&...> my_invoke(F&& f, Args&&... args);

或：

template<class F, class... Args> 
std::invoke_result_t<F, Args...> my_invoke(F&& f, Args&&... args);

Answer 1

invoke_result是根据 declval的定义：

如果将表达式INVOKE(declval<Fn>(), declval<ArgTypes>()...)视为未评估的操作数时，则将成员Typedef type命名为decltype(INVOKE(declval<Fn>(), declval<ArgTypes>()...));类型，否则不得有会员type。

和declval被指定为：

template<class T> add_rvalue_reference_t<T> declval() noexcept;

因此，std::invoke_result_t<F&&, Args&&...>和std::invoke_result_t<F, Args...>之间没有区别。好吧，后者是短4个字符，但它们的意思是完全相同（因为F和Args...都不能是void）。