1. 定义与特性#

不透明类型通过 some 关键字声明，对外隐藏具体类型，但编译器在编译期知晓实际类型。例如：

1
func makeTrapezoid() -> some Shape {
2
    let top = Triangle(size: 2)
3
    let bottom = FlippedShape(shape: top)
4
    return JoinedShape(top: top, bottom: bottom)
5
}

• 类型隐藏：调用者仅知返回值遵循 Shape 协议，不感知内部的 JoinedShape 类型。
• 编译期优化：编译器静态确定类型，避免运行时开销。
• 反向泛型：与泛型由调用者决定类型不同，不透明类型由函数实现决定类型。

2. 使用场景#

• 模块接口设计：保护内部类型细节，如图形变换操作返回 some Shape。
• 关联类型协议：解决带关联类型的协议无法直接作为返回类型的问题（如 some Container）。

1. 定义与特性#

装箱协议类型（存在类型）通过 any 关键字声明，允许存储任意遵循协议的具体类型：

1
struct VerticalShapes: Shape {
2
    var shapes: [any Shape] // 可存储不同具体类型
3
    func draw() -> String { /* 绘制所有形状 */ }
4
}

• 动态类型：具体类型在运行时确定，支持存储异构集合（如同时存放 Triangle 和 Square）。
• 性能开销：需要运行时类型检查和内存装箱操作。

2. 局限性#

• 类型信息丢失：无法直接访问具体类型的特有属性和方法，需通过 as? 向下转型。
• 操作限制：依赖具体类型的操作（如 == 比较）可能不可用。