Merge pull request xcatliu#92 from LDWX/master

add instructions for propName

Author: xcatliu

basics/type-assertion.md

@@ -60,6 +60,18 @@ function getLength(something: string | number): number {
 }
 ```
 
+或
+
+```ts
+function getLength(something: string | number): number {
+    if ((something as string).length) {
+        return (something as string).length;
+    } else {
+        return something.toString().length;
+    }
+}
+```
+
 类型断言的用法如上，在需要断言的变量前加上 `<Type>` 即可。
 
 **类型断言不是类型转换，断言成一个联合类型中不存在的类型是不允许的**：

basics/type-of-function.md

@@ -85,6 +85,8 @@ mySearch = function(source: string, subString: string) {
 }
 ```
 
+采用函数表达式|接口定义函数的方式时，对等号左侧进行类型限制，可以保证以后对函数名赋值时保证参数个数、参数类型、返回值类型不变。
+
 ## 可选参数
 
 前面提到，输入多余的（或者少于要求的）参数，是不允许的。那么如何定义可选的参数呢？
@@ -154,7 +156,7 @@ function push(array, ...items) {
     });
 }
 
-let a = [];
+let a: any[] = [];
 push(a, 1, 2, 3);
 ```
 
@@ -191,7 +193,7 @@ function reverse(x: number | string): number | string {
 }
 ```
 
-然而这样有一个缺点，就是不能够精确的表达，输入为数字的时候，输出也应该为数字，输入为字符串的时候，输出也应该为字符串。
+**然而这样有一个缺点，就是不能够精确的表达，输入为数字的时候，输出也应该为数字，输入为字符串的时候，输出也应该为字符串。**
 
 这时，我们可以使用重载定义多个 `reverse` 的函数类型：
 

basics/type-of-object-interfaces.md

@@ -154,6 +154,21 @@ let tom: Person = {
 
 另外，在报错信息中可以看出，此时 `{ name: 'Tom', age: 25, gender: 'male' }` 的类型被推断成了 `{ [x: string]: string | number; name: string; age: number; gender: string; }`，这是联合类型和接口的结合。
 
+一个接口中只能定义一个任意属性。如果接口中有多个类型的属性，则可以在任意属性中使用联合类型：
+```ts
+interface Person {
+    name: string;
+    age?: number;
+    [propName: string]: string | number;
+}
+
+let tom: Person = {
+    name: 'Tom',
+    age: 25,
+    gender: 'male'
+};
+```
+
 ## 只读属性
 
 有时候我们希望对象中的一些字段只能在创建的时候被赋值，那么可以用 `readonly` 定义只读属性：