Fix all the TBDs in basics

Author: xcatliu

advanced/further-reading.md

@@ -6,6 +6,7 @@
 
 - [Never](http://www.typescriptlang.org/docs/handbook/basic-types.html#never)（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html#never)）：永远不存在值的类型，一般用于错误处理函数
 - [变量声明](http://www.typescriptlang.org/docs/handbook/variable-declarations.html)（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Variable%20Declarations.html)）：使用 `let` 和 `const` 替代 `var`，这是 [ES6 的知识](http://es6.ruanyifeng.com/#docs/let)
+- [`this`](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Functions.html#this)
 - [泛型#在泛型约束中使用类型参数](http://www.typescriptlang.org/docs/handbook/generics.html#using-type-parameters-in-generic-constraints)（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Generics.html#在泛型约束中使用类型参数)）：多个类型参数间可以互相约束
 - [泛型#在泛型里使用类类型](http://www.typescriptlang.org/docs/handbook/generics.html#using-class-types-in-generics)（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Generics.html#在泛型里使用类类型)）：创建工厂函数时，需要引用构造函数的类类型
 - [类型推论#最佳通用类型](http://www.typescriptlang.org/docs/handbook/type-inference.html#best-common-type)（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Type%20Inference.html#最佳通用类型)）：数组的类型推论

basics/any.md

@@ -39,11 +39,11 @@ anyThing.setName('Jerry Lee').sayHello();
 anyThing.myName.setFirstName('Cat');
 ```
 
-可以认为，声明一个变量为任意值之后，对它的任何操作，返回的内容的类型都是任意值。
+可以认为，**声明一个变量为任意值之后，对它的任何操作，返回的内容的类型都是任意值**。
 
 ## 未声明类型的变量
 
-变量如果在声明的时候，未指定其类型，那么它会被识别为任意值类型：
+**变量如果在声明的时候，未指定其类型，那么它会被识别为任意值类型**：
 
 ```ts
 let something;
@@ -65,7 +65,7 @@ something.setName('Jerry Lee');
 
 ## 参考
 
-- [Handbook - Basic Types # Any](http://www.typescriptlang.org/docs/handbook/basic-types.html#any) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html#任意值)
+- [Basic Types # Any](http://www.typescriptlang.org/docs/handbook/basic-types.html#any) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html#任意值)
 
 ---
 

basics/built-in-objects.md

@@ -1,6 +1,6 @@
 # 内置对象
 
-JavaScript 中有很多[内置对象]，它们可以直接在 TypeScript 中当做定义好了的类型。
+JavaScript 中有很多[内置对象][]，它们可以直接在 TypeScript 中当做定义好了的类型。
 
 内置对象是指根据标准在全局作用域（Global）上存在的对象。这里的标准是指 ECMAScript 和其他环境（比如 DOM）的标准。
 
@@ -21,7 +21,7 @@ let r: RegExp = /[a-z]/;
 
 更多的内置对象，可以查看 [MDN 的文档][内置对象]。
 
-而他们的定义文件，则在 [TypeScript 核心库的定义文件]中。
+而他们的定义文件，则在 [TypeScript 核心库的定义文件][]中。
 
 ## DOM 和 BOM 的内置对象
 
@@ -39,11 +39,11 @@ document.addEventListener('click', function(e: MouseEvent) {
 });
 ```
 
-它们的定义文件同样在 [TypeScript 核心库的定义文件]中。
+它们的定义文件同样在 [TypeScript 核心库的定义文件][]中。
 
 ## TypeScript 核心库的定义文件
 
-[TypeScript 核心库的定义文件]中定义了所有浏览器环境需要用到的类型，并且是预置在 TypeScript 中的。
+[TypeScript 核心库的定义文件][]中定义了所有浏览器环境需要用到的类型，并且是预置在 TypeScript 中的。
 
 当你在使用一些常用的方法的时候，TypeScript 实际上已经帮你做了很多类型判断的工作了，比如：
 
@@ -86,9 +86,7 @@ interface Document extends Node, GlobalEventHandlers, NodeSelector, DocumentEven
 
 所以 `e` 被推断成了 `MouseEvent`，而 `MouseEvent` 是没有 `targetCurrent` 属性的，所以报错了。
 
-查看 TypeScript 核心库的定义：[TypeScript 核心库的定义文件]。
-
-需要注意的是，TypeScript 核心库的定义中不包含 Node.js 部分。
+注意，TypeScript 核心库的定义中不包含 Node.js 部分。
 
 ## 用 TypeScript 写 Node.js
 
@@ -100,8 +98,8 @@ npm install @types/node --save-dev
 
 ## Links
 
-- [内置对象]
-- [TypeScript 核心库的定义文件]
+- [内置对象][]
+- [TypeScript 核心库的定义文件][]
 
 [内置对象]: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects
 [TypeScript 核心库的定义文件]: https://github.com/Microsoft/TypeScript/tree/master/src/lib

basics/declaration-files.md

@@ -72,12 +72,10 @@ npm install @types/jquery --save-dev
 
 可以在[这个页面](http://microsoft.github.io/TypeSearch/)搜索你需要的声明文件。
 
-更多关于 @types 的使用方法，可以参考？？？一章。
-
 ## Links
 
-- [Handbook - Writing Declaration Files](http://www.typescriptlang.org/docs/handbook/writing-declaration-files.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Writing%20Definition%20Files.html)
-- [Handbook - Triple-Slash Directives](http://www.typescriptlang.org/docs/handbook/triple-slash-directives.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Triple-Slash%20Directives.html)
+- [Writing Declaration Files](http://www.typescriptlang.org/docs/handbook/writing-declaration-files.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Writing%20Definition%20Files.html)
+- [Triple-Slash Directives](http://www.typescriptlang.org/docs/handbook/triple-slash-directives.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Triple-Slash%20Directives.html)
 
 ---
 

basics/primitive-data-types.md

@@ -6,7 +6,7 @@ JavaScript 的类型分为两种：原始数据类型（[Primitive data types][]
 
 本节主要介绍**前五种**原始数据类型在 TypeScript 中的应用。
 
-## 布尔值（Boolean）
+## 布尔值
 
 布尔值是最基础的数据类型，在 TypeScript 中，使用 `boolean` 定义布尔值类型：
 
@@ -17,7 +17,7 @@ let isDone: boolean = false;
 // 后面约定，未强调编译错误的代码片段，默认为编译通过
 ```
 
-注意，使用构造函数 `Boolean` 创造的对象不是布尔值：
+注意，使用构造函数 `Boolean` 创造的对象**不是**布尔值：
 
 ```ts
 let createdByNewBoolean: boolean = new Boolean(1);
@@ -40,7 +40,7 @@ let createdByBoolean: boolean = Boolean(1);
 
 在 TypeScript 中，`boolean` 是 JavaScript 中的基本类型，而 `Boolean` 是 JavaScript 中的构造函数。其他基本类型（除了 `null` 和 `undefined`）一样，不再赘述。
 
-## 数值（Number）
+## 数值
 
 使用 `number` 定义数值类型：
 
@@ -70,7 +70,7 @@ var infinityNumber = Infinity;
 
 其中 `0b1010` 和 `0o744` 是 [ES6 中的二进制和八进制表示法][]，它们会被编译为十进制数字。
 
-## 字符串（String）
+## 字符串
 
 使用 `string` 定义字符串类型：
 
@@ -94,17 +94,17 @@ var sentence = "Hello, my name is " + myName + ".\nI'll be " + (myAge + 1) + " y
 
 其中 <code>&#96;</code> 用来定义 [ES6 中的模板字符串][]，`${expr}` 用来在模板字符串中嵌入表达式。
 
-## 空值（Void）
+## 空值
 
-空值 `void` 一般用于没有任何返回值的函数：
+JavaScript 没有空值（Void）的概念，在 TypeScirpt 中，可以用 `void` 表示没有任何返回值的函数：
 
 ```ts
 function alertName(): void {
   alert('My name is xcatliu');
 }
 ```
 
-声明一个 `void` 类型的变量没有什么大用，因为你只能将它赋值为 `undefined` 和 `null`：
+声明一个 `void` 类型的变量没有什么用，因为你只能将它赋值为 `undefined` 和 `null`：
 
 ```ts
 let unusable: void = undefined;
@@ -145,7 +145,7 @@ let num: number = u;
 
 ## 参考
 
-- [Handbook - Basic Types](http://www.typescriptlang.org/docs/handbook/basic-types.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html)
+- [Basic Types](http://www.typescriptlang.org/docs/handbook/basic-types.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html)
 - [Primitive data types][]
 - [ES6 中的新类型 `Symbol`][]
 - [ES6 中的二进制和八进制表示法][]

basics/type-assertion.md

@@ -1,6 +1,67 @@
 # 类型断言
 
-TBD
+类型断言（Type Assertion）用来手动将一个联合类型的变量指定为一个更加具体的类型。
+
+## 简单的例子
+
+[之前提到过](union-types.md#访问联合类型的属性或方法)，当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候，我们**只能访问此联合类型的所有类型里共有的属性或方法**：
+
+```ts
+function getLength(something: string | number): number {
+  return something.length;
+}
+
+// index.ts(2,20): error TS2339: Property 'length' does not exist on type 'string | number'.
+//   Property 'length' does not exist on type 'number'.
+```
+
+而有时候，我们确实需要在还不确定类型的时候就访问其中一个类型的属性或方法，比如：
+
+```ts
+function getLength(something: string | number): number {
+  if (something.length) {
+    return something.length;
+  } else {
+    return something.toString().length;
+  }
+}
+
+// index.ts(2,17): error TS2339: Property 'length' does not exist on type 'string | number'.
+//   Property 'length' does not exist on type 'number'.
+// index.ts(3,22): error TS2339: Property 'length' does not exist on type 'string | number'.
+//   Property 'length' does not exist on type 'number'.
+```
+
+上例中，获取 `something.length` 的时候会报错。
+
+此时可以使用类型断言，将 `something` 断言成 `string`：
+
+```ts
+function getLength(something: string | number): number {
+  if ((<string>something).length) {
+    return (<string>something).length;
+  } else {
+    return something.toString().length;
+  }
+}
+```
+
+类型断言的用法如上，在需要断言的变量前加上 `<Type>` 即可。
+
+**类型断言不是类型转换，断言成一个联合类型中不存在的类型是不允许的**：
+
+```ts
+function toBoolean(something: string | number): boolean {
+  return <boolean>something;
+}
+
+// index.ts(2,10): error TS2352: Type 'string | number' cannot be converted to type 'boolean'.
+//   Type 'number' is not comparable to type 'boolean'.
+```
+
+## 参考
+
+- [Advanced Types # Type Guards and Differentiating Types](http://www.typescriptlang.org/docs/handbook/advanced-types.html#type-guards-and-differentiating-types) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Advanced%20Types.html#类型保护与区分类型（type-guards-and-differentiating-types）)
 
 ---
 

basics/type-inference.md

@@ -24,7 +24,7 @@ myFavoriteNumber = 7;
 
 TypeScript 会在没有明确的指定类型的时候推测出一个类型，这就是类型推论。
 
-如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成 `any` 类型：
+**如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成 `any` 类型**：
 
 ```ts
 let myFavoriteNumber;
@@ -34,7 +34,7 @@ myFavoriteNumber = 7;
 
 ## 参考
 
-- [Handbook - Type Inference](http://www.typescriptlang.org/docs/handbook/type-inference.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Type%20Inference.html)
+- [Type Inference](http://www.typescriptlang.org/docs/handbook/type-inference.html) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Type%20Inference.html)
 
 ---
 

basics/type-of-array.md

@@ -10,7 +10,7 @@
 let fibonacci: number[] = [1, 1, 2, 3, 5];
 ```
 
-数组的项中不允许出现其他的类型：
+数组的项中**不允许**出现其他的类型：
 
 ```ts
 let fibonacci: number[] = [1, '1', 2, 3, 5];
@@ -37,7 +37,7 @@ fibonacci.push('8');
 let fibonacci: Array<number> = [1, 1, 2, 3, 5];
 ```
 
-关于泛型，可以参考[《泛型》](../advanced/generics.md)一章。
+关于泛型，可以参考[泛型](../advanced/generics.md)一章。
 
 ## 用接口表示数组
 
@@ -81,12 +81,12 @@ function sum() {
 }
 ```
 
-关于内建类型，可以参考[内置对象](./built-in-objects.md)一章。
+关于内置对象，可以参考[内置对象](./built-in-objects.md)一章。
 
 ## Links
 
-- [Handbook - Basic Types # Array](http://www.typescriptlang.org/docs/handbook/basic-types.html#array) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html#数组)
-- [Handbook - Interfaces # Indexable Types](http://www.typescriptlang.org/docs/handbook/interfaces.html#indexable-types) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Interfaces.html#数组类型)
+- [Basic Types # Array](http://www.typescriptlang.org/docs/handbook/basic-types.html#array) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic%20Types.html#数组)
+- [Interfaces # Indexable Types](http://www.typescriptlang.org/docs/handbook/interfaces.html#indexable-types) | [中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Interfaces.html#数组类型)
 
 ---