打字稿覆盖抽象方法是无效返回

Question

abstract class Base{
    abstract sayHello(): void;
}

class Child extends Base{
    sayHello() {
        return 123;
    }
}

抽象方法的返回类型是 void 但我可以用数字类型返回来实现它。 我没有从编译器中得到任何错误。 Typescript 有这种 bug 吗？

TS Spec

void 关键字引用的 Void 类型，表示缺席 一个值，用作没有返回的函数的返回类型 价值。

Answer 1

这背后的原因是打字稿中的类型系统在结构类型系统上工作。类型的概念有点像“合同”，其中规则被设置为说某些类型与某些类型兼容。如果合约被破坏，编译器只会出错。 比如：

abstract class Base{
    abstract sayHello(): void;
}

class Child extends Base{
    sayHello(): number {
        return 123;
    }
}

这是可行的，因为即使我们的方法在我们实现它时返回数字，所有使用 sayHello() 并期望它返回 void 的东西都不会产生副作用，也不会破坏任何合同。这仅仅是因为 Microsft 在 typescript 中设置了一条规则，说明 void 返回类型与数字返回类型兼容。原因正如我之前所说，它没有副作用，所有期望 sayHello() 返回 void 的东西应该仍然按预期工作。

另一方面，如果我这样做：

abstract class Base{
    abstract sayHello(): number;
}

class Child extends Base{
    sayHello(): void {
        return;
    }
}

这会出错，因为现在所有使用 sayHello() 并期望它是数字的东西都会受到影响，类型的约定已被破坏，导致编译器错误。

您可以将其视为类型系统中的一项灵活性特性，以权衡偶然的类型等效性。

在像 C# 这样使用名义类型系统的语言中，它不允许我们有一个抽象的 void 方法，该方法在实现时返回一个字符串，因为它关注类型等价，类型必须相同才能兼容彼此。

希望这会有所帮助！

结构类型系统：https://en.wikipedia.org/wiki/Structural_type_system

标称类型系统：https://en.wikipedia.org/wiki/Nominal_type_system

Typescript 类型兼容性：https://www.typescriptlang.org/docs/handbook/type-compatibility.html

规格：https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#3114-assignment-compatibility

Answer 2

我quoteRyan Cavanaugh TS 首席开发人员：

返回类型为 void 的函数引用的返回值可以是任何值，因为非返回 void 的函数可以使用返回 void 的类型的别名。

所以事情是关于返回void 的类型 函数，可以接受（被分配）返回任何东西的值 函数。

type ReturnVoid = () => void

const foo: ReturnVoid = () => 42  // all good

此行为在 Assignment Compatibility 部分中指定

M 是一个非特化的调用或构造签名，而 S 有一个明显的调用或构造签名 N 其中，[...] M 的结果类型是 Void，或N 可分配给 M

参考资料：

1. https://github.com/Microsoft/TypeScript/wiki/FAQ#why-are-functions-returning-non-void-assignable-to-function-returning-void
2. https://github.com/microsoft/TypeScript/issues/21674