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
113
114
115
116
117
118
119
120
|
// RUN: %target-run-simple-swift(-Xfrontend -disable-concrete-type-metadata-mangled-name-accessors)
// RUN: %target-run-simple-swift
// REQUIRES: executable_test
import StdlibUnittest
var captures = TestSuite("VariadicGenericCaptures")
func hasMetadataPack<each T>(_: repeat each T) -> () -> Any.Type {
return { return (repeat each T).self }
}
captures.test("Metadata") {
expectEqual(Void.self, hasMetadataPack()())
expectEqual((Int, String, Bool).self, hasMetadataPack(1, "hi", false)())
}
func hasWitnessTablePack<each T: Sequence>(_: repeat each T) -> () -> Any.Type {
return { return (repeat (each T).Element).self }
}
captures.test("WitnessTable") {
expectEqual(Void.self, hasWitnessTablePack()())
expectEqual((Int, String, Bool).self, hasWitnessTablePack([1], ["hi"], [false])())
}
func hasWitnessTablePack2<each T: Sequence>(_: repeat each T) -> () -> Any.Type where repeat (each T).Element: Sequence {
return { return (repeat (each T).Element.Element).self }
}
captures.test("WitnessTable2") {
expectEqual(Void.self, hasWitnessTablePack2()())
expectEqual((Int, String, Bool).self, hasWitnessTablePack2([[1]], [["hi"]], [[false]])())
}
// Test lifetimes of captured packs
func lifetimeTest1() -> () -> Any.Type {
return hasMetadataPack("hello", Set<Int>())
}
func lifetimeTest2() -> () -> Any.Type {
return hasMetadataPack(3, 1.0)
}
captures.test("Lifetime") {
let fn1 = lifetimeTest1()
let fn2 = lifetimeTest2()
expectEqual((String, Set<Int>).self, fn1())
expectEqual((Int, Double).self, fn2())
}
// Test captured parameter packs
func testEscapingCapture<each T: Hashable>(_ t: repeat each T) -> () -> [AnyHashable] {
return {
var result = [AnyHashable]()
repeat result.append(each t)
return result
}
}
func callNonEscaping(_ fn: () -> [AnyHashable]) -> [AnyHashable] {
return fn()
}
func testNonEscapingCapture<each T: Hashable>(_ t: repeat each T) -> [AnyHashable] {
return callNonEscaping {
var result = [AnyHashable]()
repeat result.append(each t)
return result
}
}
captures.test("CapturedValue") {
let fn1 = testEscapingCapture(1, "hi")
let fn2 = testEscapingCapture(5.0, false)
expectEqual([1, "hi"], fn1())
expectEqual([5.0, false], fn2())
expectEqual(["bye", 3.0], testNonEscapingCapture("bye", 3.0))
expectEqual([true, 7], testNonEscapingCapture(true, 7))
}
captures.test("Leaks") {
func callee<T>(_: T) {}
func takesEscapingClosure(_ fn: @escaping () -> ()) {
fn()
fn()
fn()
}
func takesNonEscapingClosure(_ fn: () -> ()) {
fn()
fn()
fn()
}
func formPackCaptures<each V>(_ v: repeat each V) {
takesEscapingClosure { repeat callee(each v) }
takesNonEscapingClosure { repeat callee(each v) }
{ repeat callee(each v) }()
}
struct S {
init<each V>(_ v: repeat each V) {
takesEscapingClosure { repeat callee(each v) }
takesNonEscapingClosure { repeat callee(each v) }
{ repeat callee(each v) }()
}
}
for _ in 0..<10 {
formPackCaptures(LifetimeTracked(0), LifetimeTracked(0), LifetimeTracked(0))
callee(S(LifetimeTracked(1), LifetimeTracked(1), LifetimeTracked(1)))
}
}
runAllTests()
|
