Victor Bazarov wrote:
....
> be required?  I know, the text sometimes says, "program is ill-
> formed, no diagnostic is required", but it just doesn't seem
> right...

When the standard says that, it's generally because it's difficult for a
compiler to detect the fact that the code is ill-formed in that
particular fashion. It's the programmer's responsibility to avoid
creating the situation, but they didn't want to force all
implementations to carry out the expensive operations needed to detect
it. Of course, some high-quality implementations will do so anyway, but
they didn't want to rule out quick-and-dirty implementations that do
just barely enough to conform.

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]