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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend %s -parse-as-library -enable-experimental-feature Embedded -c -o %t/main.o
// RUN: %target-clang %t/main.o -o %t/a.out -dead_strip
// RUN: %target-run %t/a.out | %FileCheck %s
// REQUIRES: swift_in_compiler
// REQUIRES: executable_test
// REQUIRES: optimized_stdlib
// REQUIRES: OS=macosx || OS=linux-gnu
class MyClass {
init() { print("MyClass.init") }
deinit { print("MyClass.deinit") }
func foo() { print("MyClass.foo") }
}
class MySubClass: MyClass {
var x = 27
override init() { print("MySubClass.init") }
deinit { print("MySubClass.deinit") }
override func foo() { print("MySubClass.foo") }
func printX() {
print(x)
}
}
class MySubSubClass: MySubClass {
override init() { print("MySubSubClass.init") }
deinit { print("MySubSubClass.deinit") }
override func foo() { print("MySubSubClass.foo") }
}
class OtherSubClass: MyClass {}
func testCasting(_ title: StaticString, _ c: MyClass) {
print(title, terminator: "")
if let s = c as? MySubClass {
s.printX()
} else {
print("-")
}
}
public class DynamicSelfClass {
public static let ds = DynamicSelfClass()
public static let i: Int = 42
var x: Int
public init() {
self.x = Self.i
}
}
@main
struct Main {
static var o: (MyClass?, MyClass?, MyClass?) = (nil, nil, nil)
static func main() {
print("1") // CHECK: 1
o.0 = MyClass()
// CHECK: MyClass.init
print("")
print("2") // CHECK: 2
o.1 = MySubClass()
// CHECK: MySubClass.init
// CHECK: MyClass.init
print("")
print("3") // CHECK: 3
o.2 = MySubSubClass()
// CHECK: MySubSubClass.init
// CHECK: MySubClass.init
// CHECK: MyClass.init
print("")
print("4") // CHECK: 4
o.0!.foo()
o.1!.foo()
o.2!.foo()
// CHECK: MyClass.foo
// CHECK: MySubClass.foo
// CHECK: MySubSubClass.foo
print("")
print("5") // CHECK: 5
o.0 = nil
// CHECK: MyClass.deinit
o.1 = nil
// CHECK: MySubClass.deinit
// CHECK: MyClass.deinit
o.2 = nil
// CHECK: MySubSubClass.deinit
// CHECK: MySubClass.deinit
// CHECK: MyClass.deinit
print("")
// CHECK: base: -
testCasting("base: ", MyClass())
// CHECK: sub: 27
testCasting("sub: ", MySubClass())
// CHECK: subsub: 27
testCasting("subsub: ", MySubSubClass())
// CHECK: other: -
testCasting("other: ", OtherSubClass())
// CHECK: 42
print(DynamicSelfClass.ds.x)
}
}
|
