On 15/12/2013, at 3:51 AM, srean wrote:

> You probably don't understand the ISO C conformance model.
> 
> Yeah I probably dont and that probability is 1 :)

It took me ages to really grok what a conformance "model" even was.

Similarly most people don't really understand what "undefined behaviour"
actually means. 

In C++ Standard it explicitly says some things are undefined.
However those words are just redundancy checks.
Literally, undefined behaviour is simply something that is NOT defined.

It's perversion of English. There's no such thing as undefined behaviour.
Just behaviour which is not defined.

Doing stuff with undefined behaviour is not a bug.
After all, being undefined is precisely what allows the compiler
vendor to actually define it. So then it isn't defined by the Standard
but it is defined for that platform.

This is quite different from what in C++ is well defined behaviour
for certain bugs: the compiler is required to reject the program.
So the behaviour of the compiler is well defined. And the behaviour
of the program is too (it causes the compiler to reject it :)

In C++ this is called "ill formed, diagnostic required".
As opposed to "ill formed no diagnostic required".
An example of the latter is the ODR: One Definition Rule.

There is also "unspecified behaviour". This is where the Standard
mandates a set of possible behaviours, greater the cardinality 1.

And then there is "implementation defined" which is unspecified
behaviour where the vendor specifies it.

So actually C++ is not a language definition, and its not even 
a compiler specification, its a *parametric* compiler specification.

--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org




------------------------------------------------------------------------------
Rapidly troubleshoot problems before they affect your business. Most IT 
organizations don't have a clear picture of how application performance 
affects their revenue. With AppDynamics, you get 100% visibility into your 
Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to