Swift包扩展无需重复导入即可使用的原因是什么？

问题场景 #

在SwiftUI应用中，我通过Swift Package Manager(SPM)引入了私有GitHub仓库中的自定义包MyPackage，用来提供可复用UI组件与修饰符，其中包含对View的公开扩展：

public extension View {
    
    /// Shimmering loading animation
    /// - Parameter isLoading: True if loading animation should play
    @ViewBuilder func isLoading(_ isLoading: Bool = true) -> some View {
        ...
    }
}

首次使用isLoading()修饰符时需要导入MyPackage，但后续其他文件使用该扩展无需再次导入；不过使用包内自定义View仍需每次导入。想了解Swift中导入的具体规则，以及扩展与新类型行为不同的原因。

Swift 核心导入规则 #

• 模块公开扩展的全局可访问性：当你在项目中通过SPM引入一个模块后，只要在任意文件中首次导入该模块，Swift会将模块内的公开扩展注入到全局类型查找上下文。后续文件中，只要原类型（比如这里的View）已经可见（比如导入了SwiftUI），就能直接使用扩展方法，无需重复导入模块。
• 自定义类型的作用域限制：模块内定义的自定义View属于全新类型，这类类型的作用域被严格限定在所属模块内，只有显式导入模块后，编译器才能在当前文件的作用域中识别到该类型，因此每次使用都需要导入。

行为差异的根本原因 #

• 扩展是对已有类型的增强：公开扩展是依附于已有类型（如SwiftUI的View）的功能补充，一旦模块被加载到项目中，这些扩展方法会被绑定到原类型上。只要原类型在当前文件中可用，编译器就能自动匹配到关联的扩展方法，不需要再次导入扩展所在模块。
• 新类型是独立的实体：自定义View是模块内全新定义的独立类型，不属于任何系统或已存在的类型体系。编译器无法自动感知未导入模块中的新类型，必须通过显式导入来将其加入当前文件的作用域，才能正常使用。

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