更多

Question

这个TypeScript编译得很好：

abstract class Animal {
    /*
    Any extension of Animal MUST have a function which returns
    another function that has exactly the signature (string): void
     */
    abstract getPlayBehavior(): (toy: string) => void;
}

class Cat extends Animal {
    /*
    Clearly does not have a function which returns a function
    that has the correct signature. This function returns a function with
    the signature (void) : void
    */
    getPlayBehavior() {
        return () => {
            console.log(`Play with toy_var_would_go_here!`);
        };
    }
}

class Program {
    static main() {
        let cat: Animal = new Cat();
        cat.getPlayBehavior()("Toy");
    }
}

Program.main();

我期待一个错误，因为Cat类肯定没有正确实现抽象Animal类。我希望Cat类必须有一个函数，它返回抽象Animal类中指定的确切签名的另一个函数。

运行代码，我得到：

> node index.js
> Play with toy_var_would_go_here!

我能做些什么来确保编译器执行这种策略吗？

Answer 1

我期待一个错误，因为Cat类肯定没有正确实现抽象的Animal类

由于类型兼容性。不带任何参数的函数（比如说foo）可以分配给一个带参数的函数（比如说bar）。

原因：没有使用bar，foo运行所需的所有信息都将缺失。

更多

这也包括在内：https://basarat.gitbooks.io/typescript/content/docs/types/type-compatibility.html#number-of-arguments

Answer 2

您没有收到错误，因为在javascript /打字稿中，如果您不想使用它们，您不会被迫声明参数，只要不存在矛盾。

例如，Array.forEach的签名是：

forEach(callbackfn: (value: T, index: number, array: T[]) => void, thisArg?: any): void;

但这会编译得很好：

let a = [1, 2, 3];
a.forEach(item => console.log(item));

这是一件好事，即使我不使用它们，如果我必须得到所有论据，那将是非常可怕的。
同样如下：

type MyFn = (s: string) => void;
let fn: MyFn = () => console.log("hey");

如果我不需要使用字符串参数，那么我可以忽略它，或者我甚至可以这样做：

let fn: MyFn = () => console.log(arguments);

如果您将Cat.getPlayBehavior中返回的函数的签名更改为与Animal中的定义相矛盾的内容，那么您将收到错误：

class Cat extends Animal {
    getPlayBehavior() {
        return (n: number) => {
            console.log(`Play with toy_var_would_go_here!`);
        };
    }
}

错误：

Class 'Cat' incorrectly extends base class 'Animal'.
  Types of property 'getPlayBehavior' are incompatible.
    Type '() => (n: number) => void' is not assignable to type '() => (toy: string) => void'.
      Type '(n: number) => void' is not assignable to type '(toy: string) => void'.
        Types of parameters 'n' and 'toy' are incompatible.
          Type 'string' is not assignable to type 'number'.

如何在TypeScript中获取返回函数的类型安全性？

2 个答案:

更多