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
|
// RUN: %target-typecheck-verify-swift
// Test various orderings of constructor calls and assignments to make
// sure we figure out the constructor kind in various situations.
struct Measurement {
let val: Int
}
class Superclass {
init() {}
init(name: String) {}
}
class SomeClass : Superclass {
let width: Measurement // expected-note * {{declared here}}
let height: Measurement // expected-note * {{declared here}}
// super.init() call gives us a chaining initializer, where we can
// assign let properties
override init() {
self.width = Measurement.self.init(val: 10)
self.height = Measurement.self.init(val: 20)
super.init(name: "shape")
}
// Another case
init(width: Int, height: Int) {
super.init(name: "shape")
self.width = Measurement.self.init(val: width)
self.height = Measurement.self.init(val: height)
}
// Delegating initializer -- let properties are immutable
convenience init(width: Int) {
self.init(width: width, height: 20)
self.height = Measurement(val: 20) // expected-error {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
}
// Another case
convenience init(height: Int) {
self.width = Measurement(val: 20) // expected-error {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
self.init(width: 10, height: height)
}
}
struct SomeStruct {
let width: Measurement // expected-note * {{declared here}}
let height: Measurement // expected-note * {{declared here}}
// Delegating initializer
init() {
self.init()
self.width = Measurement.self.init(val: width) // expected-error {{cannot convert value of type 'Measurement' to expected argument type 'Int'}}
// expected-error@-1 {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
self.height = Measurement.self.init(val: height) // expected-error {{cannot convert value of type 'Measurement' to expected argument type 'Int'}}
// expected-error@-1 {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
}
// Designated initializer
init(width: Int, height: Int, meta: Measurement.Type) {
self.width = meta.init(val: width)
self.height = meta.init(val: height)
}
// Delegating initializer
init(width: Int) {
self.init()
self.width = width // expected-error {{cannot assign value of type 'Int' to type 'Measurement'}}
// expected-error@-1 {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
self.height = Measurement(val: 20) // expected-error {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
}
// Delegating initializer
init(height: Int) {
self.width = Measurement(val: 10) // expected-error {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
self.height = height // expected-error {{cannot assign value of type 'Int' to type 'Measurement'}}
// expected-error@-1 {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
self.init()
}
}
|
