Re: technology discussion → does the world need a "new" C ?

On 2024-07-10, Lawrence D'Oliveiro <ldo@nz.invalid> wrote:

On Sat, 06 Jul 2024 15:23:47 -0700, Keith Thompson wrote:
>

Lawrence D'Oliveiro <ldo@nz.invalid> writes:
>

On Fri, 05 Jul 2024 11:46:38 -0700, Keith Thompson wrote:
>

No, arrays are not pointers.

>
Except array indexing is designed to be indistinguishable from pointer
arithmetic.

 
No, arrays are not pointers.

>
Can you point out any situation where this construct
>
    &a[b]
>
might be valid, but this
>
    (a + b)
>
(with the same declarations of “a” and “b”) might not?

Miller Genuine Daft at work again.

a[b] /means/ *(a + (b)) so your reasoning is circular.

Arrays are not pointers. Given arrays a and b of equal size:

- sizeof a is not sizeof &[0] other than by coincidence

- &a is not &a[0] -- different type

- a = b is invalid -- arrays are not modifiable lvalues

- arrays cannot be passed to functions nor returned;
  pointers can.

- int (f[3])(void) { }, function returning array of 3 int,
  is a constraint violation.
 
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca