对于使用“some”指令返回的 var，类型特定的方法不可用

Question

考虑工厂方法模式实现：

import UIKit

protocol TransportProtocol: CustomStringConvertible {
    func techReview()
}
// Make default implemetation opposed to @objc optional methods and properties
extension TransportProtocol {
    func techReview() {
        print("Reviewing \(type(of: self))")
    }
    var description: String {
        "This is a \(type(of: self))"
    }
}

final class Car: TransportProtocol {
    func changeOil() {
        print("Changed oil")
    }
}

final class Ship: TransportProtocol {
}


protocol LogisticProtocol {
    associatedtype Transport: TransportProtocol
    func createTransport() -> Transport
    func delivery(from A: Any, to B: Any)
    func techRewiew(for transport: TransportProtocol)
}

extension LogisticProtocol {
    
    func delivery(from A: Any, to B: Any) {
        print("Moving \(type(of: self)) from \(A) to \(B)")
    }
    
    func techRewiew(for transport: TransportProtocol) {
        transport.techReview()
    }
}

final class RoadLogistics: LogisticProtocol {
    
    func createTransport() -> some TransportProtocol {
        Car()
    }
    
}

final class SeaLogistics: LogisticProtocol {
    
    func createTransport() -> some TransportProtocol {
        Ship()
    }
}

// Usage:

class Client {
    // ...
    static func someClientCode<L: LogisticProtocol>(creator: L) -> some TransportProtocol {
        let transport = creator.createTransport()
        print("I'm not aware of the creator's type, but it still works.\n"
              + transport.description + "\n")
        creator.delivery(from: "Source", to: "Destination")
        return transport
    }
    // ...
}

              
let someTransport = Client.someClientCode(creator: RoadLogistics())
type(of: someTransport.self) // Car
someTransport.changeOil() // Error: Value of type 'some TransportProtocol' has no member 'changeOil'

问题是，如果编译器知道它是 Car，为什么我不能在 someTransport 上调用 changeOil()不仅仅是一个TransportProtocol。 使用 some 指令，而不仅仅是纯粹的协议类型，我们可以获得什么好处吗？

Answer 1

该方法的返回类型是 some TransportProtocol，而不是 Car。因此，即使返回的实例是 Car 类型，您也无法调用仅存在于 Car 上而不存在于 TransportProtocol 上的任何方法。

运行时知道someTransport的具体类型是Car，但编译器只知道返回类型符合到传输协议。

如果您希望能够访问 someTransport 上的 Car 方法，则需要将其向下转换为 Car。

if let car = someTransport as? Car {
    car.changeOil()
}

使用 some 关键字在用于不透明返回类型时具有类型系统优势（在 SE-0244 作为 Swift 5.1 的一部分），因为它实际上可以返回具有关联类型的协议，而无需必须显式地使该方法通用。这就是驱动 SwiftUI 的原因，因为它使您能够返回一些视图。

另一方面，对没有关联类型的协议使用不透明返回类型没有任何好处，因此在您的特定示例中，没有理由使用它。