SwiftFormat 中 init-accessors 的识别问题与修复

在 Swift 5.9 中引入的 init-accessors 特性为属性包装器提供了更灵活的初始化方式，但这也给代码格式化工具 SwiftFormat 带来了新的挑战。本文将深入分析这个问题及其解决方案。

问题背景

Swift 5.9 通过 SE-0400 引入的 init-accessors 特性，允许在计算属性中定义专门的初始化访问器。这种语法看起来像这样：

struct MyStruct {
    private var __myVar: String
    var myVar: String {
        @storageRestrictions(initializes: __myVar)
        init {
            self.__myVar = newValue
        }
        set {
            self.__myVar = newValue
        }
        get {
            self.__myVar
        }
    }
}

这里的关键问题是，SwiftFormat 的某些规则（如 --self init-only）错误地将这种 init-accessor 识别为传统的初始化方法（initializer），导致不恰当的格式化处理。

技术分析

传统的 Swift 初始化方法有以下特征：

1. 使用 init() 声明
2. 可以有参数列表
3. 是类型成员而非属性成员

而 init-accessors 则具有不同的特征：

1. 没有括号 () 或者只有单个未类型化的参数（如 init(initialValue)）
2. 是计算属性的一部分
3. 主要用于属性包装器的初始化逻辑

SwiftFormat 需要准确区分这两种情况，才能正确应用格式化规则。特别是 --self init-only 规则，它本应只在传统初始化方法中强制使用 self. 前缀，但现在错误地影响到了 init-accessors。

解决方案

SwiftFormat 0.54.0 版本中修复了这个问题，主要通过以下方式识别真正的初始化方法：

1. 检查 init 关键字后是否有括号 ()
2. 如果存在参数，检查参数是否包含类型注解
3. 结合上下文判断是否是属性访问器的一部分

这种改进确保了格式化工具能够正确处理 Swift 的新特性，同时保持对传统初始化方法的现有行为。

开发者启示

这个问题的解决提醒我们，在开发代码分析工具时：

1. 需要紧跟语言特性的发展
2. 语法分析要考虑上下文信息
3. 新特性的引入可能会影响现有规则的适用性

对于使用 SwiftFormat 的开发者来说，升级到 0.54.0 或更高版本可以确保 init-accessors 得到正确处理，避免不必要的格式化干扰。