Warum lassen C/C++ Compiler soviel Müll zu?
-
C++ fehler machen
Was sind C++ Fehler? Wenn man ideomatisch in C++ programmiert, so kommt man gar nicht erst in die Naehe von C Fehlern.
-
Basher schrieb:
DStefan schrieb:
Folgt aus einer "schlichteren" Programmiersprache wirklich, dass es weniger mögliche Fehlerquellen gibt, wenn man sie verwendet? Wohl kaum!
aber ja. gerade C und C++ sind die besten beispiele dafür. weil C eine teilmenge von C++ ist, kannst du in C++ alle fehler machen, die auch in C möglich sind. umgekehrt aber nicht: du kannst in C keine C++ fehler machen.
In beiden Sprachen kann man abzählbar viel Mist bauen. In C ist es aber wahrscheinlicher, weil die Features, die in C++ dazugekommen sind vorwiegend der besseren Übersicht und Fehlervermeidung dienen. Aber das wußtest Du bereits.
-
knivil schrieb:
C++ fehler machen
Was sind C++ Fehler?
hier ein klitzekleiner auszug: http://www.horstmann.com/cpp/pitfalls.html
In beiden Sprachen kann man abzählbar viel Mist bauen. In C ist es aber wahrscheinlicher, weil die Features, die in C++ dazugekommen sind vorwiegend der besseren Übersicht und Fehlervermeidung dienen.
ich finde fehler in C-programmen sind sehr einfach aufzuspüren. und vor fiesen, logischen fehlern kann einen C++ auch nicht bewahren. die features, die mit c++ dazugekommen sind, helfen C-typische fehler zu umgehen, bringen aber eigene fehlerquellen mit, so dass unterm strich ein schlechteres ergebnis steht als vorher.
-
Ich wuerde sagen, diesen Fehler ruehren daher, das C++ nicht ideomatisch verwendet wurde. Hier ein kleiner Auszug: http://en.wikibooks.org/wiki/More_C%2B%2B_Idioms .
logischen fehlern kann einen C++ auch nicht bewahren
Doch, ein gutes Beispiel ist die ist boost::mpl. Ich finde die Idee genial.
-
"Schlichtheit" ist nicht gleich "Schlichtheit" ...
Ob "Schlichtheit" als Kriterium für Fehlerarmut taugt, hängt davon ab, was genau am betrachteten Formalismus "schlicht" sein soll.
"Schlichtheit" im Sinne von "niedriger Abstraktionsgrad/'dummer' Formalismus" kann idR zu mehr Fehlern führen. Siehe BF oder Maschinencode in Binärdarstellung.
"Schlichtheit" im Sinne von "der Formalismus ist auf wenigen, aber mächtigen Abstraktionen aufgebaut/ 'kluger' Formalismus" kann im Ggteil aber zu weniger Fehlern führen. Siehe OOP.
Denn mit den überflüssigen Details werden eben auch deren potentielle Fehlerquellen wegabstrahiert.
Was wirklich Fehler vermeiden hilft, ist mMn ein "kluger" Formalismus, der für den Anwender "mitdenkt" und der sich gut dem jeweiligen Programmierproblem anpaßt.
my EUR 0.02
-
Basher schrieb:
so dass unterm strich ein schlechteres ergebnis steht als vorher.
Nö, besser, wenn man C++ kann und schlechter, wenn man C++ nicht kann.
Aber mit diesem Argument kannste auch C bashen und sagen, in C mancht man mehr Fehler als in Basic, wenn man C nicht kann, man macht aber weniger Fehler, wenn man C kann. Wobei das auch schon wieder überholt ist, weil Visual Basic recht gut ist.
-
Basher schrieb:
Ada ist noch deutlich komplizierter als C++. Trotzdem macht man darin komischerweise meist weniger Fehler.
vielleicht kommt's dir nur so vor, weil du mit C++ mehr vertraut bist.
Ulkig, und das, wo ich beruflich doch fast nur Ada programmiere.
-
volkard schrieb:
Basher schrieb:
so dass unterm strich ein schlechteres ergebnis steht als vorher.
Nö, besser, wenn man C++ kann und schlechter, wenn man C++ nicht kann.
Aber mit diesem Argument kannste auch C bashen und sagen, in C mancht man mehr Fehler als in Basic, wenn man C nicht kann, man macht aber weniger Fehler, wenn man C kann.Womit man wieder zum Punkt kommt, daß C++ derart komplex ist, daß seine Beherrschung ggf. eine höhere Qualifikation erfordert als die von Java/C#. Darin sind wir uns vermutlich so gut wie einig, mit dem Unterschied, daß ich nicht so sicher bin wie du, ob das auch gut so ist.
(Der Satz war kein linguistisches Meisterwerk :()
volkard schrieb:
Wobei das auch schon wieder überholt ist, weil Visual Basic recht gut ist.
Da meinst du aber VB.NET, oder?
-
Was die Fehlerrate anbelangt, sind typische Compretersprachen natürlich weit vorne, mein Favorit natürlich FORTH.
Es ist zwar problemlos möglich, darin grottenschlecht zu programmieren, aber man kann kaum Code mit verdeckten Fehlern produzieren. Auch wenn manche es nicht glauben wollen, ist FORTH keine esoterische Programmiersprache, sondern ein Commandline- RAD- Tool und Zwitter zwischen Sprache, IDE und OS.
Normalerweise (meta)compiliert man maximal screenweise im Target und kann sofort das Ergebnis testen, weil es von nun an im Wörterbuch liegt. War was verkehrt, wird nur dieses Wort überschrieben.
Das Gute daran ist, daß man nicht die ganze Applikation neu compilieren und aufs Target bringen muß (wie bei C/C++ - Crosscompilern), was die Turnaroundzeit drastisch drückt. Die wird mit wachsender Größe immer gewichtiger.Leider hat sich die Welt nicht mehr drum geschert, seit die PCs und dann die µC relativ ressourcenstark geworden sind und die FORTH- Gemeinde nicht dem eigenen Standard folgt, es demnach tausende zueinander inkompatible FORTH- Dialekte gibt, die meist nichtmal gut ans Target adaptiert sind. Dem C/C++/Java- Rush konnte man so nichts entgegensetzen.
Schade, ist nun aber mal so ...
-
Tachyon schrieb:
Basher schrieb:
Ada ist noch deutlich komplizierter als C++. Trotzdem macht man darin komischerweise meist weniger Fehler.
vielleicht kommt's dir nur so vor, weil du mit C++ mehr vertraut bist.
Ulkig, und das, wo ich beruflich doch fast nur Ada programmiere.
Vielleicht kommt es dir auch nur so vor, weil du C++ nicht gerade gut kennst
-
audacia schrieb:
Womit man wieder zum Punkt kommt, daß C++ derart komplex ist, daß seine Beherrschung ggf. eine höhere Qualifikation erfordert als die von Java/C#. Darin sind wir uns vermutlich so gut wie einig, mit dem Unterschied, daß ich nicht so sicher bin wie du, ob das auch gut so ist.
(Der Satz war kein linguistisches Meisterwerk :()Den Satz würde ich verallgemeinern: Die Programmierung (nicht trivialer) Systeme ist heute so komplex, dass zur Produktion von Software guter Qualität eine höhere Qualifikation erforderlich ist.
Ein guter Entwickler muss nicht bloß seine Programmiersprache (mit allen Bibliotheken, IDEs usw.) beherrschen, sondern auf jeden Fall auch Entwicklungstechniken, wie z.B. Entwurfsmuster, (OO-)Design, Testverfahren, Code-Management usw. Und er muss gut kommunizieren können.
Und wenn man das bedenkt, ist es schon fast egal, welche Programmiersprache in einem Projekt verwendet wird. Naja - fast. Objektorientiert sollte sie schon sein
BTW: Ich war ja schon immer der Meinung, dass Sprachen wie Java und C# aus dem einzigen Grund erfunden wurden, weil zu dieser Zeit wirklich gute Entwickler einfach nicht zu haben bzw. zu teuer waren. Aus demselben Grund gibt es auch diese Monster-IDEs. Man kann damit schnell recht hübsche Programme zusammenkloppen, ohne dass man allzu viel Sachverstand benötigte.
Und nein, den Umkehrschluss ziehe ich nicht! Dass also jemand, der solche IDEs und Sprachen verwendet keine Ahnung hat.
Stefan.
-
Da muss man sich ja nicht wundern, dass C++ eine aussterbende Sprache ist.
-
DStefan schrieb:
Den Satz würde ich verallgemeinern
Ich nicht. Dein Statement ist mehr oder weniger trivial und nicht aus meinem Satz herleitbar.
DStefan schrieb:
Und wenn man das bedenkt, ist es schon fast egal, welche Programmiersprache in einem Projekt verwendet wird.
Es ist ja nicht so, daß C++ nicht erhebliche Komplexität zum von den anderen gebräuchlichen Hochsprachen Gewohnten hinzufügte. Ob es das wert ist, ist die Frage; volkard dürfte das bejahen, ich selbst bin mir nicht so sicher.
-
knivil schrieb:
Ich wuerde sagen, diesen Fehler ruehren daher, das C++ nicht ideomatisch verwendet wurde. Hier ein kleiner Auszug: http://en.wikibooks.org/wiki/More_C%2B%2B_Idioms .
oh ja, das buch sieht verdammt nach pflichtlektüre für jeden c++ coder aus.
knivil schrieb:
logischen fehlern kann einen C++ auch nicht bewahren
Doch, ein gutes Beispiel ist die ist boost::mpl.
ach nö, logische fehler sind denkfehler, hervorgerufen durch schlamperei, unwissenheit, falsche annahmen, usw. keine library kann 'menschliches versagen' dieser art ausgleichen.
u-ser_l schrieb:
"Schlichtheit" ist nicht gleich "Schlichtheit" ...
Ob "Schlichtheit" als Kriterium für Fehlerarmut taugt, hängt davon ab, was genau am betrachteten Formalismus "schlicht" sein soll.
"Schlichtheit" im Sinne von "niedriger Abstraktionsgrad/'dummer' Formalismus" kann idR zu mehr Fehlern führen. Siehe BF oder Maschinencode in Binärdarstellung.
"Schlichtheit" im Sinne von "der Formalismus ist auf wenigen, aber mächtigen Abstraktionen aufgebaut/ 'kluger' Formalismus" kann im Ggteil aber zu weniger Fehlern führen. Siehe OOP.^^stimmt im prinzip, aber um mal wieder auf C und C++ zurückzukommen: der C-formalismus ist im verhältnis zu seiner (relativ) geringen komplexität sehr leistungsstark (in früheren threads sagte ich: c hat einen hohen 'wirkungsgrad'). verglichen mit C++, dessen komplexität um ein vielfaches grösser ist, leistet es nur wenig mehr. d.h. C++ hat einen schlechteren 'wirkungsgrad' als C.
Tachyon schrieb:
Basher schrieb:
Ada ist noch deutlich komplizierter als C++. Trotzdem macht man darin komischerweise meist weniger Fehler.
vielleicht kommt's dir nur so vor, weil du mit C++ mehr vertraut bist.
Ulkig, und das, wo ich beruflich doch fast nur Ada programmiere.
Ada kann ich nicht, nur VHDL, was ja von Ada abstammt. ich hab' dabei nie irgendwas als unangemessen komplex empfunden. was findest du denn an Ada so viel komplizierter als an C++?
pointercrash() schrieb:
Leider hat sich die Welt nicht mehr drum geschert, seit die PCs und dann die µC relativ ressourcenstark geworden sind und die FORTH- Gemeinde nicht dem eigenen Standard folgt, es demnach tausende zueinander inkompatible FORTH- Dialekte gibt, die meist nichtmal gut ans Target adaptiert sind. Dem C/C++/Java- Rush konnte man so nichts entgegensetzen.
du kannst ja mal 'nen forth-interpreter für deine µC portieren. das soll angeblich garnicht so schwierig sein. und dann machste deine kundenspezifischen anwendungen in forth. vielleicht biste damit effizienter als mit der C-hackerei. wir machen sowas (auch auf embedded systemen) mit 'nem BASIC-dialekt. BASIC aus dem grund, weils jeder leicht versteht und als anwender schnell eigene programme schreiben kann.
DStefan schrieb:
Und wenn man das bedenkt, ist es schon fast egal, welche Programmiersprache in einem Projekt verwendet wird. Naja - fast. Objektorientiert sollte sie schon sein
wie sagt man so schön: to a hammer, everything looks like a nail --> http://www.iwriteiam.nl/AoP_OOCH.html
-
Basher schrieb:
du kannst ja mal 'nen forth-interpreter für deine µC portieren. das soll angeblich garnicht so schwierig sein. und dann machste deine kundenspezifischen anwendungen in forth. vielleicht biste damit effizienter als mit der C-hackerei. wir machen sowas (auch auf embedded systemen) mit 'nem BASIC-dialekt. BASIC aus dem grund, weils jeder leicht versteht und als anwender schnell eigene programme schreiben kann.
Ja, so'n FIG- Port ist in drei, vier Tagen halbwegs lebensfähig, hab' ich ja oft genug gemacht.
Das Problem beginnt beim Kunden. Der will C oder C++, wegen der Portabilität - auch in der Wahl des Entwicklers. 'Ne Bindung an einen Port und dessen Entwickler scheuen die wie der Teufel das Weihwasser.
Das Argument kann ich nicht wirklich entkräften, außerdem soll man mit Kunden nicht debattieren außer übern Preis ...
-
Basher schrieb:
der C-formalismus ist im verhältnis zu seiner (relativ) geringen komplexität sehr leistungsstark (in früheren threads sagte ich: c hat einen hohen 'wirkungsgrad').
Eben. Und warum? Weil C die passenden Abstraktionen für portable hardwarenahe Programmierung hat, für die es eigentlich auch gedacht ist.
Basher schrieb:
verglichen mit C++, dessen komplexität um ein vielfaches grösser ist, leistet es nur wenig mehr. d.h. C++ hat einen schlechteren 'wirkungsgrad' als C.
das kann sich aber drastisch ändern, wenn die Projektgröße eine kritische Grenze von, sagen wir mal, 100000 Zeilen übersteigt. Dann werden die Vorteile der OOP durchschlagen, wahrscheinlich unabhängig von der Sprache, und je "wackeliger" die Spezifikation ist, umso mehr.
-
u-ser_l schrieb:
Basher schrieb:
der C-formalismus ist im verhältnis zu seiner (relativ) geringen komplexität sehr leistungsstark (in früheren threads sagte ich: c hat einen hohen 'wirkungsgrad').
Eben. Und warum? Weil C die passenden Abstraktionen für portable hardwarenahe Programmierung hat, für die es eigentlich auch gedacht ist.
richtig, dafür wird C ja auch hauptsächlich verwendet. und für alles was schnell, klein, effizient und direkt auf der CPU laufen soll. alle 3 punkte sind nur noch durch assembler zu schlagen, aber mit asm hat man so gut wie keine abstraktionmöglichkeiten mehr (so wie mit brainfuck z.b.), was den wirkungsgrad (ergebnis/(zeitaufwand+gehirnschmalz)) geringer macht.
u-ser_l schrieb:
Basher schrieb:
verglichen mit C++, dessen komplexität um ein vielfaches grösser ist, leistet es nur wenig mehr. d.h. C++ hat einen schlechteren 'wirkungsgrad' als C.
das kann sich aber drastisch ändern, wenn die Projektgröße eine kritische Grenze von, sagen wir mal, 100000 Zeilen übersteigt. Dann werden die Vorteile der OOP durchschlagen, wahrscheinlich unabhängig von der Sprache, und je "wackeliger" die Spezifikation ist, umso mehr.
kommt drauf an. oop ist kein allheilmittel, obwohl grosse systeme sicherlich davon profitieren. ich glaube aber nicht, dass man's an der zukünftigen zeilenzahl des quelltexts festmachen kann. manche aufgaben schreien nach OOP, andere musst du gewaltsam in ein OO-korsett pressen. wahrscheinlich sollte die erste frage sein, die sich ein softwaredesigner stellt: ist hier oo angebracht oder wäre ein anderes konzept vorteilhafter?
-
ist hier oo angebracht oder wäre ein anderes konzept vorteilhafter?
Deswegen bietet z.B. C++ mehr als nur OOP.
100000 Zeilen übersteigt
In welcher Sprache?
schnell, klein, effizient
Was ist klein, schnell und effizient? Haskell compiliert auch direkt zu Maschinencode oder falls eine Plattform nicht unterstuetzt wird nach C Code. Auch halte ich es fuer sinnfrei, Begriffe aus anderen Zusammenhaengen zu entlehnen und mit deren Bedeutung zu argumentieren z.B. Wirkungsgrad. Dann muessten wir sowieso alle in Lisp programmieren: An Experiment in Software Prototyping Productivity. Schade das auf Java nicht eingegangen wurde und die Loesung in C++ von einem Manager geschrieben wurde. Auch ist das Paper von 1994, also lange bevor echtem C++.
-
knivil schrieb:
Deswegen bietet z.B. C++ mehr als nur OOP.
was denn noch außer OOP und dem Erbgut von C ?
knivil schrieb:
100000 Zeilen übersteigt
In welcher Sprache?
egal - 100000 Zeilen sind in jeder Sprache ein Grund, über einen Umstieg auf OOP zumindest nachzudenken.
Was ist klein, schnell und effizient?
hängt ja bekanntlich von der Aufgabenstellung ab - für numerische Simulationen mit 10 mio. Variablen könnte Fortran klein, schnell und effizient sein, für eine Schach-KI oder einen OS-Kern wohl eher nicht.
-
knivil schrieb:
ist hier oo angebracht oder wäre ein anderes konzept vorteilhafter?
Deswegen bietet z.B. C++ mehr als nur OOP.
deswegen wird dieses barocke ja C++ überhaupt verwendet, weil man meint, in dieser sprache alles nur denkbare zur verfügung zu haben. irgendwie stimmt es ja auch, nur ist es viel schwieriger, umständlicher und fehleranfälliger als in den meisten anderen sprachen.
knivil schrieb:
Auch halte ich es fuer sinnfrei, Begriffe aus anderen Zusammenhaengen zu entlehnen und mit deren Bedeutung zu argumentieren z.B. Wirkungsgrad.
deshalb hab' ichs auch ständig in anführungsstriche gesetzt. mir fiel nix besserers als bezeichnung ein, für das verhältnis nutzen/aufwand o.ä.
