C++ und Java : die Verwendung von virtuellen Basisklasse

1. Sorry - kein Java-Programmierer, so kurz auf details. Noch, virtuelle Basen sind eine Verfeinerung der Mehrfachvererbung, die Java-Designer immer wieder verteidigt ommiting auf der Grundlage, dass es übermäßig kompliziert und wohl auch fehleranfällig.

2. virtuellen Basen sind nicht nur zum speichern von Speicher - die Daten weitergegeben, die durch die verschiedenen Objekte Erben von Ihnen, so die abgeleitete Typen könnten es verwenden, um koordinieren Ihr Verhalten in irgendeiner Weise. Sie sind nicht nützlich, alle, die oft, aber als Beispiel: Objekt-IDS, wo Sie wollen, ein id-pro die meisten abgeleiteten Objekts, und nicht damit rechnen, dass alle Unterobjekte. Ein weiteres Beispiel: Sicherstellung, dass eine mehrfach abgeleitete Typ kann eindeutig anzeigen /konvertiert einen Zeiger auf base, es zu halten einfach zu bedienen, Funktionen operieren auf der Basis geben, oder zum speichern in Container Base*.

3. Als C++ ist derzeit Standardisiert, eine Art die sich aus zwei-Klassen können in der Regel erwarten, dass Sie unabhängig voneinander operieren und wie Objekte dieses Typs neigen zu tun, wenn auf dem stack oder heap. Wenn alles virtuelle, plötzlich diese Unabhängigkeit wird stark abhängig von den Arten, aus denen Sie abgeleitet werden - alle Arten von Interaktionen werden die Standard -, und die Ableitung selbst wird immer weniger nützlich. Also, Ihre Frage ist warum machen Sie nicht den Standard-virtual - auch, weil es weniger intuitiv, mehr gefährliche und fehleranfällige der beiden Modi.

Ich arbeite an einem open source Projekt, welches im Grunde ist das übersetzen eine große C++ - Bibliothek für Java. Das Objekt-Modell von der ursprünglichen Kreatur in C++ kann ziemlich kompliziert manchmal. Mehr als notwendig, würde ich sagen... das war mehr oder weniger das motto von Java-Designer... naja... das ist ein anderes Thema.

Der Punkt ist, dass ich geschrieben habe, ein Artikel, der zeigt, wie Sie können, zu umgehen, type erasure in Java. Der Artikel erklärt auch, wie es getan werden kann, und, am Ende, wie Sie Ihre source-code kann schließlich ähneln sich C++ sehr eng.

http://www.jquantlib.org/index.php/Using_TypeTokens_to_retrieve_generic_parameters

Eine unmittelbare Folgerung aus der Studie, die ich getan habe, ist, dass es möglich wäre zu implementieren, virtuelle Basisklassen in Ihrer Anwendung, ich meine: nicht in Java, nicht in der Sprache, sondern in Ihrer Anwendung, über einige tricks, oder eine Menge tricks, um genauer zu sein.

Falls Sie Interesse haben für eine solche Art von schwarzer Magie, die folgenden Zeilen kann nützlich sein für Sie irgendwie. Ansonsten sicherlich nicht.

Ok. Gehen wir weiter.

Gibt es mehrere Schwierigkeiten, in Java:
1. Type-erasure (gelöst in dem Artikel)
2. javac wurde nicht entwickelt, um zu verstehen, was eine virtuelle Basisklasse sein würden;
3. Auch mit tricks, die Sie nicht in der Lage sein zu umgehen Schwierigkeit #2, weil diese Schwierigkeit scheint bei der Kompilierung.

Wenn Sie möchten, um zu verwenden, virtuelle Basisklassen, können Sie es, mit Scala, die im Grunde gelöst Schwierigkeit #2 von genau erstellen Sie einen weiteren compiler, der es vollständig versteht, einige weitere anspruchsvolle Objekt-Modelle, würd ich sagen.

wenn Sie möchten, um zu erkunden, meine Artikel und versuchen Sie zu "circunvent" virtuelle Basisklassen in Java (kein Scala), Sie könnten etwas tun, wie ich unten erklären:

Nehme an, dass Sie so etwas wie dies in C++:

template<Base>
public class Extended : Base { ... }

Könnte es übersetzen, um so etwas in Java:

public interface Virtual<T> { ... }

public class Extended<B> implements Virtual<B> { ... }

OK. Was passiert, wenn Sie instanziieren Erweitert wie unten?

Extended extended = new Extended<Base>() { /* required anonymous block here */ }

Gut.. im Grunde werden Sie in der Lage sein, um loszuwerden, type erasure und wird in der Lage sein zu Erhalten, geben Informationen von der Basis in Ihrer Klasse Erweitert wird. Siehe meinen Artikel für eine umfassende Erklärung für die schwarze Magie.

OK. Sobald Sie den Typ der Basis innen Erweitert, die Sie instanziieren können eine konkrete implementation der Virtuellen.

Beachten Sie, dass bei der Kompilierung javac überprüfen können, Typen für Sie, wie im Beispiel unten:

public interface Virtual<Base> {
    public List<Base> getList();
}

public class Extended<Base> implements Virtual<Base> {
    @Override
    public List<Base> getList() {
        //TODO Auto-generated method stub
        return null;
    }
}

Gut... trotz aller Anstrengungen, es zu implementieren, am Ende sind wir so schlecht da, was einen exzellenten compiler wie scalac viel besser als wir, in allem tut es seinen job bei der Kompilierung.

Ich hoffe, es hilft... wenn nicht, verwechselt Sie schon!