Swift AutoDiff：我们如何使结构具有一个成员变量，该成员变量是具有多个参数的可微函数？

问题描述

我想要以下内容：

import _Differentiation

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

但编译器抱怨 Error: Abort trap: 6 并且堆栈跟踪的开始是

Assertion Failed: (isa<X>(Val) && "cast<Ty>() argument of incompatible type!"),function cast,file Casting.h,line 269.

如果成员变量是一个参数的函数，程序构建：

import _Differentiation

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

但不允许使用两个或多个参数。

我们可以写一个函数，它有两个参数的可微函数作为参数：

import _Differentiation

func g(f: @differentiable(reverse) (Double,Double) -> Double) {
    // function body
}

如果函数可以有这种类型的参数，为什么结构体不能有这种类型的成员变量？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）