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