🚀 go-pugleaf

> As has also been pointed out to me in email, I made a mistake at the
> end of my previous posting, which in fact negated most of my argument.
> 
> The expression f->s does not have type char*, it has type char[1].  It
> does not refer to the array returned by malloc, but simply to a small
> part of it, the part defined in the structure.

Hmm, I missed that too, but it doesn't affect anything.  The char * value
that we were both talking about is the one that f->s decays to as soon as
it's used in an appropriate context.  This, too, points to a single char,
but not because the member s has a length of 1; it's because a char *
only ever points to a single char.  p only points to a single char too.
p and the decayed f->s are interchangeable.
-- 
Mark Brader		 "... [A]toms and universes are the same.  All the
SoftQuad Inc., Toronto	      world is recursive, and that's why we never
utzoo!sq!msb, msb@sq.com      know where to begin."	-- Charles Goldfarb

This article is in the public domain.