Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: technology discussion =?utf-8?Q?=E2=86=92?= does the world need
 a "new" C ?
Date: Sat, 06 Jul 2024 18:35:56 -0700
Organization: None to speak of
Lines: 32
Message-ID: <87o77at24j.fsf@nosuchdomain.example.com>
References: <v66eci$2qeee$1@dont-email.me> <v67gt1$2vq6a$2@dont-email.me>
	<v687h2$36i6p$1@dont-email.me>
	<871q48w98e.fsf@nosuchdomain.example.com>
	<v68dsm$37sg2$1@dont-email.me>
	<87wmlzvfqp.fsf@nosuchdomain.example.com>
	<v6ard1$3ngh6$4@dont-email.me> <v6c2d7$3tko2$2@dont-email.me>
	<87cynquokr.fsf@nosuchdomain.example.com>
	<v6cqcq$1gpb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Sun, 07 Jul 2024 03:35:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="31bef4326a7de5d231f958bc2ab73da5";
	logging-data="53694"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+1lv4LA1dg6HKUbNj5AlIn"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:ljzOGRN7GzE7F1kyQp0SgwUoPvM=
	sha1:nknqYgMoKHZCmpnw/YFnon2VEjw=
Bytes: 2450

James Kuyper <jameskuyper@alumni.caltech.edu> writes:
> On 7/6/24 18:45, Keith Thompson wrote:
>> James Kuyper <jameskuyper@alumni.caltech.edu> writes:
>> [...]
>>> The key point is that an expression of array type does not always get
>>> converted into a pointer to the first element of that array. The clause
>>> above starts out with four exceptions, and an array behaves quite
>>> differently from a pointer when any of those exceptions apply.
>> 
>> There are three exceptions, not four.
>> 
>> The N1570 draft of C11 incorrectly says:
>
> I was quoting from n3096.pdf, dated April 1, 2023. It says:
>
> "Except when it"
> 1. "is the operand of the sizeof operator,"
> 2. "or typeof operators,"
> 3. "or the unary & operator,"
> 4. "or is a string literal used to initialize an array, ..."
>
> What am I miscounting?

Nothing; I forgot that C23 adds "typeof".

In C17 and earlier, there are three exceptions.  Starting in C23, there
are four.  (It seems odd to refer to typeof as an "operator", but that's
another topic.)

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */