转发 ## TypeScript基础入门之Javascript文件类型检查(二)
继续上篇文章【TypeScript基础入门之Javascript文件类型检查(一)】
对象文字是开放式的
在.ts文件中，初始化变量声明的对象文字将其类型赋予声明。不能添加未在原始文本中指定的新成员。此规则在.js文件中放宽;对象文字具有开放式类型（索引签名），允许添加和查找最初未定义的属性。例如：
var obj = { a: 1 };
obj.b = 2; // Allowed
对象文字的行为就像它们具有索引签名[x：string]：任何允许它们被视为开放映射而不是封闭对象的任何东西。
与其他特殊的JS检查行为一样，可以通过为变量指定JSDoc类型来更改此行为。例如：
/** @type {{a: number}} */
var obj = { a: 1 };
obj.b = 2; // Error, type {a: number} does not have property b
null，undefined和empty数组初始值设定项的类型为any或any[]
使用null或undefined初始化的任何变量，参数或属性都将具有类型any，即使打开了严格的空检查。使用[]初始化的任何变量，参数或属性都将具有类型any[]，即使打开了严格的空检查。唯一的例外是具有如上所述的多个初始值设定项的属性。
function Foo(i = null) {
if (!i) i = 1;
var j = undefined;
j = 2;
this.l = [];
}
var foo = new Foo();
foo.l.push(foo.i);
foo.l.push("end");
功能参数默认是可选的
由于无法在ES2015之前的Javascript中指定参数的可选性，因此.js文件中的所有函数参数都被视为可选参数。允许使用参数少于声明的参数数量的调用。
重要的是要注意，调用具有太多参数的函数是错误的。
例如：
function bar(a, b) {
console.log(a + " " + b);
}
bar(1); // OK, second argument considered optional
bar(1, 2);
bar(1, 2, 3); // Error, too many arguments
JSDoc注释函数被排除在此规则之外。使用JSDoc可选参数语法来表示可选性。例如：
/**
* @param {string} [somebody] - Somebody's name.
*/
function sayHello(somebody) {
if (!somebody) {
somebody = 'John Doe';
}
console.log('Hello ' + somebody);
}
sayHello();
由arguments推断出的var-args参数声明
其主体具有对参数引用的引用的函数被隐式地认为具有var-arg参数(即（...arg: any[]) => any)。使用JSDoc var-arg语法指定参数的类型。
/** @param {...number} args */
function sum(/* numbers */) {
var total = 0
for (var i = 0; i < arguments.length; i++) {
total += arguments[i]
}
return total
}
未指定的类型参数默认为any
由于在Javascript中没有用于指定泛型类型参数的自然语法，因此未指定的类型参数默认为any。
在extends子句中：
例如，React.Component被定义为具有两个类型参数，Props和State。在.js文件中，没有合法的方法在extends子句中指定它们。默认情况下，类型参数将是any：
import { Component } from "react";
class MyComponent extends Component {
render() {
this.props.b; // Allowed, since this.props is of type any
}
}
使用JSDoc @augments明确指定类型。例如：
import { Component } from "react";
/**
* @augments {Component<{a: number}, State>}
*/
class MyComponent extends Component {
render() {
this.props.b; // Error: b does not exist on {a:number}
}
}
在JSDoc引用中
JSDoc中的未指定类型参数默认为any：
/** @type{Array} */
var x = [];
x.push(1); // OK
x.push("string"); // OK, x is of type Array<any>
/** @type{Array.<number>} */
var y = [];
y.push(1); // OK
y.push("string"); // Error, string is not assignable to number
在函数调用中
对泛型函数的调用使用参数来推断类型参数。有时这个过程无法推断任何类型，主要是因为缺乏推理源;在这些情况下，类型参数将默认为any。例如：
var p = new Promise((resolve, reject) => { reject() });
p; // Promise<any>;
未完待续...
