Referenz für Template-Parameter verwendet

Question

Ich habe folgenden Code

using namespace std; 
#include <iostream> 

template<typename a> struct function 
{ 
    void self1(){ cout << "hello world 1111" << endl; } 
}; 

template<typename a> struct function<a&> 
{ 
    void self2() { cout << "hello world 2222" << endl; } 
}; 


int main() 
{ 
    function<int> a; 
    a.self1(); 
    function<int&> b; 
    b.self2(); 
    return 0; 
} 

Das Ergebnis läuft:

hellow world 1111 
heloow world 2222 

Möchten die Beziehung Schiff zwischen der ersten „struct-Funktion“ stellen und der zweiten „struct Funktion "

Wird die zweite als" Template-Spezialisierung "für die erste klassifiziert? (scheint nicht)

Ich kann sehen, dass die zweite basiert auf der ersten basiert. (Durch Entfernen des ersten ist es nicht kompilierbar). Aber

b.self1() is not defined. 

Also irgendwie die zweite haben die Struktur zu einem neuen umdefiniert?

Answer 1

Ich kann sehen, dass die zweite basiert auf der ersten basiert. (Durch Entfernen der ersten, ist es nicht kompilierbar). Aber

b.self1() ist nicht definiert. Also irgendwie die 2nd haben die Struktur zu einer neuen definiert?

function ist eine Strukturvorlage, es ist keine Struktur für sich. Im Moment der Instanziierung eines wie Sie getan: function<int> a; generiert der Compiler eine struct function_int, die int für alle T's (oder a's in diesem Fall) enthält.

template<typename a> struct function<a&> 

Dies ist eine Spezialisierung der Struktur-Vorlage, die für wenn a ist ein Referenztyp verwendet wird. Diese Spezialisierung kann keine Member/Methoden der "originalen" Strukturvorlage verwenden.