javascript - 有人可以解释一下为什么更具体的输入是不好的吗？

Question

Flow's documentation states :

给定一个类:

class BaseClass {
  method(value: City): City { ... }
}

还有一个子类:

class SubClass extends BaseClass {
  method(value: SanFrancisco): City { ... } // ERROR!!
}

This is an error in Flow because if you are expecting a SanFrancisco and you get a City you could be using something that only exists on SanFrancisco which would cause an error at runtime.

如果我调用 SubClass#method，类型检查器不会强制我提供 SanFrancisco 吗？为什么 Flow 会出错？

Answer 1

假设Seattle和SanFrancisco都直接扩展City，即

class City { location: [number, number]; }
class Seattle extends City { raining: bool; }
class SanFrancisco extends City { foggy: bool; }

而 BaseClass.prototype.method 将接受 City、Seattle 和 SanFrancisco 的实例，并可能使用location，您的 SubClass.prototype.method 可以免费使用 foggy，即使 Seattle 缺少该属性。这意味着 SubClass.prototype.method 通常不能替代 BaseClass.prototype.method。

参见https://en.wikipedia.org/wiki/Subtyping#Function_types .