| 特性 | some | any | generic |
|---|---|---|---|
some | any | generic | |
| 範例 | | | |
| 型別決定者 | 👷 實現者 | 🧑💼 使用者 | 🧑💼 使用者 |
| 型別決定期 | ⚙️ 編譯期 | 🏎️ 執行期 | ⚙️ 編譯期 |
| 允許多型別 | 否，單型別 (homogeneous type) 對使用者隱藏具體型別，故稱為 opaque type。 | 是，多型別 (heterogeneous type) 將具體型別封裝起來的型別，故稱為 boxed protocol type。 | 介於是與否之間 使用者可指定不同的 不過一旦指定了 |
// custom protocol
protocol MyShape {
func area() -> Double
}
// custom types conforming to MyShape
struct MyCircle: MyShape {
var radius: Double
func area() -> Double { .pi * radius * radius }
}
struct MySquare: MyShape {
var size: Double
func area() -> Double { size * size }
}
// return type: opaque type (some)
func makeCircle() -> some MyShape { // ⭐️ 返回值具體型別：`MyCircle`
return MyCircle(radius: 10) // ⭐️ 決定者：實現者
} // ⭐️ 決定期：編譯期 (compile time)
// return type: boxed protocol type (any)
func makeAnyShape() -> any MyShape { // ⭐️ 返回值具體型別：(動態決定)
let n = Int.random(in: 1...6) // ⭐️ 決定者：使用者
return (n % 2 == 0) // ⭐️ 決定期：執行期 (run time)
? MyCircle(radius: 10)
: MySquare(size: 4)
}
// generic type
struct Container<T> {
var value: T
}
// return type (of computed property)
// -------------------------------------
let n = Int.random(in: 1...5)
// ✅ OK (same type, homogeneous)
var a: some View {
if n % 2 == 0 { Text("Even") }
else { Text("Odd") }
}
// ⛔ NG! (Text ≠ Label)
var b: some View {
if n % 2 == 0 { Text("Even") }
else { Label("Hello", systemImage: "bolt.fill") }
}
// ✅ OK (heterogeneous, implicit type erasure)
var c: any View {
if n % 2 == 0 { Text("Even") }
else { Label("Hello", systemImage: "bolt.fill") }
}