Class/struct invariants

[Simen kjaeraas]

Steven Schveighoffer <schveiguy at yahoo.com> wrote:
> During default struct construction, no constructors are run (they aren't  
> allowed anyways) and no invariants are run.  What would be the point of  
> running an invariant during default construction?  The only think it  
> could possibly do is make code like this:
>
> S s;
>
> Fail without -release, and pass with -release.  I don't see the value in  
> that.

Ah, but I do. If it is an error to create an uninitialized struct of
type S, then the above code is a bug, is it not?

-- 
Simen