10、TypeScript 类型系统与面向对象编程

TypeScript 类型系统与面向对象编程

1. TypeScript 类型系统

1.1 类型推断

1.1.1 自下而上和自上而下推断

在 TypeScript 中，编译器可以根据上下文推断函数参数和返回值的类型。例如：

function add(a: number, b: number) {
    /* The return value is used to determine
       the return type of the function */
    return a + b;
}
interface CallsFunction {
    (cb: (result: string) => any): void;
}
// The cb parameter is inferred to be a function accepting a string
var callsFunction: CallsFunction = function (cb) {
    cb('Done');
    // Error: Argument of type '1' is not assignable to parameter of type 'string'
    cb(1);
};
// The result parameter is inferred to be a string
callsFunction(function (result) {
    return result;
});

在这个例子中， c