为何TypeScript允许实现接口的类方法参数类型更严格？

为什么TypeScript允许MyClass在实现MyInterface时，someMethod方法的参数类型（仅Date）比接口定义的（number|Date）更严格？预期此处会出现编译错误，但实际未报错，最终调用hi函数传入MyClass实例时会在运行时失败。

代码示例：

interface MyInterface { someMethod(n: number|Date):string }

class MyClass implements MyInterface {
  someMethod( d: Date ): string { return d.toDateString(); }  // why is this accepted ?
}

function hi( p: MyInterface ): string
{
  return p.someMethod(10);
}

hi( new MyClass() );  // this will fail at runtime

• TypeScript 默认允许方法参数的协变行为：类实现接口时，方法的参数类型可以比接口定义的更严格。这种设计是为了适配常见编程场景，但违背了严格的里氏替换原则——子类实例本应能无缝替换接口实例，不会引发异常。
• 出现的运行时错误就是这种设计的副作用：当MyClass实例以MyInterface类型传入hi函数时，函数会传入number类型参数，但MyClass的someMethod仅接受Date类型，因此触发报错。
• 若要规避这类问题，可开启TypeScript的strictFunctionTypes严格检查选项。开启后，TypeScript会强制方法参数遵循逆变规则，你的代码会直接触发编译错误，提前阻断潜在的运行时风险。

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