comp.lang.ada
 help / color / mirror / Atom feed
From: Ole-Hjalmar Kristensen <ohk@clustra.com>
Subject: Re: bitwise comparators
Date: 2000/01/19
Date: 2000-01-19T00:00:00+00:00	[thread overview]
Message-ID: <umqbt6izbea.fsf@gong2.clustra.com> (raw)
In-Reply-To: yecya9mpsv8.fsf@king.cts.com

Keith Thompson <kst@cts.com> writes:

> Jeff Carter <jrcarter010@earthlink.net> writes:
> [...]
> > > With true arrays, do you mean out of bound checking, etc?  This can be done
> > > with _proper_ programming in C!
> > 
> > C does not have arrays; it only has different notations for address
> > arithmetic.
> 
> That's a slight exaggeration.  C does have array types and array
> objects.  For example this:
>     int a[10];
> declares a as an array of 10 ints, very much like Ada's
>     A: array(0 .. 9) of Integer;
> It does not, contrary to popular misconception, declare a as a
> pointer.
> 
> What often causes confusion is that, in most expression contexts, a
> reference to the name of an array object "decays" to a pointer to the
> array's first element.
> 
> C arrays are not first-class types, but they do exist.
> 
> -- 
> Keith Thompson (The_Other_Keith) kst@cts.com  <http://www.ghoti.net/~kst>
> San Diego Supercomputer Center           <*>  <http://www.sdsc.edu/~kst>
> Welcome to the last year of the 20th century.

I would say you are both right. C guarantees that in your example, a
is a constant pointer. I also guarantees that a[i] == *(a+i).
A somewhat curious fact is that i[a] == *(i+a) == *(a+i), so it is
completely legal C to write for instance : 9[a] = 13;
The only use of this is probably if you're competing in the obfuscated
C code contest :-)


Ole-Hj. Kristensen

-- 
E pluribus Unix




  parent reply	other threads:[~2000-01-19  0:00 UTC|newest]

Thread overview: 55+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-01-15  0:00 bitwise comparators Alexander Van Hecke
2000-01-15  0:00 ` David C. Hoos, Sr.
2000-01-16  0:00 ` Jeff Carter
2000-01-16  0:00 ` Bryce Bardin
2000-01-16  0:00 ` DuckE
2000-01-17  0:00   ` Alexander Van Hecke
2000-01-17  0:00     ` Jeff Carter
2000-01-17  0:00       ` Alexander Van Hecke
2000-01-17  0:00         ` Gautier
2000-01-17  0:00           ` Alexander Van Hecke
2000-01-17  0:00             ` David Starner
2000-01-18  0:00             ` Gautier
2000-01-18  0:00           ` Ted Dennison
2000-01-17  0:00         ` David Starner
2000-01-17  0:00           ` Alexander Van Hecke
2000-01-17  0:00             ` David Starner
2000-01-18  0:00             ` Fraser
2000-01-18  0:00               ` Bertrand Augereau
2000-01-19  0:00                 ` Ted Dennison
2000-01-19  0:00                   ` Marin D. Condic
2000-01-19  0:00                     ` Ted Dennison
2000-01-18  0:00             ` Preben Randhol
2000-01-18  0:00           ` Ted Dennison
2000-01-18  0:00         ` Pascal Obry
2000-01-18  0:00         ` Jeff Carter
2000-01-18  0:00           ` Keith Thompson
2000-01-19  0:00             ` Gisle S�lensminde
2000-01-19  0:00             ` Ole-Hjalmar Kristensen [this message]
2000-01-19  0:00             ` Jeff Carter
2000-01-19  0:00               ` David Starner
2000-01-19  0:00               ` Keith Thompson
2000-01-21  0:00         ` Ada vs. C/C++ (was re: bitwise something-or-other) Mark Lundquist
2000-01-21  0:00           ` Mark Lundquist
2000-01-24  0:00           ` Hyman Rosen
2000-01-17  0:00     ` bitwise comparators David C. Hoos, Sr.
2000-01-17  0:00     ` Gautier
2000-01-18  0:00       ` Keith Thompson
2000-01-19  0:00         ` Ole-Hjalmar Kristensen
2000-01-17  0:00     ` Matthew Heaney
2000-01-17  0:00     ` tmoran
2000-01-17  0:00     ` Mike Silva
2000-01-17  0:00       ` Brian Rogoff
2000-02-05  0:00         ` Ashley Deas Eachus
2000-02-05  0:00           ` Jeff Carter
2000-02-06  0:00           ` Andy
2000-02-07  0:00           ` Brian Rogoff
2000-02-09  0:00             ` Robert Iredell Eachus
2000-01-17  0:00       ` Alexander Van Hecke
2000-01-17  0:00         ` Gautier
2000-01-17  0:00         ` David Starner
2000-01-17  0:00         ` Mike Silva
2000-01-18  0:00           ` Charles Hixson
2000-01-18  0:00     ` DuckE
2000-01-18  0:00     ` Ted Dennison
2000-01-16  0:00 ` Matthew Heaney
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox