| [4d4882a] | 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 |  | 
|---|
| [235114f] | 33 | void ?{}(A * a) { | 
|---|
|  | 34 | // currently must define default ctor, since there's no "= default" syntax | 
|---|
|  | 35 | } | 
|---|
|  | 36 |  | 
|---|
| [4d4882a] | 37 | void ?{}(A * a, int x) { | 
|---|
| [f7e749f] | 38 | printf("begin construct A\n"); | 
|---|
|  | 39 | printf("construct a->x\n"); | 
|---|
| [4d4882a] | 40 | (&a->x){ x+999 }; | 
|---|
| [f7e749f] | 41 | printf("assign a->y\n"); | 
|---|
| [4d4882a] | 42 | a->y = 0; // not a constructor - default constructor will be inserted | 
|---|
| [f7e749f] | 43 | printf("end construct A\n"); | 
|---|
| [4d4882a] | 44 | } // z never constructed - will be automatically default constructed | 
|---|
|  | 45 |  | 
|---|
|  | 46 | void ?{}(A * this, A other) { | 
|---|
| [f7e749f] | 47 | printf("begin copy construct A\n"); | 
|---|
|  | 48 | printf("copy construct this->x\n"); | 
|---|
| [4d4882a] | 49 | (&this->x){ other.x }; | 
|---|
| [f7e749f] | 50 | printf("assign this->y\n"); | 
|---|
| [4d4882a] | 51 | this->y = other.y; // not a constructor - copy constructor will be inserted | 
|---|
| [f7e749f] | 52 | printf("end copy construct A\n"); | 
|---|
| [4d4882a] | 53 | } // z never constructed - will be automatically copy constructed | 
|---|
|  | 54 |  | 
|---|
| [ddbde34] | 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 |  | 
|---|
| [4d4882a] | 64 | struct B { | 
|---|
|  | 65 | A a1, a2, a3; | 
|---|
|  | 66 | }; | 
|---|
|  | 67 |  | 
|---|
|  | 68 | void ?{}(B * b) { | 
|---|
| [f7e749f] | 69 | printf("begin construct B\n"); | 
|---|
|  | 70 | printf("assign b->a2\n"); | 
|---|
| [4d4882a] | 71 | b->a2 = (A) { 2 }; | 
|---|
| [f7e749f] | 72 | printf("construct b->a1\n"); | 
|---|
| [4d4882a] | 73 | (&b->a1){ 1 }; | 
|---|
|  | 74 | #ifdef ERR1 | 
|---|
|  | 75 | (&b->a2){ b->a3 }; // error, b->a2 was used previously but is explicitly constructed | 
|---|
|  | 76 | #endif | 
|---|
| [f7e749f] | 77 | printf("end construct B\n"); | 
|---|
| [4d4882a] | 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() { | 
|---|
| [44f6341] | 86 | printf("Before declaration of b1\n"); | 
|---|
| [4d4882a] | 87 | B b1; | 
|---|
| [44f6341] | 88 | printf("Before declaration of b2\n"); | 
|---|
| [4d4882a] | 89 | B b2 = b1; | 
|---|
| [44f6341] | 90 | printf("End of main\n"); | 
|---|
| [4d4882a] | 91 | } | 
|---|