Swift：为何可在DateFormatter扩展内创建自身对象？用法解析

一、第一段代码的可行性 #

这段代码是完全合法且推荐的Swift写法，先拆解它的核心逻辑：

extension DateFormatter {
    static let allNumericUSA: DateFormatter = {
        print("Initializing DateFormatter")
        let formatter = DateFormatter()
        formatter.dateFormat = "MM/dd/yyyy"
        
        return formatter
    }()
}

这里给DateFormatter类扩展了一个静态常量属性allNumericUSA，它通过惰性闭包初始化：只有当第一次访问DateFormatter.allNumericUSA时，闭包才会执行，创建一个配置好格式的DateFormatter实例，之后这个实例会被全局复用，不会重复初始化。

二、核心问题解答 #

1. 为什么能在extension的static let中创建DateFormatter实例？ #

这里没有任何逻辑矛盾：

• 我们是给DateFormatter类添加一个静态属性，这个属性的取值是另一个独立的DateFormatter实例，并非引用当前正在定义的属性本身，不存在递归初始化或循环引用问题；
• 闭包是惰性执行的，只有第一次访问该属性时才会触发实例创建，此时DateFormatter类已经完全加载到运行时，完全可以正常实例化。

2. 这种用法的逻辑起源 #

这种写法是Swift语言特性结合性能优化需求的产物：

• 性能优化：DateFormatter是创建成本较高的对象（需要解析格式字符串、加载本地化数据等），频繁创建新实例会浪费资源；用static let可以保证全局唯一实例，复用它能显著提升性能；
• 扩展的设计哲学：Swift鼓励用扩展替代子类化，给系统框架类（比如DateFormatter）添加自定义功能，无需修改原类代码；
• 惰性初始化：闭包初始化的方式允许我们在创建实例时完成所有配置（比如设置格式、时区、本地化），同时保证只有用到的时候才初始化，避免不必要的资源占用。

3. 应用场景 #

这种写法的核心价值是复用与规范，常见场景包括：

• 全局统一日期格式：比如APP内所有显示美国格式日期的地方，都用DateFormatter.allNumericUSA，避免重复写配置代码，也不会出现格式字符串写错的情况；
• 高频使用的格式化器：比如列表页需要批量格式化日期，复用同一个实例能显著提升性能；
• 语义化代码：用allNumericUSA这样的命名，比直接写"MM/dd/yyyy"更清晰，其他开发者一眼就能理解这个格式化器的用途。

4. 为什么不能直接写成第二段代码的形式？ #

第二段代码存在三个致命问题：

// 错误写法
extension DateFormatter {
    allNumericUSA.dateFormat = "MM/dd/yyyy"
}

• 语法错误：Swift的扩展顶层只能放置声明（属性、方法、嵌套类型等），不能直接写执行语句（比如赋值）；
• 未声明标识符：allNumericUSA根本没有被声明过，编译器不知道它是实例属性还是静态属性，也不知道它的类型；
• 扩展的限制：Swift扩展不能添加存储实例属性，只能添加计算属性或静态存储属性；就算要添加静态属性，也必须先声明（比如static let allNumericUSA = DateFormatter()），再通过闭包或其他方式配置，而非直接在扩展顶层赋值。

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