Re: "A diagram of C23 basic types"

On 4/9/2025 8:01 AM, David Brown wrote:

On 09/04/2025 11:49, Michael S wrote:

On Fri, 4 Apr 2025 02:57:10 -0000 (UTC)
Lawrence D'Oliveiro <ldo@nz.invalid> wrote:
>

On Thu, 3 Apr 2025 21:48:40 +0100, bart wrote:
>

Commas are overwhelmingly used to separate list elements in
programming languages.

>
Not just separate, but terminate.

>
I disagree. I am in favor of optional trailing commas rather than
mandatory ones.

 I am certainly in favour of them for things like initialiser lists and enum declarations.
 

>

All the reasonable languages allow
trailing commas.

>
Are your sure that C Standard does not allow trailing commas?
That is, they are obviously legal in initializer lists.
All compilers that I tried reject trailing comma in function calls.
>

...

But is it (rejection) really required by the Standard? I don't know.
>
>

 Yes.  The syntax (in 6.5.2p1) is :
 postfix-expression:
     ...
     postfix-expression ( argument-expression-list opt )
     ...
 argument-expression-list :
     argument-expression
     argument-expression-list , argument-expression
   I don't think it is unreasonable to suggest that it might be nice to allow a trailing comma, at least in variadic function calls, but the syntax of C does not allow it.
 

Yeah, pretty much.
It might have also been interesting if C allowed optional named arguments:
int foo(int x=3, int y=4)
{
   return x+y;
}
foo() => 7
foo(.y=2) => 5
Likely would be following any fixed arguments (if present), and likely (for sake of implementation sanity) named arguments and varargs being mutually exclusive (alternative being that named arguments precede varargs if both are used).
Well, at least ".y=val" as "y: val" likely wouldn't go over well even if it is what several other languages with this feature used (well or, "y=val", which is used in some others).
In the most likely case, the named argument form would be transformed into the equivalent fixed argument form at compile time.
   So: "foo(.y=2)" would be functionally equivalent to "foo(3,2)".
...