请教一个关于函数子类的问题

[trihuan]

比如我们有 类 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)的子类，但是我只知道这个是对的，但是理解不了很迷糊，可以解释一下吗？



谢谢！

[ipwx]

首先，你这啥语言的。不是所有语言都有这种函数子类的概念。然后比如 c++，这里就得用模板函数，加个 enable if，就行了，反正不用搞这种函数子类的问题。

[trihuan]

@ipwx 是 scala

[trihuan]

@ipwx 考试题。。

[secondwtq]

搜 variance
另外这个不叫”子类”，subtyping 和 inheritance 不一样

[imn1]

我觉得合理的做法是交通工具作为一个抽象类，作为接口