Swift中初始化方法里使用some和any：哪种实现更优？

首先明确两者的核心语义：

• any Engine是存在类型，允许传入任意符合Engine协议的实例，会触发类型擦除，运行时维护具体类型信息。
• some Engine是不透明类型，表示某个特定的符合Engine协议的类型，编译时确定具体类型，但对外隐藏该类型细节。

结合你提供的代码场景，以下是两种实现的优劣分析：

1. 当前代码的局限性 #

两个版本的Car内部存储属性都是any Engine，意味着无论初始化时传入哪种Engine，最终都会被装箱为类型擦除的存在类型。这种前提下：

• CarVersion1的init(engine: any Engine)语义直白：明确告知调用者，这里接受任意Engine类型，内部也用类型擦除方式存储，后续若开放属性权限，还能更换不同类型的Engine实例。
• CarVersion2的init(engine: some Engine)虽然编译时会推断出具体的Engine类型，但因为最终存储为any Engine，编译时的类型信息会被丢弃，相当于浪费了some的特性优势，还可能造成语义混淆——调用者可能误以为Car的Engine类型是固定的，但实际并非如此。

2. 分场景判断最优实现 #

场景A：Car需要支持后续更换不同类型的Engine #

CarVersion1的实现更优：

• 参数与存储类型一致，语义清晰无歧义，调用者能准确理解Car的适配能力。
• 避免不必要的编译时类型推断开销，因为最终仍需执行类型擦除。

场景B：Car的Engine类型初始化后固定，无需更换 #

此时应该修改CarVersion2的存储属性为some Engine（而非any Engine），优化后的实现更优：

final class CarVersion2 {
    private var engine: some Engine
    init(engine: some Engine) { self.engine = engine }
    func printEngineType() { print(engine.typeName) }
}

• 不透明类型some Engine能保留编译时类型信息，避免类型擦除带来的运行时开销。
• 对外隐藏具体Engine类型，提升封装性：调用者只需知道Car使用了某种Engine，无需关心具体是电动还是燃油类型，后续新增符合协议的Engine实现时，调用方代码无需修改。

当前代码的结论 #

在你提供的代码中，由于两者的存储属性均为any Engine，CarVersion1的实现更合理：语义一致，没有多余的类型推断，避免了语义混淆的问题。

内容的提问来源于stack exchange，提问作者iCoder