| |||||||||||||
Reitter: Answering the question: "How do I develop an app for GNOME?"Reitter: Answering the question: "How do I develop an app for GNOME?"Posted Feb 7, 2013 6:00 UTC (Thu) by khim (subscriber, #9252)In reply to: Reitter: Answering the question: "How do I develop an app for GNOME?" by k8to Parent article: Reitter: Answering the question: "How do I develop an app for GNOME?"
Since systems behave differently, you don't know what will happen, so it's undefined. If systems behave differently then it begs for “implementation-defined behavior”, not for “undefined behavior”. Much simpler and safer to deal with these. Indeed, the fact that C has so many “undefined behaviors” is a premature optimization - but the fact that someone made such error many years before is not an excuse to propagate this madness in newer, more modern languages.
(Log in to post comments)
Reitter: Answering the question: "How do I develop an app for GNOME?" Posted Feb 7, 2013 9:24 UTC (Thu) by ncm (subscriber, #165) [Link]
Implementation-defined behavior is worse than undefined behavior. The next version of the implementation will define a different behavior, and your previously well-defined program becomes wrong.
Reitter: Answering the question: "How do I develop an app for GNOME?" Posted Feb 7, 2013 11:46 UTC (Thu) by khim (subscriber, #9252) [Link] You assume people write program to the spec. Well, newsflash to you: they don't. The very fact that both GCC and LLVM are trying (and failing) to catch a lot of undefined behaviors shows that people don't write to the spec. People write code, they write tests, if they pass - they are happy. That's it. If program triggers implementation-defined behavior then tests are usually enough to catch problems (because compiler may do different thing from what the programmer expects but it consistently does different thing) while with undefined behavior compiler is absolutely free to do one thing in one case and completely different thing in another case. Which means that program may suddenly crash after compiler upgrade - and you have no idea why.
|
|||||||||||||