Re: Union C++ standard

George Neuner <gneuner2@comcast.net>
Tue, 30 Nov 2021 17:18:35 -0500

          From comp.compilers

Related articles
[5 earlier articles]
Re: Union C++ standard david.brown@hesbynett.no (David Brown) (2021-11-28)
Re: Union C++ standard derek@NOSPAM-knosof.co.uk (Derek Jones) (2021-11-29)
Re: Union C++ standard 480-992-1380@kylheku.com (Kaz Kylheku) (2021-11-29)
Re: Union C++ standard david.brown@hesbynett.no (David Brown) (2021-11-29)
Re: Union C++ standard Keith.S.Thompson+u@gmail.com (Keith Thompson) (2021-11-29)
Re: Union C++ standard derek@NOSPAM-knosof.co.uk (Derek Jones) (2021-11-30)
Re: Union C++ standard gneuner2@comcast.net (George Neuner) (2021-11-30)
Re: Union C++ standard david.brown@hesbynett.no (David Brown) (2021-11-30)
Re: Union C++ standard terminology derek@knosof.co.uk (Derek Jones) (2021-12-01)
| List of all articles for this month |

From: George Neuner <gneuner2@comcast.net>
Newsgroups: comp.compilers
Date: Tue, 30 Nov 2021 17:18:35 -0500
Organization: A noiseless patient Spider
References: 21-11-004 21-11-008 21-11-009 21-11-010 21-11-011 21-11-013 21-11-015
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="35941"; mail-complaints-to="abuse@iecc.com"
Keywords: C, standards
Posted-Date: 30 Nov 2021 18:53:52 EST

On Tue, 30 Nov 2021 00:46:04 +0000, Derek Jones
<derek@NOSPAM-knosof.co.uk> wrote:


>You have made the mistake of reading the standard as "plain English".
>Almost everybody falls into this trap when they start out.
>In fact the standard is a stylized version of English, with some phrases
>specified to have a given meaning in specific contexts.
>
>As the committee is always saying, the standard is not intended as
>a tutorial. You probably need to read it three or four times to
>get an idea of how it fits together (there is a strange logic to it).
>
>Start by understanding how the text is styled.
>
>The Conformance section specifies how "shall" and "shall not" are to be
>interpreted.


But it does NOT define "will" and "will not", and "must" and "must
not", and "does" and "does not" ... terms which are used liberally in
the documents, apparently without having any normative definition.


Not to mention that the Conformance section generally is not included
in draft documents. Nor are there easy to find, freely available,
references on how to read various standards documents.


A great many programmers are in work situations which can't support
purchasing every official document that might apply.


>You also need to understand "unspecified behaviors" and "undefined behaviors".
>
>See Kaz Kylheku's discussion of the status of footnotes.
>
>You need to trace a legalistic top down approach (which takes practice).
>
>There are people actively discussing standard C on comp.std.c
>
>Footnotes state the obvious when it is not obvious to somebody.
>They are also an enormous source of confusion and best ignored.


YMMV,
George


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.