Uniffi-rs 项目中 Swift 绑定代码生成语法问题解析

问题背景

在 Uniffi-rs 0.27.0 版本中，当开发者使用该工具生成 Swift 绑定代码时，发现生成的构造函数代码存在语法错误。这个问题主要影响那些在 UDL 文件中定义了带有错误抛出功能的构造函数的场景。

问题表现

在 UDL 文件中定义如下接口时：

interface DeviceManager {
    [Throws=Error]
    constructor([ByRef] string database_url);
};

生成的 Swift 代码会出现语法错误：

public convenience init(databaseUrl: String) {
    let pointer = throws try rustCallWithError(FfiConverterTypeClipError.lift) {
        uniffi_device_kit_fn_constructor_devicemanager_new(
            FfiConverterString.lower(databaseUrl), $0
        )
    }
    self.init(unsafeFromRawPointer: pointer)
}

正确的 Swift 语法应该是：

public convenience init(databaseUrl: String) throws {
    let pointer = try rustCallWithError(FfiConverterTypeClipError.lift) {
        uniffi_device_kit_fn_constructor_devicemanager_new(
            FfiConverterString.lower(databaseUrl), $0
        )
    }
    self.init(unsafeFromRawPointer: pointer)
}

问题分析

这个问题的核心在于错误处理关键字的错误放置。在 Swift 中：

1. 方法声明中的 throws 应该出现在参数列表后的方法签名中，而不是方法体内
2. 方法体内的 try 关键字前不应该有 throws 关键字

这个问题是在 Uniffi-rs 的 PR #2048 中引入的，影响了构造函数的错误处理代码生成逻辑。开发团队通过测试用例复现了这个问题，确认这是一个普遍存在的 bug 而非个别案例。

影响范围

该问题影响所有使用 Uniffi-rs 0.27.0 版本生成 Swift 绑定代码的项目，特别是那些：

1. 在 UDL 中定义了带有 [Throws] 属性的构造函数
2. 需要为 Swift 平台生成绑定代码

解决方案

开发团队已经修复了这个问题，修复内容包括：

1. 将 throws 关键字从方法体内移动到方法签名中
2. 确保 try 关键字正确使用
3. 添加了相关测试用例防止回归

对于遇到此问题的开发者，建议：

1. 升级到修复后的 Uniffi-rs 版本
2. 或者手动修改生成的 Swift 代码，按照正确的 Swift 语法规则调整错误处理关键字的位置

技术要点

这个问题提醒我们几个重要的 Swift 语言特性：

1. Swift 的错误处理机制要求 throws 关键字出现在方法签名中
2. 方法体内的错误传播使用 try 关键字
3. 构造函数的错误处理与其他方法一致，都需要遵循这些规则

对于使用 Rust 和 Swift 跨平台开发的团队，理解这些语言特性的差异对于正确使用代码生成工具至关重要。