S
Shade Of Mine schrieb:
...in java gibt es zB per definition kein undefiniertes verhalten, ...
Auf mehr wollte ich niemals hinaus. Wenn Du das gleich geschrieben hättest, wäre diese Diskussion sehr viel kürzer geworden.
Simon2 schrieb:
Der wichtigste "Lackmustest", um zwischen den beiden Problemklassen zu unterscheiden ist die Frage: "Kann ich die Situation innerhalb meines Programms zuverlässig 'retten' ?"
"Deine" Fälle kann man immer retten: Eine Status-Abfrage, eine geworfene/gefangene Exception, ....
Meinen Fall (s.u.) kannst Du nicht retten.
bei "meinem" Fall muss ich den Boden der Sprache verlassen, wenn ich Aussagen treffen will, bei Deinen nicht.
... und dass nur innerhalb eines "Definitionskonstrukts" (hier: Programmiersprache) etwas "un-/definiert" sein kann, habe ich für selbstverständlich gehalten.
Aber wenn es Dir weiterhilft, sage ich es gerne nocheinmal in Langform "undefiniert" = "im Sprachstandard nicht definiert".
Shade Of Mine schrieb:
Simon2 schrieb:
Ergo: Unerwartet und undefiniert sind nicht nur unterschiedliche Begriffe, sondern bezeichnen auch unterschiedliche Dinge.
wie erklärst du dir, dass ich "undefiniertes" verhalten beliebig produzieren und danach auch voraussagen kann?...
Du kannst zwar "undefiniertes Verhalten" beliebig produzieren (also auf Knopfdruck "würfeln") ... aber Du kannst trotzdem nicht das konkrete Ergebnis (also die konkrete Augenzahl des nächsten Wurfs) vorhersagen. Sagt nichts darüber aus, ob das Verhalten undefiniert ist oder nicht.
Gruß,
Simon2.