Hi, ich würde mich jetzt nicht gerade unerfahren in C++ nennen, aber das kapier ich überhaupt nicht: http://bloglitb.blogspot.de/2011/12/access-to-private-members-safer.html Kann mir jemand erklären, was da passiert? Bzw, warum das funktioniert (weil das tut es ohne compiler warnung)? Weder der Code noch die Erklärung bringt mich weiter. Was ist ein "Tag"? ich kenn den Begriff nur von den C-Strukturnamen. wie funktioniert das mit dem Templateparameter M, der ja zurückgegeben wird. Sieht hier aus, wie eine Textersetzung, aber c++ templates sind dies ja explizit nicht. Wie funktioniert das friend im Rob? wozu die inline Friend deklarationen mit definition? oder firend definition im A_f. Oder warum funktioniert der Aufruf a.*get ? Ich fühl mich gerade, als hätte ich noch nie C++ geschrieben O_o
Der eigentliche Trick an dem Ganzen scheint wohl zu sein, dass bei einer expliziten Instanzierung die üblichen Zugriffsregeln nicht gelten (siehe letzter Kommentar auf der Seite). Also gibt es bei der Zeile
1 | |
keinen Fehler, obwohl A::a private ist. Der restliche Code dreht sich wohl darum, dass die get Funktion per ADL (Argument Dependent Lookup) gefunden wird und die gewünschte Adresse auf die private Variable zurück liefert. Um die richtige Funktion zu finden wird hier quasi Tag Dispatch genutzt. Wenn man das Beispiel mit mehreren Klassen und Variablen machen möchte muss man die get Funktionen irgendwie unterscheiden. Das passiert durch durch den einzigen Parameter dieser Funktion. Edit: So sähe es ohne Tags aus:
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
17 | |
18 | |
19 | |
20 | |
21 | |
22 | |
23 | |
24 | |
ah, ok. die ganzen Member-Pointer Konstrukte haben mich verwirrt. Die braucht man ja sonst kaum. edit: warum ist die Zeile "int A::* get();" nötig? ich dachte, das wird durch die Rob-friend definition erledigt --> http://en.cppreference.com/w/cpp/language/friend (2)
Gast
#4489625
template struct Rob<int A::*, &A::a>; Was macht denn das int A::* ? Und wieso steht da a.*get() und nicht *a.get()?
ccc schrieb: > Was macht denn das > int A::* "int A::* " heißt, es handelt sich um einen Member-Pointer auf ein int. "get()" liefert genau einen solchen Pointer zurück. dieser muss dereferenziert werden mittels "a.*get()" da es ein Memberpointer ist, kann dieser nur mit einer Instanz dereferenziert werden, das passiert durch das a.*<memberpointer>.
Vlad T. schrieb: > warum ist die Zeile "int A::* get();" nötig? > ich dachte, das wird durch die Rob-friend definition erledigt --> > http://en.cppreference.com/w/cpp/language/friend (2) Irgendwelche wirren Regeln. Es gibt zwar eine Definition für die Funktion aber irgendwie keine globale Deklaration. Durch ADL kann man die Funktion auch finden aber wohl nicht einfach so wenn man keine extra Deklaration hinzufügt.
Sebastian V. schrieb: > Irgendwelche wirren Regeln. Es gibt zwar eine Definition für die > Funktion aber irgendwie keine globale Deklaration. Durch ADL kann man > die Funktion auch finden aber wohl nicht einfach so wenn man keine extra > Deklaration hinzufügt. Kurios und eigentlich ein Wunder, das die Compilerhersteller da durch sehen und vor allem Compiler erzeugen die unterienander weitestgehend das selbe machen ^^.
Antwort schreiben
Bitte melde dich an, um einen Beitrag zu schreiben.