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