Weiterleitung von Parametern von Vorlagen zu Funktionen verschiedener Typen

Question

Ich experimentierte mit Vorlagen und Weiterleitung. Ich habe einen einfachen experimentellen Code geschrieben, der mich überrascht hat. Ich möchte diesen Mechanismus besser verstehen, wahrscheinlich fehlt mir hier etwas Wissen und darum bitte ich um Hilfe. Könntest du mir bitte erklären, warum die beiden Aufrufe in dem unten stehenden Code nicht kompiliert werden (PLATZ 2 und 3)?

#include <iostream> 
#include <memory> 
#include <utility> 
using namespace std; 

void h2rvalref(int&& i) { cout << "h2rvalref" << endl; } 
void h2ref(int& i) { cout << "h2ref" << endl; } 
void h2val(int i) { cout << "h2val" << endl; } 

template <class T, class X> 
void h1(T&& t, X x) { x(forward<T>(t)); } 

int main() 
{  
    // PLACE (1) 
    h1<int, decltype(h2rvalref)>(1, h2rvalref); 

    auto b = 1; 
    // PLACE (2) 
    // h1<int, decltype(h2ref)>(b, h2ref); // --> ERROR - no matching function..., cannot convert 'b' (type 'int') to type 'int&&' 

    // PLACE (3) 
    // h1<int, decltype(h2val)>(b, h2val); // --> ERROR - no matching function..., cannot convert 'b' (type 'int') to type 'int&&' 
} 

Ich verstehe nicht, warum der Fehler sagt etwas über int Umwandlung in int & &, wenn ich Wert b vom Typ int.

Answer 1

Das Problem besteht darin, dass Sie der Funktion explizite Vorlagenargumente zur Verfügung stellen. Weiterleitungsargumente funktionieren nicht, wenn Sie die Vorlagenargumente explizit für den Typ angeben, den Sie weiterleiten möchten (es sei denn, Sie wissen wirklich, was Sie tun).

template <class T, class X> 
void h1(T&& t, X x) { x(forward<T>(t)); } 

Wenn Sie h1<int, decltype(h2ref)> schreiben, erhalten Sie eine Funktion wie folgt aus:

void h1(int&& t, decltype(h2ref) x) { x(forward<int>(t)); } 

int&& eine andere Art von int und kann nicht auf einen L-Wert vom Typ int wie die gebunden werden b, die Sie übergeben; es kann nur auf rvalues ​​vom Typ int

---

gebunden, wenn Sie die Vorlage Argumente weglassen, es funktioniert einfach:

h1(b, h2ref); 

Dies wird eine Funktion instanziiert, die wie folgt aussieht:

void h1(int& t, // int& && collapses to just int& 
     decltype(h2ref) x) { 
    x(forward<int&>(t)); 
}