Swift AutoDiff：结构体如何支持多参数可微分函数类型成员变量？

问题原因 #

这是Swift _Differentiation 模块的已知编译器内部缺陷，并非你编写的代码存在语法错误。Abort trap: 6 本质是编译器处理特定类型时触发了内部断言崩溃，你贴出的栈追踪信息 cast<Ty>() argument of incompatible type! 也明确指向编译器的类型转换逻辑出错。

不同场景表现不一致的原因 #

• 多参数的@differentiable(reverse)函数类型，在作为结构体存储属性声明时，编译器需要完成类型布局、存储语义检查等全流程处理，此时处理多参数可微分函数的类型转换逻辑存在未修复的漏洞，触发了内部断言直接崩溃。
• 单参数可微分函数的类型处理逻辑是完备的，不会走到有问题的代码分支，因此可以正常编译。
• 函数参数场景下，多参数可微分函数仅作为临时参数类型做类型匹配检查，不需要处理存储属性对应的持久化布局逻辑，有问题的代码路径未被触发，因此可以正常编译。

可行的规避方案 #

你可以将多参数可微分函数的入参包装为单个元组类型，绕开多参数的问题处理逻辑，修改后的代码可正常编译：

import _Differentiation

struct S {
    var f: @differentiable(reverse) ((Double, Double)) -> Double
}

使用时直接传入两个参数即可，Swift会自动完成参数到元组的隐式转换，不需要额外修改调用逻辑。

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