Swift-Syntax 项目中的 `sending` 关键字解析问题

在 Swift 6.0 中引入的 sending 关键字是 SE-0430 方案的一部分，它用于标记参数传递的所有权语义。然而，近期发现当开发者尝试在代码中使用这个新关键字时，Swift 格式化工具（swift-format）会出现解析失败的问题。

问题现象

当开发者编写包含 sending 关键字的代码时，例如：

struct Foo {
  var bar: String
}

func whatever(_ foo: sending Foo) {
  
}

运行 swift format 命令会报错："unexpected code 'Foo' in parameter clause"。这表明语法解析器无法正确识别 sending 关键字的语法结构。

技术背景

发送（sending）是 Swift 6.0 引入的一个重要特性，它属于所有权系统的一部分。这个关键字用于标记函数参数，表示该参数的所有权将被转移到被调用函数中。这种显式的所有权标记有助于编译器进行更精确的内存管理和并发安全检查。

问题根源

该问题的根本原因在于 swift-syntax 项目中对于 sending 关键字的处理逻辑。虽然 SE-0430 方案已经被接受并纳入 Swift 6.0，但相关的语法解析支持尚未完全同步更新。具体来说：

1. sending 关键字仍然被标记为实验性特性
2. 语法解析树生成时没有正确处理这种新的参数修饰符
3. 格式化工具没有更新以支持这种新的语法结构

解决方案

Swift 核心团队已经识别并修复了这个问题。解决方案包括：

1. 将 sending 关键字从实验性特性转为正式特性
2. 更新语法解析器以正确识别 sending 修饰的参数
3. 确保格式化工具能够正确处理这种语法结构

这些修复已经通过多个 pull request 合并到不同的开发分支中，包括 main 分支和多个 release 分支，确保不同版本的 Swift 都能获得修复。

开发者影响

对于使用 Swift 6.0 的开发者来说，这个修复意味着：

1. 可以安全地在代码中使用 sending 关键字
2. 格式化工具将能够正确处理包含此关键字的代码
3. 代码的静态分析和重构功能将正常工作

最佳实践

虽然问题已经修复，但开发者在实际使用中仍应注意：

1. 确保使用的 Swift 工具链版本包含相关修复
2. 在团队项目中统一 Swift 版本，避免因工具链差异导致的问题
3. 对于重要的所有权语义，考虑添加文档注释说明 sending 参数的预期行为

随着 Swift 所有权系统的不断完善，sending 关键字将成为并发编程和安全内存管理的重要工具，开发者有必要熟悉其用法和语义。