Next Meeting: September 15: Scratch: programming for children and other not-yet-programmers Next Installfest: TBD Latest News: Aug. 18: Discounts to "Velocity" in NY; come to tonight's "Photography" talk Page last updated: 2006 Jun 04 08:55
 The following is an archive of a post made to our 'vox-tech mailing list' by one of its subscribers. Report this post as spam: (Enter your email address)
Re: [vox-tech] C - passing chars and pointer to chars
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

# Re: [vox-tech] C - passing chars and pointer to chars

```On Sun 04 Jun 06,  9:57 AM, Ken Bloom <kbloom@gmail.com> said:
> On Sunday 04 June 2006 09:05, Peter Jay Salzman wrote:
> > On Sat 03 Jun 06, 10:27 PM, Ken Bloom <kbloom@gmail.com> said:
> > > Cue, the **Fundemental axiom of the C++ type system**, stated as
> > > follows:
> > >   A* is automaitcally convertable to B* if and only if A is a B.
> > >   (Likewise for pass by reference).
> > >
> > > (this is my own generalization though, and there may actually be
> > > exceptions)
>
> >
> > Although this was interesting to read, it doesn't say much other than
> > to restate my observation in a more sophisticated way.
>
> IMO, all that matters is that the axiom is the reason.
>
> --Ken

Herr Godel would say that this type of thinking is why it took humanity over
2000 years to discover non-Euclidean geometry.   ;-)

BTW, "void *" seems to be an exception to the axiom:

p@satan\$ cat bar.c
void f( void *b );

int main( void )
{
int a;
f( &a );
return 0;
}
p@satan\$ gcc -W -Wall -c bar.c
p@satan\$

A "int *" is convertable to "void *" even though an int isn't a void.  There
is no data type of "void" (I think), but it's still a counter example.

BTW, you mentioned that it was a generalization of the fundamental axiom of
the C++ type system -- what is the fundamental axiom?  That sounds like
something I should know, but I've never heard of it.

Pete
_______________________________________________
vox-tech mailing list
vox-tech@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox-tech

```

 LUGOD Group on LinkedIn Sign up for LUGOD event announcements Your email address: LUGOD Group on Facebook 'Like' LUGOD on Facebook:

 Hosting provided by: Sunset Systems Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development. LUGOD: Linux Users' Group of Davis PO Box 2082, Davis, CA 95617 Contact Us LUGOD is a 501(c)7 non-profit organization based in Davis, California and serving the Sacramento area. "Linux" is a trademark of Linus Torvalds. Sponsored in part by: For a significant contribution towards our projector, and a generous donation to allow us to continue meeting at the Davis Library.