| 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 | }
 | 
|---|