[Issue 4326] New: struct invariants documentation

d-bugmail at puremagic.com d-bugmail at puremagic.com
Tue Jun 15 18:13:45 PDT 2010


http://d.puremagic.com/issues/show_bug.cgi?id=4326

           Summary: struct invariants documentation
           Product: D
           Version: D1 & D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: www.digitalmars.com
        AssignedTo: nobody at puremagic.com
        ReportedBy: bearophile_hugs at eml.cc


--- Comment #0 from bearophile_hugs at eml.cc 2010-06-15 18:13:44 PDT ---
I'd like D docs to state that invariants can be used inside structs too (so
putting the explanation of invariants in this page is bad:
http://www.digitalmars.com/d/2.0/class.html#Invariant ).

The documentation about struct invariants also needs to exaplain that the
assert() syntax can't be used to call struct invariants (as it is possible with
class references):


struct Foo {
    int x;
    invariant() { assert(x == 1); }
}
void main() {
    Foo f;
    assert(f); //  Error: expression f of type Foo does not have a boolean
value
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list