Ich dachte, ich hätte die Idee von dieser Klasse (von hier Ссылка ):
%Vor% aber ich habe versucht, es an meinen Fall anzupassen, in dem ich nach einem Mitglied double MyTest gesucht habe. Also habe ich diese Zeile geändert:
bis
%Vor%aber der Detektor gab "wahr" für alle Klassen zurück, unabhängig davon, ob sie ein MyTest-Mitglied hatten oder nicht. Ich änderte die Zeile zu:
%Vor%und dann hat es wie erwartet funktioniert.
Kann jemand erklären, warum das Fallback ein int sein muss und nicht der Typ des Mitglieds, nach dem Sie eigentlich suchen?
Hier ist ein Beispiel, in dem ich nach X als Int suche, aber nach Y als Doppel:
%Vor%Meine Ausgabe ist:
1 0
1 1
Es muss nicht int sein. Es kann von jedem Typ sein. Sie müssen nur an jedem Ort nach Typ und Namen referenzieren:
und hier:
%Vor% Die Idee ist, dass wenn T keine X hat, Fallback::X gefunden wird, was &U::X nach Typ entspricht (da es nur eine gibt - die in Fallback ). Aber wenn T eine X hat, ist die Suche mehrdeutig. Es ist also egal, welchen Typ Fallback::X hat - int ist nur der kürzeste.
Beachten Sie, dass dies in C ++ 11 mit etwas wie Yakks can_apply viel einfacher ist:
Siehe auch diese Frage für ein halbes Dutzend anderer Wege, die alle besser sind als der alte Stil-Elementdetektor.