Rückgabetyp eines Anruf nur mit Angaben zu Art und nicht auf Objekte

Question

den folgenden Code vor:

template <class F, class... Args> 
void function(F&& f, Args&&... args) 
{ 
    using type1 = decltype(std::forward<F>(f)(std::forwards<Args>(args)...)); 
    using type2 = decltype(/*equivalent expression but only using types */); 
} 

Gibt es eine Möglichkeit type2 die gleichen wie type1 in allen Fällen zu machen, aber nur die Typen in der Verwendung decltype Ausdruck, oder mit anderen Worten nur mit F und Args und nicht f und args?

Answer 1

Sie erreichen dies nur mit C++ 11 und ohne decltype mit std::result_of:

using type2 = typename std::result_of<F&&(Args&&...)>::type; 

Example in compiler explorer.

Sobald Sie beginnen, C++ 17 zu verwenden, sollten Sie std::result_of durch std::invoke_result ersetzen, wie in der documentation beschrieben.

Answer 2

Vielleicht ist die Lösung, die Sie declval verwenden wollen, ist dies:

template <class F, class... Args> 
void function(F&& f, Args&&... args) 
{ 
    using type1 = decltype(std::forward<F>(f)(std::forward<Args>(args)...)); 
    using type2 = decltype(std::forward<F>(declval<F>())(std::forward<Args>(declval<Args>())...)); 
} 

this helps

Answer 3

beginnen mit diesem:

decltype(std::forward<F>(f)(std::forwards<Args>(args)...)); 

Änderung dieser:

decltype(std::declval<F>()(std::declval<Args>()...)); 

und getan. std::declval<T>() ist eine Funktion ohne Implementierung, die denselben Rückgabetyp wie std::forward hat.

c++11 hat std::result_of (und c++14 hat std::result_of_t), aber das hat ein paar kleine Macken, die sie unvollkommen machen. Sie können diese Macken durch die Verwendung von && beheben:

std::result_of_t< F&&(Args&&...) > 

In c++17 sie invoke_result hinzugefügt diese Macken zu beheben:

std::invoke_result_t< F, Args... > 

die Macken sind, weil die Typen in einem Funktionsaufruf Signatur zulässig sind nicht alle Typen , und die Sprache stellt sie im Hintergrund auf bestimmte Weise ein (entfernt die oberste Ebene const, lässt nicht zu, dass einige Typen zurückgegeben werden usw.).