Ich war in der Tat davon ausgegangen, dass unter "IstAssertSinnvoll" diese Frage allgemein, und nicht nur in Bezug auf C und C++ diskutiert werden darf, und dass man dabei eine eigene Auffassung von Assertions einbringen darf. --kg |
Ich war in der Tat davon ausgegangen, dass unter "IstAssertSinnvoll" diese Frage allgemein, und nicht nur in Bezug auf C und C++ diskutiert werden darf, und dass man dabei eine eigene Auffassung von Assertions einbringen darf. --kg |
:Es sind aber zwei verschiedene Fragen: *Sind Assertions sinnvoll (und das ist meiner Meinung nach das, worum es Dir geht)? *Ist der assert()-Mechanismus zur Fehlereingrenzung sinnvoll, wie er in C, C++ und Java implementiert ist? :Assertions als Kurzschreibweise für if (!bedingung) throw Exception() sind ein deutlich anderer Mechanismus als assert(). assert() muss immer überflüssig sein, weil es eine besondere Art von Dokumentation ist, die zur Laufzeit überprüft werden kann. assert() ist mit DesignByContract nicht direkt vergleichbar, und wohl auch nicht mit dem, woran Du denkts, wenn Du von Assertions redest. Deswegen halte ich es nicht für sinnvoll, assert() - wie in C, C++ und Java implementiert - und Assertions - die Exceptions werfen - so zu diskutierten, als ob man vom gleichen Konzept sprechen würde. -- kw |