源码版本说明:本文涉及的源码基于 Swift 编译器 开发版本(swift main分支,commit: e0db5152d4d4,2026-01-19)。不同版本的实现细节可能略有差异,但核心机制保持一致。

在前一篇文章Objective-C中import详解中,我们深入探讨了 Objective-C 中的 import 机制,包括 #include#import@import 以及 Clang Modules 的工作原理。本文将继续从 Swift 编译器的角度,讲解 Swift 中 import 的语法、模块查找机制、底层实现原理以及与 Objective-C 的互操作。

从 Clang Module 到 Swift Module

在深入 Swift 的 import 机制之前,让我们先回顾一下上一篇文章中 Clang Module 的核心概念。

Clang Module 核心概念回顾

在 Objective-C 文章中,我们学习了 Clang Module 的几个关键特性:

  1. module.modulemap:定义模块结构的配置文件

    framework module Foundation {
      umbrella header "Foundation.h"
      export *
    }
    
  2. 预编译模块缓存(.pcm 文件):Clang 将模块编译为二进制格式,缓存以加速后续编译

  3. 懒加载机制:只加载实际使用的声明,未使用的部分不会被解析

  4. 自动链接@import 会自动链接对应的库,无需手动配置

  5. 模块查找路径:通过 -I-F 等参数指定搜索路径

Swift 如何继承 Clang Module 的设计

Swift 的模块系统并非从零开始设计,而是站在 Clang Module 的肩膀上,继承了其核心优势,并针对 Swift 的特性进行了扩展:

特性Clang ModuleSwift Module
模块定义文件module.modulemap编译器自动生成
预编译格式.pcm (Precompiled Module).swiftmodule (序列化 AST)
文本接口格式不支持.swiftinterface (Library Evolution)
懒加载✅ 支持✅ 支持
自动链接✅ 支持✅ 支持
子模块✅ 支持✅ 支持
声明级别导入❌ 不支持✅ 支持(import class UIKit.UIView

关键区别

  1. 无需手写模块定义:Swift 不需要 module.modulemap,编译器会自动将每个 Swift 模块的公开 API 序列化
  2. 更细粒度的导入:Swift 支持导入特定类型(import struct Darwin.size_t),Clang 只能导入整个模块或子模块
  3. 稳定的文本接口.swiftinterface 文件提供跨编译器版本的稳定 ABI

Swift 与 Clang Module 的协作

Swift 并没有抛弃 Clang Module,而是通过 ClangImporter 无缝集成了 Clang 的模块系统。这意味着:

  • Swift 可以直接 import Clang 模块(如 import Foundationimport UIKit
  • Swift 复用 Clang 的 module.modulemap.pcm 缓存
  • Swift 可以导入 C、Objective-C、C++ 代码

接下来,我们先深入了解 Swift 如何导入 Clang 模块,然后再探讨 Swift 自己的模块系统。

Swift 导入 Clang 模块

ClangImporter:连接两个世界的桥梁

Swift 通过 ClangImporter 组件导入 C、Objective-C 和 C++ 代码。ClangImporter 的核心工作是:

  1. 启动 Clang 编译器:在 Swift 编译器内部嵌入一个 Clang 实例
  2. 启用 Clang Module 支持:配置 Clang 使用模块系统
  3. 加载 Clang 模块:使用 Clang 的模块加载机制
  4. 转换声明:将 Clang AST 转换为 Swift AST
// lib/ClangImporter/ClangImporter.cpp 第543-547行
// Enable modules.
invocationArgStrs.insert(invocationArgStrs.end(), {
    "-fmodules",
    "-Xclang", "-fmodule-feature", "-Xclang", "swift"
});

这段源码显示,ClangImporter 会自动为 Clang 启用 -fmodules 选项,这与我们在 Objective-C 文章中看到的 @import 机制完全一致。

module.modulemap 在 Swift 中的作用

Objective-C 文章中的 module.modulemap 在 Swift 中同样重要:

framework module MyFramework {
  umbrella header "MyFramework.h"
  export *
  module * { export * }
}

当你在 Swift 中写 import MyFramework 时,ClangImporter 会:

  1. 在 Framework 搜索路径中查找 MyFramework.framework
  2. 读取 MyFramework.framework/Modules/module.modulemap
  3. 使用 Clang 加载该模块(生成或使用缓存的 .pcm 文件)
  4. 将 Clang 声明转换为 Swift 可用的形式

查找顺序(与 Objective-C 完全相同):

  1. Framework.framework/Modules/module.modulemap(推荐位置)
  2. Framework.framework/module.map(已废弃)
  3. Framework.framework/Modules/module.private.modulemap(私有模块)

Swift Overlay:增强 Objective-C API

许多系统框架(如 FoundationUIKit)虽然是用 Objective-C 编写的,但在 Swift 中使用时却感觉像原生 Swift API。这是因为 Swift 提供了 Overlay 机制

什么是 Overlay?

Overlay 是一个 Swift 模块,它:

  1. 导入底层的 Clang 模块(如 Objective-C 的 Foundation)
  2. 为 Clang 类型添加 Swift 风格的扩展和包装
  3. 提供更符合 Swift 习惯的 API

示例

// 当你写:
import Foundation

// 实际上加载了两个模块:
// 1. Foundation (Clang 模块) - 底层 Objective-C 实现
// 2. Swift.Foundation (Swift Overlay) - Swift 扩展和包装

Overlay 为 Objective-C 类型提供了:

  • 值语义包装(如 URLDateData
  • Swift 风格的 API(如 String 的扩展方法)
  • 泛型和协议一致性(如 Array<T> 桥接到 NSArray
// lib/Sema/ImportResolution.cpp 第549-553行
// 3. 隐式导入底层 Clang 模块(用于 overlay)
if (importInfo.ShouldImportUnderlyingModule) {
  // @_exported self-import
}

Bridging Header vs Module Map

在 Swift 项目中,有两种方式导入 C/Objective-C 代码:

方式一:Module Map(推荐)

如果 C/Objective-C 代码有 module.modulemap,可以直接导入:

import MyObjCFramework  // 通过 module.modulemap 导入

优点

  • 模块化,避免全局污染
  • 支持懒加载
  • 可以被多个 Swift 模块共享
  • 与 Objective-C 的 @import 机制一致

方式二:Bridging Header

对于没有 Module Map 的遗留代码,使用 Bridging Header:

// MyProject-Bridging-Header.h
#import "LegacyObjCClass.h"
#import "CUtilities.h"
// lib/Sema/ImportResolution.cpp 第601-613行
// Implicitly import the bridging header module if needed.
auto bridgingHeaderPath = importInfo.BridgingHeaderPath;
if (!bridgingHeaderPath.empty() &&
    !clangImporter->importBridgingHeader(bridgingHeaderPath, module)) {
  auto *headerModule = clangImporter->getImportedHeaderModule();
  // 将 bridging header 作为一个模块添加到隐式导入中
}

Bridging Header 的工作原理

  1. ClangImporter 将 Bridging Header 中的所有 #import 编译为一个隐式模块
  2. 这个隐式模块自动对当前 Swift 模块可见
  3. 无需显式 import,可以直接使用 Bridging Header 中的类型

限制

  • Bridging Header 只对当前 Swift 模块可见,不能被其他模块导入
  • 所有内容都会被导入,无法选择性导入
  • 编译性能不如 Module Map(无法充分利用缓存)

最佳实践:优先使用 Module Map,只在无法修改第三方代码时才使用 Bridging Header。

C++ 互操作

Swift 5.9+ 支持直接导入 C++ 代码:

// 需要启用 C++ 互操作
// Build Settings -> C++ and Objective-C Interoperability -> C++ / Objective-C++

import CxxModule  // 导入 C++ 模块
// lib/ClangImporter/ClangImporter.cpp 第549-565行
bool EnableCXXInterop = LangOpts.EnableCXXInterop;
if (LangOpts.EnableObjCInterop) {
  invocationArgStrs.insert(invocationArgStrs.end(), {
    "-x", EnableCXXInterop ? "objective-c++" : "objective-c",
  });
} else {
  invocationArgStrs.insert(invocationArgStrs.end(), {
    "-x", EnableCXXInterop ? "c++" : "c",
  });
}

ClangImporter 会根据配置选择正确的语言模式(C、Objective-C、C++ 或 Objective-C++)。

Swift 模块系统

理解了 Swift 如何导入 Clang 模块后,现在让我们看看 Swift 自己的模块系统。

在开始讨论模块文件格式之前,我们先来解答一个 Swift 开发者常见的疑问:为什么同一 Target(模块)下的 Swift 文件可以直接相互访问,而不需要 import?

这与 Objective-C/C 的头文件机制形成了鲜明对比。在 C 语言家族中,每个源文件是独立的编译单元,必须通过 #include#import 显式引入其他文件的声明。而 Swift 采用了完全不同的设计理念。

模块是 Swift 的基本编译单元

根据 Swift 官方文档的定义:

模块(Module) 是代码分发的单一单元——一个被构建并作为单一单元发布的 Framework 或 Application,可以通过 import 关键字被另一个模块导入。在 Xcode 中,每个构建目标(Build Target,如 App Bundle 或 Framework)都被视为一个独立的模块。

源文件(Source File) 是模块内的单个 Swift 源代码文件。虽然通常将不同类型定义在不同的源文件中,但单个源文件可以包含多个类型、函数和其他实体的定义。

关键点:在 Swift 中,模块(而非源文件)才是基本的编译和可见性单元。同一模块内的所有源文件共享一个统一的命名空间。

访问控制与模块可见性

Swift 的访问控制机制是理解这一行为的关键:

访问级别可见范围
open / public模块内 + 导入该模块的其他模块
internal(默认)模块内的所有源文件
fileprivate仅当前源文件
private仅当前声明及其同文件的扩展

默认的 internal 访问级别使得同一模块内的所有声明自动对模块内的所有源文件可见,这就是为什么你不需要 import。

// FileA.swift (属于 MyApp 模块)
class NetworkManager {  // 默认 internal 访问级别
    func fetchData() { }
}

// FileB.swift (属于 MyApp 模块)
class ViewController {
    let manager = NetworkManager()  // ✅ 直接使用,无需 import
    
    func load() {
        manager.fetchData()  // ✅ 可以访问 internal 方法
    }
}

与 C/Objective-C 的对比

C/Objective-C 的编译模型

源文件A.m  →  [预处理: 展开 #import]  →  编译单元A  →  目标文件A.o
源文件B.m  →  [预处理: 展开 #import]  →  编译单元B  →  目标文件B.o
                                                      [链接器]
                                                      最终二进制

Swift 的编译模型

源文件A.swift ─┐
源文件B.swift ─┼→  [Swift 编译器: 整体分析模块]  →  模块产物
源文件C.swift ─┘         ↑
                    所有文件共享命名空间

编译器如何实现模块内可见性

Swift 编译器在编译一个模块时,会:

  1. 收集所有源文件:将模块内的所有 .swift 文件作为一个整体处理
  2. 构建统一的符号表:所有 internal(及以上)访问级别的声明都注册到模块级别的符号表中
  3. 名称查找:当解析代码时,编译器会在当前模块的符号表中查找标识符
// Swift 编译器中的访问控制检查(简化示意)
// 如果一个实体的访问级别 >= internal,且查找上下文在同一模块内
// 则该实体对查找上下文可见,无需 import

这种设计的核心思想是:模块是一个内聚的代码单元,模块内的代码应该能够自由协作import 只用于引入外部模块的代码。

整体模块优化(Whole Module Optimization)

Swift 的模块级编译还带来了一个额外的好处:整体模块优化(WMO)

当启用 -whole-module-optimization 编译选项时(Release 模式默认启用),编译器可以:

  • 跨文件内联函数
  • 为具体类型特化泛型函数
  • 移除未使用的代码
  • 进行更激进的优化

这些优化之所以可能,正是因为编译器将整个模块作为一个单元来分析,能够看到所有文件中的实现细节。

模块文件格式

.swiftmodule:二进制序列化模块

.swiftmodule 类似于 Clang 的 .pcm 文件,但包含的信息更丰富:

内容Clang .pcmSwift .swiftmodule
AST
类型信息
中间表示LLVM IR (可选)SIL (Swift Intermediate Language)
依赖信息
内联函数体✅ (用于跨模块优化)
// lib/Serialization/Serialization.cpp 第7345-7370行
void Serializer::writeToStream(...) {
  Serializer S{SWIFTMODULE_SIGNATURE, DC, options};
  
  S.writeBlockInfoBlock();
  {
    BCBlockRAII moduleBlock(S.Out, MODULE_BLOCK_ID, 2);
    S.writeHeader();
    S.writeInputBlock();
    S.writeSIL(SILMod);  // 写入 SIL(Clang 不需要这个)
    S.writeAST(DC);
    // ...
  }
  S.writeToStream(os);
}

.swiftinterface:文本接口文件

这是 Swift 相比 Clang Module 的重要创新。Clang 的 .pcm 文件是二进制格式,依赖编译器版本,而 Swift 提供了 .swiftinterface 文本格式,用于支持 Library Evolution(库演进)。

// swift-interface-format-version: 1.0
// swift-compiler-version: Apple Swift version 5.9
// swift-module-flags: -enable-library-evolution -module-name MyModule
import Swift
import Foundation

@frozen public struct Point {
  @_hasStorage public var x: Double { get set }
  @_hasStorage public var y: Double { get set }
  public init(x: Double, y: Double)
}

@inlinable public func distance(from a: Point, to b: Point) -> Double {
  let dx = b.x - a.x
  let dy = b.y - a.y
  return (dx * dx + dy * dy).squareRoot()
}

与 Clang Module 的对比

特性Clang .pcmSwift .swiftinterface
格式二进制文本
可读性❌ 不可读✅ 人类可读
跨版本兼容❌ 依赖编译器版本✅ 跨编译器版本
函数体不包含包含 @inlinable 函数体
用途编译加速编译加速 + ABI 稳定性

特点

  1. 跨编译器版本兼容:不依赖编译器内部格式
  2. 只包含公开 API:非 @inlinable 函数体被省略
  3. 显式写出推断信息:如关联类型推断结果、派生一致性等
// docs/Generics/chapters/compilation-model.tex 第507-512行
// Textual interface files use the ".swiftinterface" file name extension.
// They are generated by the AST printer, which prints declarations in a
// format that looks very much like Swift source code, with a few exceptions:
// 1. Non-@inlinable function bodies are skipped
// 2. Synthesized declarations are written out explicitly
// 3. Opaque result types require special handling

懒加载机制:继承自 Clang

与 Clang Module 的 PCH 类似,Swift 模块也采用**懒加载(Lazy Deserialization)**机制:

  1. 首先加载模块的元数据和索引
  2. 只在代码实际引用某个类型或函数时,才反序列化该声明
  3. 未使用的声明永远不会被加载
// lib/Serialization/Deserialization.cpp
// 声明和类型只在被引用时才反序列化
// 未使用的部分不会占用编译时间

实际效果:即使导入了一个大型模块(如 Foundation),如果只使用其中少量类型(如 DateURL),编译器也只会加载这些类型的定义,大幅减少编译时间和内存占用。

这与 Clang Module 的懒加载机制完全一致,证明了这种设计的有效性。

模块加载器架构

Swift 编译器使用一系列**模块加载器(Module Loader)**来查找和加载模块。这些加载器按优先级顺序排列:

// lib/Frontend/Frontend.cpp 第776-783行(注释)
// 1. ExplicitSwiftModuleLoader: 显式指定的模块路径
// 2. MemoryBufferSerializedModuleLoader: 内存缓冲区加载
// 3. ExplicitCASModuleLoader: CAS 缓存加载
// 4. ModuleInterfaceLoader: .swiftinterface 文件加载
// 5. ImplicitSerializedModuleLoader: 隐式搜索路径加载
// 6. ClangImporter: Clang 模块加载(必须最后)

为什么 ClangImporter 必须最后?

// lib/Frontend/Frontend.cpp 第781-783行
// ClangImporter: This must come after all the Swift module loaders because
// in the presence of overlays and mixed-source frameworks, we want to prefer
// the overlay or framework module over the underlying Clang module.

当存在 Swift overlay(如 Foundation Swift overlay)时,应该优先加载 Swift 版本,而不是底层的 Clang 模块。这确保了 Swift 代码使用的是增强过的 Swift API,而不是原始的 Objective-C API。

搜索路径:与 Clang 一致的设计

Swift 编译器支持的搜索路径参数与 Clang 保持一致:

参数说明Xcode 配置Clang 等价
-I模块搜索路径Import Paths-I
-Isystem系统模块搜索路径--isystem
-FFramework 搜索路径Framework Search Paths-F
-Fsystem系统 Framework 搜索路径--iframework
-sdkSDK 路径SDK 设置-isysroot
// lib/Frontend/CompilerInvocation.cpp 第2439-2455行
std::vector<SearchPathOptions::SearchPath> ImportSearchPaths(...);
for (const Arg *A : Args.filtered(OPT_I, OPT_Isystem)) {
  ImportSearchPaths.push_back(
      {resolveSearchPath(A->getValue()),
       /*isSystem=*/A->getOption().getID() == OPT_Isystem});
}

std::vector<SearchPathOptions::SearchPath> FrameworkSearchPaths(...);
for (const Arg *A : Args.filtered(OPT_F, OPT_Fsystem)) {
  FrameworkSearchPaths.push_back(
      {resolveSearchPath(A->getValue()),
       /*isSystem=*/A->getOption().getID() == OPT_Fsystem});
}

这种一致性使得从 Objective-C 迁移到 Swift 时,开发者无需学习全新的搜索路径配置方式。

模块查找流程

当执行 import SomeModule 时,Swift 编译器按以下顺序查找:

1. 检查是否是 Builtin 模块
2. 检查是否是当前模块自身(用于导入 Clang 子模块)
3. 遍历模块加载器,依次尝试加载
   └── 在每个搜索路径中查找:
       ├── $PATH/SomeModule.swiftmodule/{arch}.swiftmodule
       ├── $PATH/SomeModule.swiftmodule/{arch}.swiftinterface  
       ├── $PATH/SomeModule.swiftmodule
       ├── $PATH/SomeModule.framework/...
       └── 最后尝试 Clang 模块(通过 ClangImporter)
// lib/Serialization/SerializedModuleLoader.cpp 第186-210行
case ModuleSearchPathKind::Import: {
  // Look for:
  // $PATH/{name}.swiftmodule/{arch}.{extension} or
  // $PATH/{name}.{extension}
  forEachDirectoryEntryPath(searchPath, [&](StringRef path) {
    auto pathExt = llvm::sys::path::extension(path);
    if (pathExt != moduleSuffix && pathExt != suffix)
      return;
    // ...
  });
}

Framework 查找

对于 Framework,查找路径会转换为:

SomeFramework.framework/
├── Modules/
│   ├── SomeFramework.swiftmodule/
│   │   ├── arm64-apple-ios.swiftmodule
│   │   ├── arm64-apple-ios.swiftinterface
│   │   └── ...
│   └── module.modulemap  ← Clang 模块定义(如果有 OC 代码)
├── Headers/
│   └── SomeFramework.h
└── SomeFramework (二进制)

这种结构同时支持 Swift 模块和 Clang 模块,使得混编 Framework 成为可能。

Swift import 语法详解

前面我们了解了 Swift 模块系统的底层机制——如何加载模块、如何查找文件、如何与 Clang Module 协作。现在让我们回到源码层面,看看开发者日常使用的 import 语句是如何被编译器处理的。

与 Clang 的语法对比,Swift 的 import 是一个声明(Declaration),而非预处理指令。这意味着:

  • 它在 AST 中有对应的节点(ImportDecl
  • 在语义分析阶段处理,而非预处理阶段
  • 可以有属性修饰(如 @testablepublic
  • 可以有访问级别控制

基本语法

Swift 的 import 语句看起来很简单,但实际上支持多种灵活的用法:

// 1. 导入整个模块
import Foundation

// 2. 导入特定类型的声明
import struct Darwin.size_t
import class UIKit.UIViewController

// 3. 导入子模块
import Foundation.NSObject

// 4. 带属性的导入
@testable import MyModule

从编译器的角度看,Swift 的 import 语法在解析器中定义如下:

decl-import:
    'import' attribute-list import-kind? import-path
import-kind:
    'typealias' | 'struct' | 'class' | 'enum' | 'protocol' | 'var' | 'func'
import-path:
    any-identifier ('.' any-identifier)*

这个语法定义告诉我们:

  • attribute-list:可以添加属性(如 @testable
  • import-kind:可选的类型限定符(如 structclass
  • import-path:模块路径,支持点号分隔的多级路径

ImportKind:Swift 独有的声明级别导入

还记得前面对比表格中提到的 Swift 独有特性吗?Swift 支持仅导入模块中的特定类型声明,这是 Clang Module 不具备的能力。这个特性通过 ImportKind 枚举实现:

// include/swift/AST/Import.h 第47-56行
enum class ImportKind : uint8_t {
  Module = 0,  // 导入整个模块
  Type,        // typealias
  Struct,      // struct
  Class,       // class
  Enum,        // enum
  Protocol,    // protocol
  Var,         // var/let
  Func         // func
};

使用示例

// 导入整个模块
import Foundation

// 仅导入特定类型
import class Foundation.NSObject
import struct Darwin.size_t
import func Darwin.C.strlen
import protocol Swift.Equatable

// 导入类型别名(会被转换为实际类型的 ImportKind)
import typealias Foundation.TimeInterval  // 实际按 struct 处理(因为 TimeInterval 是 Double)

声明级别导入的作用

  1. 解决命名冲突:当两个模块有同名声明时,可以选择性导入
  2. 提高查找优先级:被显式导入的声明在名称查找时优先级更高
// 假设 ModuleA 和 ModuleB 都有 Config 类型
import class ModuleA.Config  // 显式导入 ModuleA.Config
import ModuleB

let config = Config()  // 使用 ModuleA.Config(因为显式导入优先级更高)

为什么 Clang Module 不支持这个特性?

Clang Module 基于 C/Objective-C 的头文件系统,导入的最小单位是"模块"或"子模块"。而 Swift 从设计之初就将 import 作为一个声明节点,可以更细粒度地控制导入的内容。

编译器如何解析 import 语法

了解了 import 的语法和 ImportKind 的作用后,我们来看看 Swift 编译器是如何将源码中的 import 语句解析成 AST(抽象语法树)节点的。

回顾编译流程

源码 → [词法分析] → Token 流 → [语法分析/Parser] → AST → [语义分析] → 类型检查的 AST

import 语句在语法分析阶段被解析为 ImportDecl 节点,然后在语义分析阶段真正加载模块(这部分我们稍后会详细讲解)。

当解析器遇到 import Foundationimport class UIKit.UIViewController 这样的语句时,需要完成以下工作:

  1. 识别 import 关键字
  2. 解析可选的类型限定符(如 classstruct
  3. 解析模块路径(如 FoundationUIKit.UIViewController
  4. 创建对应的 ImportDecl AST 节点

这个过程在 Parser::parseDeclImport() 函数中实现:

// lib/Parse/ParseDecl.cpp 第6735-6867行
ParserResult<ImportDecl> Parser::parseDeclImport(ParseDeclOptions Flags,
                                                 DeclAttributes &Attributes) {
  SourceLoc ImportLoc = consumeToken(tok::kw_import);
  
  // 解析 import-kind(可选)
  ImportKind Kind = ImportKind::Module;
  SourceLoc KindLoc;
  if (Tok.isKeyword()) {
    switch (Tok.getKind()) {
    case tok::kw_typealias: Kind = ImportKind::Type; break;
    case tok::kw_struct:    Kind = ImportKind::Struct; break;
    case tok::kw_class:     Kind = ImportKind::Class; break;
    case tok::kw_enum:      Kind = ImportKind::Enum; break;
    case tok::kw_protocol:  Kind = ImportKind::Protocol; break;
    case tok::kw_var:
    case tok::kw_let:       Kind = ImportKind::Var; break;
    case tok::kw_func:      Kind = ImportKind::Func; break;
    // ...
    }
    KindLoc = consumeToken();
  }
  
  // 解析 import-path
  ImportPath::Builder importPath;
  do {
    importPath.push_back(Identifier(), Tok.getLoc());
    parseAnyIdentifier(importPath.back().Item, ...);
    HasNext = consumeIf(tok::period);
  } while (HasNext);
  
  // 创建 ImportDecl
  auto *ID = ImportDecl::create(Context, CurDeclContext, ImportLoc, Kind,
                                KindLoc, importPath.get());
  return ID;
}

import 属性

Swift 支持多种 import 属性,用于控制导入行为。这些属性在 ImportFlags 枚举中定义:

// include/swift/AST/Import.h 第63-99行
enum class ImportFlags {
  Exported = 0x1,           // @_exported
  Testable = 0x2,           // @testable
  PrivateImport = 0x4,      // @_private
  ImplementationOnly = 0x8, // @_implementationOnly(已废弃)
  SPIAccessControl = 0x10,  // @_spi
  Preconcurrency = 0x20,    // @preconcurrency
  WeakLinked = 0x40,        // @_weakLinked
  SPIOnly = 0x100           // @_spiOnly
};

@testable:测试访问

@testable 允许测试代码访问被导入模块的 internal 声明:

// MyModuleTests.swift
@testable import MyModule

func testInternalFunction() {
    // 可以访问 MyModule 中的 internal 声明
    let result = internalHelper()
}

前提条件:被导入的模块必须使用 -enable-testing 编译。

// lib/Sema/ImportResolution.cpp 第676-677行
if (ID->getAttrs().hasAttribute<TestableAttr>())
  import.options |= ImportFlags::Testable;

@_exported:重导出

@_exported 使导入的模块对当前模块的使用者也可见:

// MyFramework.swift
@_exported import Foundation  // Foundation 对 MyFramework 的使用者也可见

// Client.swift
import MyFramework
// 无需再 import Foundation,可以直接使用 Foundation 的类型
let date = Date()

这是实现"伞模块(Umbrella Module)“的关键机制,例如 Cocoa 模块重导出 AppKitFoundationCoreData

访问级别修饰符(SE-0409)

Swift 5.9 引入了 import 声明的访问级别控制:

public import Foundation      // 公开导入,对模块使用者可见
internal import HelperLib     // 内部导入,仅模块内可见(默认)
fileprivate import SecretLib  // 文件私有导入
private import InternalImpl   // 私有导入

访问级别控制导入的可见性:

  • public import:等同于 @_exported import
  • internal import:模块内部可见,不暴露给使用者
  • private/fileprivate import:仅当前文件可见

@_implementationOnly(已废弃)

@_implementationOnly 用于标记实现细节的导入,防止被导入模块的类型出现在公开 API 中:

@_implementationOnly import InternalHelper

public struct MyStruct {
    // 错误:不能在公开 API 中使用 @_implementationOnly 导入的类型
    // public var helper: InternalHelper.Type
    
    // 正确:仅在实现中使用
    private var helper: InternalHelper.Type
}

注意@_implementationOnly 已被废弃,推荐使用 internal import 替代。详见 SE-0409

// lib/Sema/ImportResolution.cpp 第924-926行
// Encourage replacing `@_implementationOnly` with `internal import`.
if (!topLevelModule.get()->isNonSwiftModule()) {
  ctx.Diags.diagnose(import.importLoc, diag::implementation_only_deprecated);
}

@preconcurrency:并发兼容

@preconcurrency 用于导入尚未适配 Swift Concurrency 的模块,抑制并发相关的警告:

@preconcurrency import LegacyModule

// LegacyModule 中的类型会被假定为 Sendable
// 相关的并发警告会被降级或抑制

@_spi:SPI 访问控制

@_spi 允许访问模块的 System Programming Interface(SPI):

@_spi(Internal) import MyFramework

// 可以访问 MyFramework 中标记为 @_spi(Internal) 的声明

import 的语义分析流程

前面我们看到了解析器如何将 import 语句转换为 AST 节点。但这只是第一步——解析器只负责语法层面的工作。接下来,编译器需要在**语义分析(Semantic Analysis)**阶段真正加载模块、验证导入的有效性、处理各种属性等。

入口函数

语义分析阶段的 import 处理入口是 performImportResolution() 函数:

// lib/Sema/ImportResolution.cpp 第299-330行
void swift::performImportResolution(SourceFile &SF) {
  // 如果已经解析过,直接返回
  if (SF.ASTStage == SourceFile::ImportsResolved)
    return;

  ImportResolver resolver(SF);

  // 解析每个 import 声明
  for (auto D : SF.getTopLevelDecls())
    resolver.visit(D);
  for (auto D : SF.getHoistedDecls())
    resolver.visit(D);

  SF.setImports(resolver.getFinishedImports());
  SF.ASTStage = SourceFile::ImportsResolved;
}

ImportResolver 处理流程

ImportResolver 类负责处理每个 import 声明:

// lib/Sema/ImportResolution.cpp 第381-426行
void ImportResolver::bindImport(UnboundImport &&I) {
  // 1. 检查是否是自导入(tautological import)
  if (!I.checkNotTautological(SF)) {
    return;
  }

  // 2. 加载模块
  ModuleDecl *M = getModule(I.import.module.getModulePath());
  if (!I.checkModuleLoaded(M, SF)) {
    return;  // 模块加载失败
  }

  // 3. 处理 @testable 导入
  if (I.import.options.contains(ImportFlags::Testable)) {
    for (auto file: M->getFiles())
      file->loadDependenciesForTestable(diagLoc);
  }

  // 4. 获取顶层模块(处理子模块情况)
  auto topLevelModule = I.getTopLevelModule(M, SF);
  
  // 5. 验证 import 选项
  I.validateOptions(topLevelModule, SF);

  // 6. 添加导入
  addImport(I, M);
  if (topLevelModule && topLevelModule != M) {
    addImport(I, topLevelModule.get());
  }

  // 7. 处理 Cross-import overlays
  crossImport(M, I);
}

隐式导入

Swift 会自动导入一些模块:

// lib/Sema/ImportResolution.cpp 第563-626行
ImplicitImportList ModuleImplicitImportsRequest::evaluate(...) {
  // 1. 隐式导入标准库
  switch (importInfo.StdlibKind) {
  case ImplicitStdlibKind::Stdlib:
    stdlib = ctx.getStdlibModule(/*loadIfAbsent*/ true);
    break;
  // ...
  }
  
  // 2. 隐式导入 Bridging Header 模块
  if (!bridgingHeaderPath.empty()) {
    clangImporter->importBridgingHeader(bridgingHeaderPath, module);
    // ...
  }

  // 3. 隐式导入底层 Clang 模块(用于 overlay)
  if (importInfo.ShouldImportUnderlyingModule) {
    // @_exported self-import
  }
}

Cross-import Overlays

Cross-import overlay 是一种特殊机制,当同时导入两个特定模块时,编译器会自动导入第三个"桥接"模块,为这两个模块的组合提供额外的 API。

典型场景

import Foundation
import Combine

// 编译器自动导入 _FoundationCombine overlay
// 该 overlay 为 Foundation 类型添加 Combine 相关的扩展
// 例如:URLSession.dataTaskPublisher(for:) 等

实现原理

// lib/Sema/ImportResolution.cpp 第1487-1510行
void ImportResolver::crossImport(ModuleDecl *M, UnboundImport &I) {
  // 例如:同时导入 Foundation 和 Combine 时
  // 自动导入 _FoundationCombine overlay
  
  for (auto &newImport : newImports) {
    // 查找声明了 cross-import 的模块
    // 如果找到匹配的 bystander 模块,加载 overlay
  }
}

这个机制的优势在于,可以在不修改原有模块(如 Foundation)的情况下,为模块组合提供额外的功能。Overlay 模块只在两个模块同时存在时才会被加载。

canImport 条件编译

canImport 是 Swift 4.1 引入的条件编译指令(SE-0075),用于在编译时检测模块是否可用。这对于编写跨平台代码非常有用。

基本用法

#if canImport(UIKit)
  import UIKit
  typealias PlatformView = UIView
#elseif canImport(AppKit)
  import AppKit
  typealias PlatformView = NSView
#else
  #error("Unsupported platform")
#endif

与传统平台检查的对比

// ❌ 传统方式:基于平台宏
#if os(iOS)
  import UIKit
#elseif os(macOS)
  import AppKit
#endif

// ✅ 更好:基于模块可用性
#if canImport(UIKit)
  import UIKit
#elseif canImport(AppKit)
  import AppKit
#endif

canImport 的优势在于,它检测的是模块是否真正可用,而不是假设某个平台一定有某个模块。

版本检查

Swift 5.8 增加了版本检查能力:

#if canImport(MyModule, _version: 2.0)
  // MyModule 版本 >= 2.0
#endif

#if canImport(MyModule, _underlyingVersion: 1.5)
  // 底层 Clang 模块版本 >= 1.5
#endif

实现原理

// lib/ASTGen/Sources/ASTGen/CompilerBuildConfiguration.swift 第55-91行
func canImport(
  importPath: [(TokenSyntax, String)],
  version: CanImportVersion
) throws -> Bool {
  var importPathStr = importPath.map { $0.1 }.joined(separator: ".")
  
  // 调用编译器检查模块是否存在
  return ctx.canImport(
    importPath: bridgedImportPathStr,
    location: ...,
    versionKind: cVersionKind,
    versionComponents: ...
  )
}

canImport 不会实际加载模块,只检查模块是否存在且可导入。

Swift 与 Objective-C 互操作

Swift 调用 Objective-C

Swift 调用 Objective-C 代码有两种方式:

方式一:Framework/模块方式

如果 Objective-C 代码已经封装为 Framework 或有 module.modulemap,可以直接导入:

import Foundation  // 导入 Foundation 模块(包含 OC 代码)
import MyObjCFramework  // 导入自定义的 OC Framework

let array = NSMutableArray()
let obj = MyObjCClass()

这种方式走的是 Clang Module 机制,通过 ClangImporter 加载模块并将 Clang AST 转换为 Swift AST。

优点

  • 模块化,避免全局污染
  • 支持懒加载
  • 可以被多个 Swift 模块共享
  • 编译缓存(.pcm 文件)提升编译速度

方式二:Bridging Header 方式

对于没有 Module Map 的遗留代码或项目内部的 Objective-C 代码,使用 Bridging Header:

// MyProject-Bridging-Header.h
#import "LegacyObjCClass.h"
#import "InternalHelper.h"
// Swift 代码中无需显式 import,可以直接使用
let legacy = LegacyObjCClass()
let helper = InternalHelper()

配置方法:Build Settings -> Swift Compiler - General -> Objective-C Bridging Header,填入 Bridging Header 的路径。首次在 Swift 项目中创建 Objective-C 文件时,Xcode 会提示自动创建。

工作原理:ClangImporter 将 Bridging Header 中的所有 #import 编译为一个隐式模块,这个模块自动对当前 Swift 模块可见。

限制

  • Bridging Header 只对当前 Swift 模块可见,不能被其他模块导入
  • 所有内容都会被导入,无法选择性导入
  • 编译性能不如 Module Map(无法充分利用缓存)

最佳实践:优先使用 Module Map 方式,只在无法修改第三方代码或项目内部代码时才使用 Bridging Header。

Objective-C 调用 Swift

Objective-C 调用 Swift 代码需要导入 Swift 编译器自动生成的 -Swift.h 头文件。这是 Swift 与 Objective-C 混编的核心机制。

-Swift.h 头文件生成

当编译包含 Swift 代码的模块时,Swift 编译器会自动生成一个 Objective-C 头文件,文件名格式为 TargetName-Swift.h

生成过程

// lib/PrintAsClang/PrintAsClang.cpp 第609-651行
bool swift::printAsClangHeader(raw_ostream &os, ModuleDecl *M, ...) {
  // 1. 写入前言(宏保护、pragma 等)
  writePrologue(os, M->getASTContext(), computeMacroGuard(M));
  
  // 2. 写入 C 内容
  printModuleContentsAsC(cModuleContents, imports, *M, ...);
  
  // 3. 写入 Objective-C 内容
  printModuleContentsAsObjC(objcModuleContents, imports, *M, ...);
  
  // 4. 写入 C++ 内容(如果启用)
  // ...
}

生成的头文件结构

// MyModule-Swift.h
#if __has_attribute(external_source_symbol)
# pragma clang attribute push(...)
#endif

SWIFT_CLASS("_TtC8MyModule7MyClass")
@interface MyClass : NSObject
- (nonnull instancetype)init OBJC_DESIGNATED_INITIALIZER;
- (void)doSomething;
@end

#if __has_attribute(external_source_symbol)
# pragma clang attribute pop
#endif

Objective-C 导入 Swift 的两种方式

Objective-C 导入 Swift 代码有两种方式,取决于项目是否启用了 Clang Modules:

方式一:传统头文件方式

#import "ProjectName-Swift.h"  // 文件名格式:TargetName-Swift.h

MySwiftClass *obj = [[MySwiftClass alloc] init];

这种方式直接导入生成的 -Swift.h 头文件,走的是普通的头文件查找和解析流程。

方式二:Clang Module 方式

当项目启用了 Modules(DEFINES_MODULE = YES)时,Swift 代码会被编译成一个 Clang Module,Objective-C 可以通过 @import 语法导入:

@import MyFramework;  // 导入包含 Swift 代码的模块

MySwiftClass *obj = [[MySwiftClass alloc] init];

Module 方式的工作原理

Xcode 在构建包含 Swift 代码的 Framework 时,会生成以下文件:

  1. -Swift.h 头文件:Swift 接口的 Objective-C 表示
  2. module.modulemap 文件:定义模块结构,引用 -Swift.h

生成的 Module Map 结构类似:

framework module MyFramework {
    umbrella header "MyFramework.h"
    export *
    module * { export * }
}

module MyFramework.Swift {
    header "MyFramework-Swift.h"
    requires objc
}

当使用 @import MyFramework; 时,Clang 会通过 Module 机制加载,享受 Module 的所有优势:

  • 编译缓存:Module 只需编译一次,后续直接使用缓存
  • 宏隔离:Swift 代码不会受到 Objective-C 侧宏定义的污染
  • 自动链接:无需手动添加 Framework 依赖

Swift 类型的可见性要求

并非所有 Swift 类型都能被 Objective-C 调用,需要满足以下条件:

Swift 声明Objective-C 可见性要求
必须继承自 NSObject,或标记 @objc
方法/属性标记 @objc,或类继承自 NSObject
枚举必须标记 @objc,且 raw type 为 Int
结构体❌ 不支持
协议必须标记 @objc
// ✅ 可以被 OC 调用
class MyClass: NSObject {
    @objc func doSomething() { }
}

// ✅ 可以被 OC 调用(@objc 隐式继承)
@objc class AnotherClass: NSObject {
    func anotherMethod() { }  // 自动 @objc
}

// ❌ 不能被 OC 调用
struct MyStruct { }

注意事项

  • -Swift.h 文件是编译时自动生成的,在项目目录中找不到实际文件
  • 如果 Target 名称包含特殊字符(如 -.),会被替换为 _
  • 可以通过 @objc(CustomName) 自定义 Objective-C 中的名称

模块自引用限制

在 Objective-C 文章中提到的模块自引用限制同样适用于 Swift。这是模块系统的基本约束,无论是 Clang Module 还是 Swift Module 都遵循这个规则。

限制内容:当正在构建模块 A 时,A 内部的代码不能通过 import A 导入自己。这是因为模块在构建过程中尚未完成,无法被导入。

为什么有这个限制?

回顾模块构建的工作流程:

  1. 编译器读取源文件
  2. 解析 import 语句
  3. 加载依赖模块
  4. 编译当前模块
  5. 生成模块文件(.pcm 或 .swiftmodule)

在步骤 4 时,当前模块还没有生成,因此无法在步骤 3 中被加载。这是一个循环依赖问题。

混编 Framework/Pod 中的体现

这个限制在混编项目中经常遇到:

  • 跨模块引用:PodA 的 Swift 代码可以通过 import PodB 引用 PodB 的 Objective-C/Swift 代码
  • 模块内部引用:PodA 的 Swift 代码只能通过 Bridging Header 或内部 module.modulemap 引用 PodA 内部的 Objective-C 代码,不能使用 import PodA

Swift 代码访问同模块 OC 代码

// PodA 中的 Swift 代码

// ❌ 错误:不能导入自己所在的模块
// import PodA

// ✅ 正确:通过 Bridging Header 或 module.modulemap 访问同模块的 OC 代码
// OC 类型自动可见,无需显式 import
let obj = MyObjCClass()

OC 代码访问同模块 Swift 代码

// PodA 中的 OC 代码

// ✅ 正确:使用生成的头文件(不走模块系统)
#import "PodA-Swift.h"

// ❌ 错误:不能导入自己所在的模块
// @import PodA;

这个限制的根本原因是:@importimport 都是模块系统的一部分,而 #import 是传统的头文件包含机制,不受模块系统的循环依赖限制。

关于 Clang 源码中模块自引用限制的详细实现,请参考:Objective-C中import详解

常见面试问题

Q1: 为什么同一 Target 下的 Swift 文件不需要 import?

根本原因:Swift 以模块(而非源文件)作为基本的编译和可见性单元。

在 Xcode 中,每个 Build Target(App 或 Framework)就是一个模块。同一模块内的所有 .swift 文件共享统一的命名空间,编译器会将它们作为一个整体进行分析。

Swift 的默认访问级别是 internal,其定义就是"模块内可见”。因此:

  • 你在 FileA.swift 中定义的 class MyClass(未标注访问级别)
  • 在同模块的 FileB.swift 中可以直接使用,无需 import

Q2: Swift import 和 OC @import 有什么区别?

  1. 可导入的模块类型不同

    • @import:只能导入 Clang Module(需要 module.modulemap 定义)
    • import:既能导入 Swift 模块(.swiftmodule),也能通过 ClangImporter 导入 Clang 模块
  2. Swift 支持声明级别导入

    // Swift 可以只导入特定类型,用于解决命名冲突
    import class UIKit.UIViewController
    import struct Darwin.size_t
    

    @import 只能导入整个模块或子模块,无法精确到单个类型。

相同点

  • 都在语义分析阶段处理(不是预处理器)
  • 都支持自动链接
  • 都支持子模块导入
  • 都享受模块缓存带来的编译加速

Q3: Swift Module 和 Clang Module 有什么区别?

  1. 模块定义方式

    • Clang Module:需要手写 module.modulemap 文件定义模块结构
    • Swift Module:编译器自动将公开 API 序列化,无需额外配置
  2. 模块文件格式

    • Clang Module:.pcm(Precompiled Module),只包含 AST 和类型信息
    • Swift Module:.swiftmodule,除 AST 外还包含 SIL 和内联函数体,支持跨模块优化
  3. ABI 稳定性

    • Clang Module:.pcm 是二进制格式,强依赖编译器版本,无法跨版本共享
    • Swift Module:额外提供 .swiftinterface 文本格式,支持 Library Evolution,可跨编译器版本使用
  4. 互操作性

    • Swift 通过 ClangImporter 可以直接解析 Clang Module(.pcmmodule.modulemap
    • Clang 无法直接解析 .swiftmodule 格式。OC 导入 Swift Framework 时,实际是通过 Xcode 自动生成的 module.modulemap(引用 -Swift.h 头文件)来实现,本质上 Clang 读取的仍是 OC 头文件