| 1 | struct WrappedInt { | 
|---|
| 2 | int x; | 
|---|
| 3 | }; | 
|---|
| 4 |  | 
|---|
| 5 | void ?{}(WrappedInt & this) { | 
|---|
| 6 | printf("constructing int\n"); | 
|---|
| 7 | this.x = 0; | 
|---|
| 8 | } | 
|---|
| 9 |  | 
|---|
| 10 | void ?{}(WrappedInt & this, WrappedInt other) { | 
|---|
| 11 | printf("copy constructing int: %d\n", other.x); | 
|---|
| 12 | this.x = other.x; | 
|---|
| 13 | } | 
|---|
| 14 |  | 
|---|
| 15 | void ?{}(WrappedInt & this, int x) { | 
|---|
| 16 | printf("constructing int: %d\n", x); | 
|---|
| 17 | this.x = x; | 
|---|
| 18 | } | 
|---|
| 19 |  | 
|---|
| 20 | void ^?{}(WrappedInt & this) { | 
|---|
| 21 | printf("destructing int: %d\n", this.x); | 
|---|
| 22 | } | 
|---|
| 23 |  | 
|---|
| 24 | void ?=?(WrappedInt & this, int x) { | 
|---|
| 25 | printf("assigning int: %d %d\n", this.x, x); | 
|---|
| 26 | this.x = x; | 
|---|
| 27 | } | 
|---|
| 28 |  | 
|---|
| 29 | struct A { | 
|---|
| 30 | WrappedInt x, y, z; | 
|---|
| 31 | }; | 
|---|
| 32 |  | 
|---|
| 33 | void ?{}(A & a) { | 
|---|
| 34 | // currently must define default ctor, since there's no "= default" syntax | 
|---|
| 35 | } | 
|---|
| 36 |  | 
|---|
| 37 | void ?{}(A & a, int x) { | 
|---|
| 38 | printf("begin construct A\n"); | 
|---|
| 39 | printf("construct a.x\n"); | 
|---|
| 40 | (a.x){ x+999 }; | 
|---|
| 41 | printf("assign a.y\n"); | 
|---|
| 42 | a.y = 0; // not a constructor - default constructor will be inserted | 
|---|
| 43 | printf("end construct A\n"); | 
|---|
| 44 | } // z never constructed - will be automatically default constructed | 
|---|
| 45 |  | 
|---|
| 46 | void ?{}(A & this, A other) { | 
|---|
| 47 | printf("begin copy construct A\n"); | 
|---|
| 48 | printf("copy construct this.x\n"); | 
|---|
| 49 | (this.x){ other.x }; | 
|---|
| 50 | printf("assign this.y\n"); | 
|---|
| 51 | this.y = other.y; // not a constructor - copy constructor will be inserted | 
|---|
| 52 | printf("end copy construct A\n"); | 
|---|
| 53 | } // z never constructed - will be automatically copy constructed | 
|---|
| 54 |  | 
|---|
| 55 | A ?=?(A & this, A other) { | 
|---|
| 56 | printf("begin ?=? A\n"); | 
|---|
| 57 | this.x = other.x; | 
|---|
| 58 | this.y = other.y; | 
|---|
| 59 | this.z = other.z; | 
|---|
| 60 | printf("end ?=? A\n"); | 
|---|
| 61 | return this; | 
|---|
| 62 | } | 
|---|
| 63 |  | 
|---|
| 64 | struct B { | 
|---|
| 65 | A a1, a2, a3; | 
|---|
| 66 | }; | 
|---|
| 67 |  | 
|---|
| 68 | void ?{}(B & b) { | 
|---|
| 69 | printf("begin construct B\n"); | 
|---|
| 70 | printf("assign b.a2\n"); | 
|---|
| 71 | b.a2 = (A) { 2 }; | 
|---|
| 72 | printf("construct b.a1\n"); | 
|---|
| 73 | (b.a1){ 1 }; | 
|---|
| 74 | #ifdef ERR1 | 
|---|
| 75 | (b.a2){ b.a3 }; // error, b->a2 was used previously but is explicitly constructed | 
|---|
| 76 | #endif | 
|---|
| 77 | printf("end construct B\n"); | 
|---|
| 78 | } // a2, a3 never constructed - will be automatically default constructed | 
|---|
| 79 |  | 
|---|
| 80 | void ^?{}(B & b) { | 
|---|
| 81 | b.a2 = (A) { 0 }; | 
|---|
| 82 | ^(b.a1){}; | 
|---|
| 83 | } // a2, a3 never destructed - will be automatically destructed | 
|---|
| 84 |  | 
|---|
| 85 | int main() { | 
|---|
| 86 | printf("Before declaration of b1\n"); | 
|---|
| 87 | B b1; | 
|---|
| 88 | printf("Before declaration of b2\n"); | 
|---|
| 89 | B b2 = b1; | 
|---|
| 90 | printf("End of main\n"); | 
|---|
| 91 | } | 
|---|