-
-
Notifications
You must be signed in to change notification settings - Fork 593
/
xdtor.d
86 lines (72 loc) · 1.34 KB
/
xdtor.d
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
// PERMUTE_ARGS:
struct Field
{
~this() @safe @nogc pure nothrow {}
}
struct Counter
{
static size_t cnt;
~this() @safe @nogc nothrow { ++cnt; }
}
struct Foo
{
~this() @safe @nogc pure nothrow {}
Field field;
}
class Bar
{
~this() @safe @nogc pure nothrow {}
Field field;
}
void test1() @safe @nogc pure nothrow
{
Foo foo;
foo.__xdtor();
scope bar = new Bar();
bar.__xdtor();
}
static assert(__traits(hasMember, Foo, "__xdtor"));
static assert(__traits(hasMember, Bar, "__xdtor"));
//
struct FieldDtor
{
Counter counter;
}
struct AggrDtor
{
static size_t cnt;
~this() @safe @nogc nothrow { ++cnt; }
}
struct MixedDtor
{
static size_t cnt;
Counter counter;
~this() @safe @nogc nothrow { ++cnt; }
}
struct SNoDtor {}
class CNoDtor {}
static assert(!__traits(hasMember, SNoDtor, "__xdtor"));
static assert(!__traits(hasMember, CNoDtor, "__xdtor"));
void test2() @safe @nogc nothrow
{
FieldDtor a;
assert(Counter.cnt == 0);
a.__xdtor();
assert(Counter.cnt == 1);
AggrDtor b;
assert(AggrDtor.cnt == 0);
b.__xdtor();
assert(AggrDtor.cnt == 1);
Counter.cnt = 0;
MixedDtor c;
assert(MixedDtor.cnt == 0);
assert(Counter.cnt == 0);
c.__xdtor();
assert(MixedDtor.cnt == 1);
assert(Counter.cnt == 1);
}
void main()
{
test1();
test2();
}