Acces Violation: assert with null instance

Frits van Bommel fvbommel at REMwOVExCAPSs.nl
Thu Jan 11 02:08:19 PST 2007


Stewart Gordon wrote:
> "The invariant can be checked when a class object is the argument to an 
> assert() expression, as:"
> 
> I see this as giving an _additional_ use of assert, something that 
> assert on a class object may do as an extra.  The general contract of 
> assert is supposed to remain, and the fact that out of the box it 
> doesn't certainly constitutes a bug, at least IMO.

Huh. I must've read that wrong. I thought it said "is checked". I guess 
this one makes more sense. That definitely makes it a bug.


More information about the Digitalmars-d-bugs mailing list