Topic: Conversion to |void*| and back: A NO-BRAINER
Author: rfg@NCD.COM (Ron Guilmette)
Date: 8 Feb 91 06:04:24 GMT Raw View
In article <27A087CA.10DD@tct.uucp> chip@tct.uucp (Chip Salzenberg) writes:
>According to rfg@NCD.COM (Ron Guilmette):
>>
>>That's a bad assumption. I have already noted other ommisions from
>>the list in 18.2. It is not a complete list.
>
>I'd like to ask that Ron, or any anyone else with a list of omissions
>in 1.82, post that list. It should prove interesting.
I would have thought that Bjarne would have responded to this. I'm
sorry that he did not.
I don't have a *complete* errata for E&S. Bjarne probably does.
--
// Ron Guilmette - C++ Entomologist
// Internet: rfg@ncd.com uucp: ...uunet!lupine!rfg
// Motto: If it sticks, force it. If it breaks, it needed replacing anyway.
Author: chip@tct.uucp (Chip Salzenberg)
Date: 25 Jan 91 19:32:24 GMT Raw View
According to rfg@NCD.COM (Ron Guilmette):
>In article <27975414.50A8@tct.uucp> chip@tct.uucp (Chip Salzenberg) writes:
>>The "Differences from ANSI C" section of the ARM (18.2) does not
>>rescind that guarantee [T* -> void* -> T*]. Therefore, it must
>>still hold in C++.
>
>That's a bad assumption. I have already noted other ommisions from
>the list in 18.2. It is not a complete list.
I'd like to ask that Ron, or any anyone else with a list of omissions
in 1.82, post that list. It should prove interesting.
I will conclude my discussion of |void *| thus:
Even if if the ARM and/or the ANSI C++ standard do not require that
the conversion of a |T *| to |void *| be reversible, *I* require it.
This behavior is obviously useful, hard to get wrong, and an integral
part of the programming model for which |void*| was invented. Any
compiler that fails to provide this behavior will, in my opinion, have
earned the label "brain damaged," and wll not live on my hard disk.
--
Chip Salzenberg at Teltronics/TCT <chip@tct.uucp>, <uunet!pdn!tct!chip>
"If Usenet exists, then what is its mailing address?" -- me
"c/o The Daily Planet, Metropolis." -- Jeff Daiell