Re: Code guidelines

On 2024-09-03, Thiago Adams <thiago.adams@gmail.com> wrote:

The contract is
>
  * obj->member1                   CAN be null
  * obj->member1->member2          CANNOT be null
  * obj->member1->member2->member3 CAN be null

Newer languages have null-safe object access operators:

  if (obj?->member1->member2?->member3) ...

We get the correct check, and, at a glance, the question marks annotate
what the coder believes is the contract: obj may be null,
obj->member1->member2 may be null.

GCC could easily get this extension, it seems.

obj?->member   is just    obj ? obj->member : nullptr    except that
obj is evaluated only once.


--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca