Acces Violation: assert with null instance
    Stewart Gordon 
    smjg_1998 at yahoo.com
       
    Wed Jan 10 14:14:31 PST 2007
    
    
  
Lionello Lunesu wrote:
> I really think this used to work (like in C++) :
> 
> #class Class {}
> #void main(){
> #    Class c;
> #    assert(c);
> #}
> 
> With 1.0, I get an access violation in 
> _D9invariant12_d_invariantFC6ObjectZv, but why?
<snip>
For some strange reason, assert on an object reference checks that the 
invariants are satisfied instead of that the reference isn't null. 
There's nothing to this effect in the spec, so I don't know how it came 
about.  While it may be useful, it certainly shouldn't do it _instead 
of_ checking it isn't null.
Stewart.
    
    
More information about the Digitalmars-d-bugs
mailing list