推測の戻り値の型

Question

template<typename T, typename F> 
auto myfunc(T elem, F func) -> decltype(func(elem)) 
{ 
    return func(elem); 
} 

に、私は、関数の戻り値の型ができるかどうかを知りたいと、私は、decltypeの非常に簡単な使用方法を知っています関数の引数を参照することなく、引数の型、つまりdecltype(func, T)に似たものに推論されますか？

この場合、1つはタイプであり、もう1つはオブジェクトですが、私がしようとしていることは非常に自然なようです。しかし私は自分が望むものを表現する簡単な方法を見つけることに失敗しました。どんな助け？

ありがとうございます。

template<typename T, typename F> 
auto myfunc(T elem, F func) -> decltype(func(std::declval<T>())) 
{ 
    return func(elem); 
} 

しかし、あなたはすでにその型のオブジェクトを持っていることから、なぜわざわざ：

Answer 1

これはstd::declvalが何のためにあるのかを正確にですか？