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, int x) { |
---|
34 | printf("begin construct A\n"); |
---|
35 | printf("construct a->x\n"); |
---|
36 | (&a->x){ x+999 }; |
---|
37 | printf("assign a->y\n"); |
---|
38 | a->y = 0; // not a constructor - default constructor will be inserted |
---|
39 | printf("end construct A\n"); |
---|
40 | } // z never constructed - will be automatically default constructed |
---|
41 | |
---|
42 | void ?{}(A * this, A other) { |
---|
43 | printf("begin copy construct A\n"); |
---|
44 | printf("copy construct this->x\n"); |
---|
45 | (&this->x){ other.x }; |
---|
46 | printf("assign this->y\n"); |
---|
47 | this->y = other.y; // not a constructor - copy constructor will be inserted |
---|
48 | printf("end copy construct A\n"); |
---|
49 | } // z never constructed - will be automatically copy constructed |
---|
50 | |
---|
51 | struct B { |
---|
52 | A a1, a2, a3; |
---|
53 | }; |
---|
54 | |
---|
55 | void ?{}(B * b) { |
---|
56 | printf("begin construct B\n"); |
---|
57 | printf("assign b->a2\n"); |
---|
58 | b->a2 = (A) { 2 }; |
---|
59 | printf("construct b->a1\n"); |
---|
60 | (&b->a1){ 1 }; |
---|
61 | #ifdef ERR1 |
---|
62 | (&b->a2){ b->a3 }; // error, b->a2 was used previously but is explicitly constructed |
---|
63 | #endif |
---|
64 | printf("end construct B\n"); |
---|
65 | } // a2, a3 never constructed - will be automatically default constructed |
---|
66 | |
---|
67 | void ^?{}(B * b) { |
---|
68 | b->a2 = (A) { 0 }; |
---|
69 | ^(&b->a1){}; |
---|
70 | } // a2, a3 never destructed - will be automatically destructed |
---|
71 | |
---|
72 | int main() { |
---|
73 | printf("Before declaration of b1\n"); |
---|
74 | B b1; |
---|
75 | printf("Before declaration of b2\n"); |
---|
76 | B b2 = b1; |
---|
77 | printf("End of main\n"); |
---|
78 | } |
---|