wer den Double-Dispatcher aus Loki/Modern C++ Design kennt, kennt sicherlich auch das Vererbungsproblem - also wenn ich (Derived, Derived) dispatche und einen Handler für (Base, Base) habe, so kann aufgrund der gespeicherten statischen Typinfos der Dispatch nicht aufgelöst werden.

Alexandrescu schreibt/schrieb, dass er sich sicher ist, dass eine Lösung dafür existieren muss, auch wenn ihm noch nichts eingefallen ist.

Mich würde mal interessieren, ob es inzwischen Lösungen für das Vererbungsproblem beim Double-Dispatch gibt (das Buch ist ja immerhin schon etwas älter). Bisher konnte ich etwas in der Art nicht finden.

Mir ist bis dato auch nichts eingefallen, wie man das Problem gut lösen könnte, zumal man dann noch den "most viable dispatch" finden müsste, insbesondere beim verallgemeinerten Multidispatch. Wer Ideen hat, eine Grundsatzdiskussion würde mich auch interessieren.

Viele Grüße

Weiß niemand bescheid darüber?

Oder hat vielleicht gute Ideen, wie man das umsetzen könnte? Das wäre doch vielleicht ein reizvolles Projekt für's Magazin.

Meine Überlegungen scheitern an dem Punkt, wo ich aus nur dynamischen Typinfos Vererbungsbeziehungen herstellen müsste - das geht wohl schlecht.
Ich würde allerdings auch nur Lösungen bevorzugen, die die beteiligten Klassen nicht verändern müssen. Außerdem sollte möglichst die Aufrufreihenfolge der Registrierungen egal sein.

Das ganze allerdings zu erläutern, wäre auch etwas langatmig

ich nehme an es geht den meisten hier so. es hat keiner von einer loesung gehoert aber beschwoeren dass sie noch nicht gefunden wurde, wuerden sie trotzdem nicht. zumindest geht es mir genau so.