Softwaredesign in C++ im Vergleich zu Softwaredesign in Java/C#
-
widder schrieb:
Auch in bezug auf Kapselung ist Abstraktion ganz gut. Richtig abstrahiert reicht mir eine Codestelle um sie zu verstehen. Falsch abstrahiert muss ich mir die 200 Includes durchlesen bevor ich weiss, was da überhaupt passiert.
Richtig, hier hast du aber schon eine Abstraktion in beiden Fällen. Hier ist das Problem auch nicht Abstraktion sondern sauberes Design (bzw. falsche Abstraktion).
Ich bin bislang vor allem auf den Zusammenhang mit der Wiederverwertung eingegangen. Und da stellt sich häufig aber eine gänzlich andere Frage: Wenn in einem konkreten Projekt genau ein Fall existiert, kostet eine Abstraktion der Wiederverwertung willen etwas. Es erhöht bezogen auf das Projekt unnötig die Komplexität.
Beispiel: In einem Projekt gibt es nur eine Formel um Rechnungsbeträge zu bilden, in einem anderen würde diese Formel aber nicht passen. Um den Code Wiederverwerten zu können müsste man diese Formel zusätzlich austauschbar machen (z.B. mittels Strategiemuster). Das bedeutet aber für das Projekt wieder unnötige Komplexität. Und diese Entscheidung stellt sich sehr häufig, und nicht nur an solch sehr überschaubaren Abläufen.
widder schrieb:
Das ist ein Unterschied zwischen C#/Java und C++: In C# ist eine tiefe Klassenhierarchie die Krone der Abstraktion (10 Level ist in WPF so der Standard), in C++ ist es eine freistehende Funktion, idealerweise ein Funktions-Template.
Verwechsle bitte nicht tiefe Klassenhierarchien mit Abstraktion. Ich würde sogar behaupten das eben solche häufig dem Nutzen der Abstraktion entgegen stehen, und zumeist (egal in welcher Sprache) ein Fehldesign sind.
Vererbung bedeutet eine der starrsten Bindungen die man überhaupt eingehen kann und auch wenn es im ersten Moment erscheint das man hier eine Abstraktion erhält, ist nicht selten genau das Gegenteil der Fall. Man kann nicht einfach zwei Klassen miteinander koppeln (wie man es im Gegenzug mittels Komposition erreichen kann), man erhält manchmal wesentlich mehr als man wirklich braucht, und büßt des weiteren viele Freiheiten ein.
Vererbung macht zwar Sinn, es sollten aber immer zuerst losere Alternativen durchdacht werden. Ich nutze zwar Vererbung relativ häufig, aber meist nur in sehr flachen Hierarchien [in der Regel max. 3 Ebenen] und ziehe wo möglich immer die Komposition vor.
-
Abstraktion dient dazu, die Komplexität zu reduzieren.
Und genau das ist ja das Ziel.
Abstraktion kostet aber nicht nur Zeit, sondern erhöht neben gewonnenen Freiheiten auch den Komplexitätsgrad einer Anwendung.
Der Spruch geht mir nicht in die Birne...
Ich würde es verstehen wenn jemand man sich mal zu Tode abstrahiert hat. Also der Code so abstrakt wurde, dass es in keinster Weise mehr von dem Problem zu tun hat. Aber ich habe es auch schon erlebt dass Leute so in Bits und Bytes dachten, dass ihnen der Sinn eines typedefs nicht klar war.
Anständig durchgeführte Abstraktion ist für meinen Geschmack immer Teil der Problemlösung. Und wenn diese Abstraktion mehrere Tage benötigen würde, würde ich mal meinen Chef nach einer Einführung eines Software Entwicklung Vorgehensmodell nachfragen. Denn längere, problembezogene Abstraktion führt zwangsläufig zur Problemanalyse.
Kleine Randbemerkung: Mein Ziel ist es immer gut und klar verständlichen Code zu produzieren und Dinge so einfach wie möglich zu halten.
Dann ist für mich so gut wie jede Factory in Java ein praktisches Gegenbeispiel.
Fehler: Nur weil jemand ein Design-Pattern falsch angewendet hat, bedeutet dies nicht dass das Pattern falsch ist.
Nur weil jemand 1+1 mittels unendlichen Summen ausrechnet, heißt das nicht das for Schleifen böse sind.
-
In einem Projekt gibt es nur eine Formel um Rechnungsbeträge zu bilden, in einem anderen würde diese Formel aber nicht passen. Um den Code Wiederverwerten zu können müsste man diese Formel zusätzlich austauschbar machen (z.B. mittels Strategiemuster).
Dann würde man ja auch zwei Dinge miteinander verheiraten wollen, welche per se so nichts miteinander zu tun haben.
Andersrum mal gefragt: Wenn in Formel 1 ein Fehler wäre, wäre der Fehler dann auch in Formel 2?
-
softwaredesign schrieb:
Wie immer gehst du auf nichts fachlich großartig ein sondern verbreitest recht spöttisch weiterhin irgendwelche Pauschalisierungen. Es scheint, als könntest du aus der eigenen Weltanschauung nur schwer ausbrechen und reagierst dementsprechend spottend oder belächelnd, wenn du mit etwas konfrontiert wirst, was du nicht kennst oder noch nicht verwendet hast...
Du bist nicht der erste (üblicherweise unregistrierte) Pinscher, der glaubt, sich beweisen zu müssen, indem er versucht, mir an Bein zu pinkeln.
-
Vielleicht nimmst du das mal zum Anlass darüber nachzudenken, ob deine Pauschalisierungen immer so treffend sind.
-
Eisflamme schrieb:
Wenn die Abstraktion die Komplexität erhöht, dann hat man was falsch gemacht. Abstraktion dient dazu, die Komplexität zu reduzieren.
Dann ist für mich so gut wie jede Factory in Java ein praktisches Gegenbeispiel.
Die Factory dient in der Regel dazu, die konkrete Instantiierung zu abstrahieren. Die Applikation sagt dann nur noch "gib mir das Objekt" statt "ich erzeuge das Objekt indem ich diese und jene Schritte mache".
Die Factory kann solche komplexen Sachen wie Pooling oder andere Sachen hinter einer einfachen Funktion verbergen und dadurch die Applikation selbst vereinfachen.
-
Betonung auf kann.
-
tntnet schrieb:
Die Factory kann solche komplexen Sachen wie Pooling oder andere Sachen hinter einer einfachen Funktion verbergen und dadurch die Applikation selbst vereinfachen.
Deshalb verstecke ich präventiv alle Konstruktoren hinter Factories. Oft wird die Factory sogar zum Singleton.
-
In C++ habe ich noch keine Factory verwendet und Singletons kommen seit langem nicht mehr vor. Und wenn ich Klassen als *Manager benennen wuerde, dann denke ich nochmals ueber mein Design nach, um das zu vermeiden.
PS: Hier wird mir zu viel im Konjunktiv argumentiert.
-
Bitte ein Bit schrieb:
Dann ist für mich so gut wie jede Factory in Java ein praktisches Gegenbeispiel.
Fehler: Nur weil jemand ein Design-Pattern falsch angewendet hat, bedeutet dies nicht dass das Pattern falsch ist.
Darum schrieb ich praktisch. Theoretisch kann man das, wie auch gesagt wurde, schön hinter einer Funktion verbergen, aber bei einer Abstract Factory auch das nicht.
Würde man die Erstellung einer Klasse nicht auslagern und folglich auch die Erstellung nicht abstrahieren, so hätten wir eine Klasse weniger (freie Funktion oder statische Methode ist zumindest nach Gang of Four keine Factory und auch keine Factory Method). Im Falle der Factory haben wir aber eben die eine Klasse mehr und auch eine Datei mehr. Wie definiert ihr denn Komplexität? Klar, würde man die Factory durch eine Alternative ersetzen, würde das Pattern die Komplexität nicht erhöhen. Aber ich sah auch schon Projekte, wo einfach Mal eine Factory eingesetzt wurde, um "Erweiterbarkeit" einzupflanzen, die nie genutzt wurde. Dann sorgt (falsch eingesetzte, leicht gesagt, schwer zu definieren ex ante) Abstraktion für Komplexitätssteigerung, solange man die Abstraktion nicht nur für einen Zweck nutzt und das passiert imo durchaus oft.
Somit finde ich schon, dass die Komplexität zumindest im Sinne von Anzahl der Dateien, Anzahl der Klassen und meist auch LOCs steigt. Die Sache ist aber einfach, dass ich das jederzeit in Kauf nehmen würde. Wiederverwendbarkeit... kann man drüber streiten. Aber Änderbarkeit und v.a. Erweiterbarkeit profitieren meiner Meinung nach einfach enorm davon. Dann lieber eine Klasse oder ein paar Abstraktions-Ebenen (!= tiefere Klassenhierarchie) mehr.
-
Wie schon angedeutet, sollte man nicht mit Spatzen auf Kanonen schießen. Das ist meines Erachtens genauso falsch wie die präventive Nutzung eines Design Patterns.
Aber mich stört die Verallgemeinerung das Abstraktion etwas potenziell Böses ist. Ich habe diesbezüglich aber vermutlich schon zu viele Extreme erlebt.
Ich bekomme beispielsweise regelmäßig die Krätze wenn ich ein Algorithmus X-fach implementieren muss, nur weil Templates böse sind.
-
http://discuss.joelonsoftware.com/?joel.3.219431.12
Ist schon in die Jahre gekommen, aber wer es noch nicht kennt: unbedingt lesen.
-
tntnet schrieb:
Wenn ich eine relativ komplexe Schnittstelle habe und diese abstrahiere, um sie einfacher bedienbar zu machen, dann reduziert das die Komplexität.
Nein, die Komplxität wird immer erhöht. Es kann sein, dass die gefühlte Komplexität in einem bestimmten Anwendungsfall geringer wird, aber die Komplexität über das Gesamte Programm steigt an:
Mehr Interfaces
Mehr Klassen
Mehr unterschiedliche Anwendungsmuster
Mehr Dinge zu lernen
Mehr mögliche FehlerquellenEine gute Abstraktion kann lokal Komplexität verstecken, diese geht dann aber nicht gelangweilt weg, sondern wartet hinter der nächsten Ecke um zuzuschlagen: Leaky Abstraction Theorem eben.
-
Shade Of Mine schrieb:
http://discuss.joelonsoftware.com/?joel.3.219431.12
Ist schon in die Jahre gekommen, aber wer es noch nicht kennt: unbedingt lesen.
Das ist ja schön und wahr, aber wenn ich in erster Linie gigantische Staudämme statt Gewürzregale baue dann kann sich der Mehraufwand der Factory schon auszahlen. Bei Gewürzregalen hat es wohl auch wenig Sinn da viel Aufwand in Softwaredesign zu stecken, da zählt wohl nur der schnelle Erfolg.
MfG SideWinder
-
SideWinder schrieb:
Shade Of Mine schrieb:
http://discuss.joelonsoftware.com/?joel.3.219431.12
Ist schon in die Jahre gekommen, aber wer es noch nicht kennt: unbedingt lesen.
Das ist ja schön und wahr, aber wenn ich in erster Linie gigantische Staudämme statt Gewürzregale baue dann kann sich der Mehraufwand der Factory schon auszahlen. Bei Gewürzregalen hat es wohl auch wenig Sinn da viel Aufwand in Softwaredesign zu stecken, da zählt wohl nur der schnelle Erfolg.
MfG SideWinder
so viele staudämme gibt es nun auch wieder nicht... aber wir haben ja alle ein +20cm gehänge
-
otze schrieb:
Es kann sein, dass die gefühlte Komplexität in einem bestimmten Anwendungsfall geringer wird, aber die Komplexität über das Gesamte Programm steigt an:
Nicht in meinem Verständnis vom Artikel.
Programmkomplexität = Aufgabenkomplexität - (1-Leakyness)*Abstraktion
Leakyness ist zwischen 0% (triviale Abstraktion), 20% (Normalfall), 50% (gutes grösseres Projekt) und >100% (absoluter Design-Fail).
Ich möchte kein Programm ohne Abstraktion (=strukturloser Assemblercode) schreiben, auch kein kleines.
Abstraktion:
Mehr Interfaces
Mehr Klassen
Weniger Code
Weniger Dinge zu lernen
Weniger mögliche Fehlerquellen
-
otze schrieb:
tntnet schrieb:
Wenn ich eine relativ komplexe Schnittstelle habe und diese abstrahiere, um sie einfacher bedienbar zu machen, dann reduziert das die Komplexität.
Nein, die Komplxität wird immer erhöht. Es kann sein, dass die gefühlte Komplexität in einem bestimmten Anwendungsfall geringer wird, aber die Komplexität über das Gesamte Programm steigt an:
Mehr Interfaces
Mehr Klassen
Mehr unterschiedliche Anwendungsmuster
Mehr Dinge zu lernen
Mehr mögliche FehlerquellenEine gute Abstraktion kann lokal Komplexität verstecken, diese geht dann aber nicht gelangweilt weg, sondern wartet hinter der nächsten Ecke um zuzuschlagen: Leaky Abstraction Theorem eben.
Ich nenne einfach mal ein paar Beispiele aus meine eigenen Praxis:
Beispiel: Lesen von Daten vom Socket. Manche Programme verwenden direkt den Systemaufruf read. Dabei wird zumindest mal vergessen, SIGINTR abzufangen. Eventuell sogar ganz auf Fehlerbehandlung verzichtet, weil es ja eigentlich nicht passieren darf. Packe ich das in eine Abstraktionsschicht, die alles implementiert und im Fehlerfall eine Exception wirft, eventuell sogar mit Timeoutüberwachung, dann habe ich eine einfache und robuste read-Funktion. Meine Applikation wird weniger Komplex, da ich nicht überall all die unschönen Systemsachen beachten muss.
Ein anderes Beispiel ist die Verwendung von OCI (=Oracle Call Interface) beim Zugriff auf Oracle Datenbanken. Das ist eine sehr komplexe und umfangreiche Schnittstelle, die auch sehr fehleranfällig ist. Ein mal in einen netten Wrapper (=Abstraktion) gepackt und ich kann einfach so SQL-Statements aus meiner Applikation abschicken. Eventuell sogar mit einem Treiberinterface, wo ich Oracle durch eine andere Datenbank austauschen kann. Kannst von mir aus OCI mit der C-API von Postgresql oder Mysql austauschen.
Ich muss nur in meine eigene Toolbox rein schauen, was ich da schon alles abstrahiert habe und mein Leben einfacher macht, da meine Applikationen einfacher, robuster und weniger komplex werden. Da habe ich noch wesentlich mehr mehr oder weniger komplexe Sachen, die dort einfach hinter einem einfachen Interface versteckt sind.
-
Die gute alte Zwiebel... Damit kann man es aber auch leicht übertreiben.
-
Wer sagt, dass Abstraktion schlecht ist? Trotzdem folge ich nicht dem Java-Stil. Natuerlich habe ich eine Socketklasse, eine fuer RS232 und ... trotzdem erben sie nicht von einem Interface obwohl sie alle ein wait_for_event() und read(...) haben. Warten bis Daten verfuegbar sind und dann lesen, natuerlich mit timeout.
-
knivil schrieb:
In C++ habe ich noch keine Factory verwendet und Singletons kommen seit langem nicht mehr vor. Und wenn ich Klassen als *Manager benennen wuerde, dann denke ich nochmals ueber mein Design nach, um das zu vermeiden.
kommt es mir nur so vor oder wird das was einige machen (einer macht) einfach mal als die Art wie man in C++ programmiert definiert.