这是一个创建于 2322 天前的主题，其中的信息可能已经有所发展或是发生改变。
比如我们有 类 vehicle {速度: int, 价格: int}, boat{速度: int, 价格: int, 排水量:int}, 所以船类是交通工具类的子类
现在有 f ( g: Vehicle → int) = ... g( new(Vehicle)), 意思是函数 f 以 另一个函数 g : Vehicle → int 为参数
1. 请问我可以让 f 以( h: Boat → int) 为参数吗？可以举一个 f 的具体例子吗？
2. 我知道 (Vehicle → int) 是 (Boat → int)的子类，但是我只知道这个是对的，但是理解不了很迷糊，可以解释一下吗？
谢谢！
现在有 f ( g: Vehicle → int) = ... g( new(Vehicle)), 意思是函数 f 以 另一个函数 g : Vehicle → int 为参数
1. 请问我可以让 f 以( h: Boat → int) 为参数吗？可以举一个 f 的具体例子吗？
2. 我知道 (Vehicle → int) 是 (Boat → int)的子类，但是我只知道这个是对的，但是理解不了很迷糊，可以解释一下吗？
谢谢！
 | 1 ipwx 2019 年 12 月 15 日 via Android 首先，你这啥语言的。不是所有语言都有这种函数子类的概念。然后比如 c++，这里就得用模板函数，加个 enable if，就行了，反正不用搞这种函数子类的问题。 |
 | 4 secondwtq 2019 年 12 月 15 日 via iPhone 搜 variance 另外这个不叫”子类”，subtyping 和 inheritance 不一样 |
 | 5 imn1 2019 年 12 月 15 日 我觉得合理的做法是交通工具作为一个抽象类，作为接口 |
Select Language