C array types are weird

(anselmschueler.com)

38 points | by signa11 1 day ago

5 comments

  • uecker 1 day ago
    In practice, the [static n] notation can give you useful warnings and bounds checking.

    https://godbolt.org/z/PzcjW4zKK

    And while the (*array_ptr)[3] notation take a moment to get used to, it is very logical. If you have a pointer to an array, you dereference it first and then indx into it. Again, useful for bounds checking: https://godbolt.org/z/ao1so9KP7

    • keyle 24 minutes ago
      I know of this notations but I don't see many people using [static n].

      Not sure why, maybe it doesn't feel like C anymore, maybe it feels hacky?

      typically if you're passed an array you'd want to get more anyway, so you'd get passed a struct. Not sure.

    • dnautics 1 hour ago
      What is **int[3][5]
      • ori_b 54 minutes ago
        a syntax error.
        • ori_b 41 minutes ago
          And if you want 'int **a[a][b]', it's a value that when you say 'x = **a[m][n]', will evaluate to an int and assign it to x. Postfix has higher precedence than prefix.
  • the__alchemist 1 hour ago
    This is one of the things that I feel is an inappropriate abstraction that is around for historical reasons. When I do FFI to call C from rust, I usually wrap the generated API (Which is pointer based) into rust's &[] array syntax. Arrays/lists/Vecs etc in most non-C languages feel like an abstraction over a collection of items; I feel like C's exposing the pointer directly is taking a low-level memory/MMIO operation and inserting it into business logic. Conceptually, I like to keep them separate; pointers for writing drivers, accessing registers, writing to flash memory etc. Arrays/lists/vecs for higher level operations on collections.

    Tangent: I have a pet theory that part of Zig's raison d'etre is to fix some of the problems with C, while accommodating its pointer-based data structures, and the resulting patterns.

  • fatty_patty89 1 hour ago
    there's no array type in c
  • IncreasePosts 1 hour ago
    Paging walter bright
    • glouwbug 1 hour ago
      C's biggest mistake.

      But in other news most don't know that a[3] == 3[a]

      • throwaway27448 25 minutes ago
        Even more irrelevant than the array type
  • throwaway27448 26 minutes ago
    Why are we still discussing c in 2026? Why are you intentionally hamstringing yourself unless you're using fucking hp-ux