Add documentation for the never type

zhongsp · zhongsp · commit c0aa2b2a63ac · 2016-09-26T15:08:01.000+08:00
diff --git a/doc/handbook/Basic Types.md b/doc/handbook/Basic Types.md
@@ -153,7 +153,7 @@ notSure = false; // okay, definitely a boolean
 
 &#22312;&#23545;&#29616;&#26377;&#20195;&#30721;&#36827;&#34892;&#25913;&#20889;&#30340;&#26102;&#20505;&#65292;`any`&#31867;&#22411;&#26159;&#21313;&#20998;&#26377;&#29992;&#30340;&#65292;&#23427;&#20801;&#35768;&#20320;&#22312;&#32534;&#35793;&#26102;&#21487;&#36873;&#25321;&#22320;&#21253;&#21547;&#25110;&#31227;&#38500;&#31867;&#22411;&#26816;&#26597;&#12290;
 &#20320;&#21487;&#33021;&#35748;&#20026;`Object`&#26377;&#30456;&#20284;&#30340;&#20316;&#29992;&#65292;&#23601;&#20687;&#23427;&#22312;&#20854;&#23427;&#35821;&#35328;&#20013;&#37027;&#26679;&#12290;
-&#20294;&#26159;`Object`&#31867;&#22411;&#30340;&#21464;&#37327;&#21482;&#26159;&#20801;&#35768;&#20320;&#32473;&#23427;&#36171;&#20219;&#24847;&#20540; -- &#20294;&#26159;&#21364;&#19981;&#33021;&#22815;&#22312;&#23427;&#19978;&#38754;&#35843;&#29992;&#20219;&#24847;&#30340;&#26041;&#27861;&#65292;&#21363;&#20415;&#23427;&#30495;&#30340;&#26377;&#36825;&#20123;&#26041;&#27861;&#65306;
+&#20294;&#26159;`Object`&#31867;&#22411;&#30340;&#21464;&#37327;&#21482;&#26159;&#20801;&#35768;&#20320;&#32473;&#23427;&#36171;&#20219;&#24847;&#20540; - &#20294;&#26159;&#21364;&#19981;&#33021;&#22815;&#22312;&#23427;&#19978;&#38754;&#35843;&#29992;&#20219;&#24847;&#30340;&#26041;&#27861;&#65292;&#21363;&#20415;&#23427;&#30495;&#30340;&#26377;&#36825;&#20123;&#26041;&#27861;&#65306;
 
 ```ts
 let notSure: any = 4;
@@ -211,6 +211,35 @@ let n: null = null;
 
 > &#27880;&#24847;&#65306;&#25105;&#20204;&#40723;&#21169;&#23613;&#21487;&#33021;&#22320;&#20351;&#29992;`--strictNullChecks`&#65292;&#20294;&#22312;&#26412;&#25163;&#20876;&#37324;&#25105;&#20204;&#20551;&#35774;&#36825;&#20010;&#26631;&#35760;&#26159;&#20851;&#38381;&#30340;&#12290;
 
+# Never
+
+`never`&#31867;&#22411;&#34920;&#31034;&#30340;&#26159;&#37027;&#20123;&#27704;&#19981;&#23384;&#22312;&#30340;&#20540;&#30340;&#31867;&#22411;&#12290;
+&#20363;&#22914;&#65292;`never`&#31867;&#22411;&#26159;&#37027;&#20123;&#24635;&#26159;&#20250;&#25243;&#20986;&#24322;&#24120;&#25110;&#26681;&#26412;&#23601;&#19981;&#20250;&#26377;&#36820;&#22238;&#20540;&#30340;&#20989;&#25968;&#34920;&#36798;&#24335;&#25110;&#31661;&#22836;&#20989;&#25968;&#34920;&#36798;&#24335;&#30340;&#36820;&#22238;&#20540;&#31867;&#22411;&#65307;
+&#21464;&#37327;&#20063;&#21487;&#33021;&#26159;`never`&#31867;&#22411;&#65292;&#24403;&#23427;&#20204;&#34987;&#27704;&#19981;&#20026;&#30495;&#30340;&#31867;&#22411;&#20445;&#25252;&#25152;&#32422;&#26463;&#26102;&#12290;
+
+`never`&#31867;&#22411;&#26159;&#20219;&#20309;&#31867;&#22411;&#30340;&#23376;&#31867;&#22411;&#65292;&#20063;&#21487;&#20197;&#36171;&#20540;&#32473;&#20219;&#20309;&#31867;&#22411;&#65307;&#28982;&#32780;&#65292;*&#27809;&#26377;*&#31867;&#22411;&#26159;`never`&#30340;&#23376;&#31867;&#22411;&#25110;&#21487;&#20197;&#36171;&#20540;&#32473;`never`&#31867;&#22411;&#65288;&#38500;&#20102;`never`&#26412;&#36523;&#20043;&#22806;&#65289;&#12290;
+&#21363;&#20351;`any`&#20063;&#19981;&#21487;&#20197;&#36171;&#20540;&#32473;`never`&#12290;
+
+&#19979;&#38754;&#26159;&#19968;&#20123;&#36820;&#22238;`never`&#31867;&#22411;&#30340;&#20989;&#25968;&#65306;
+
+```ts
+// &#36820;&#22238;never&#30340;&#20989;&#25968;&#24517;&#39035;&#23384;&#22312;&#26080;&#27861;&#36798;&#21040;&#30340;&#32456;&#28857;
+function error(message: string): never {
+    throw new Error(message);
+}
+
+// &#25512;&#26029;&#30340;&#36820;&#22238;&#20540;&#31867;&#22411;&#20026;never
+function fail() {
+    return error("Something failed");
+}
+
+// &#36820;&#22238;never&#30340;&#20989;&#25968;&#24517;&#39035;&#23384;&#22312;&#26080;&#27861;&#36798;&#21040;&#30340;&#32456;&#28857;
+function infiniteLoop(): never {
+    while (true) {
+    }
+}
+```
+
 # &#31867;&#22411;&#26029;&#35328;
 
 &#26377;&#26102;&#20505;&#20320;&#20250;&#36935;&#21040;&#36825;&#26679;&#30340;&#24773;&#20917;&#65292;&#20320;&#20250;&#27604;TypeScript&#26356;&#20102;&#35299;&#26576;&#20010;&#20540;&#30340;&#35814;&#32454;&#20449;&#24687;&#12290;
diff --git a/preface.md b/preface.md
@@ -85,6 +85,7 @@ TypeScript&#30446;&#21069;&#36824;&#22312;&#31215;&#26497;&#30340;&#24320;&#21457;&#23436;&#21892;&#20043;&#20013;&#65292;&#19981;&#26029;&#22320;&#20250;&#26377;&#26032;&#30340;&#29305;&#24615;
 
 ## &#20027;&#35201;&#20462;&#25913; (Latest 10 updates)
 
+* 2016-09-26 &#26032;&#22686;&#31456;&#33410;&#65306;[&#22522;&#30784;&#31867;&#22411; - Never](./doc/handbook/Basic Types.html)
 * 2016-08-19 &#26032;&#22686;&#31456;&#33410;&#65306;[&#22914;&#20309;&#20070;&#20889;&#22768;&#26126;&#25991;&#20214;](./doc/handbook/declaration files/Introduction.html)
 * 2016-07-21 &#26032;&#22686;&#31456;&#33410;&#65306;[noUnusedLocals&#21644;noUnusedParameter&#32534;&#35793;&#36873;&#39033;](./doc/handbook/Compiler Options in MSBuild.html)
 * 2016-07-21 &#26032;&#22686;&#31456;&#33410;&#65306;[tsconfig.json&#25991;&#20214;&#37324;&#30340;include&#21644;exclude&#21305;&#37197;](./doc/handbook/tsconfig.json.html)
@@ -94,7 +95,6 @@ TypeScript&#30446;&#21069;&#36824;&#22312;&#31215;&#26497;&#30340;&#24320;&#21457;&#23436;&#21892;&#20043;&#20013;&#65292;&#19981;&#26029;&#22320;&#20250;&#26377;&#26032;&#30340;&#29305;&#24615;
 * 2016-06-15 &#26032;&#22686;&#31456;&#33410;&#65306;&#24555;&#36895;&#19978;&#25163;&#65306;[Angular 2](./doc/handbook/tutorials/Angular 2.html)
 * 2016-06-11 &#26032;&#22686;&#31456;&#33410;&#65306;&#24555;&#36895;&#19978;&#25163;&#65306;[Gulp](./doc/handbook/tutorials/Gulp.html)
 * 2016-04-23 &#26032;&#22686;&#31456;&#33410;&#65306;[&#20351;&#29992;TypeScript&#30340;&#27599;&#26085;&#26500;&#24314;&#29256;&#26412;](./doc/handbook/Nightly Builds.html)
-* 2016-04-18 &#26032;&#22686;&#31456;&#33410;&#65306;[&#26032;&#22686;&#21151;&#33021;](./doc/release-notes/README.html)
 
 
 ## &#30456;&#20851;&#38142;&#25509;

-Original file line number
+Diff line change
 在对现有代码进行改写的时候，`any`类型是十分有用的，它允许你在编译时可选择地包含或移除类型检查。
 你可能认为`Object`有相似的作用，就像它在其它语言中那样。
 -但是`Object`类型的变量只是允许你给它赋任意值 -- 但是却不能够在它上面调用任意的方法，即便它真的有这些方法：
 +但是`Object`类型的变量只是允许你给它赋任意值 - 但是却不能够在它上面调用任意的方法，即便它真的有这些方法：
 ```ts
 let notSure: any = 4;
 > 注意：我们鼓励尽可能地使用`--strictNullChecks`，但在本手册里我们假设这个标记是关闭的。
 +# Never
++
 +`never`类型表示的是那些永不存在的值的类型。
 +例如，`never`类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型；
 +变量也可能是`never`类型，当它们被永不为真的类型保护所约束时。
++
 +`never`类型是任何类型的子类型，也可以赋值给任何类型；然而，*没有*类型是`never`的子类型或可以赋值给`never`类型（除了`never`本身之外）。
 +即使`any`也不可以赋值给`never`。
++
 +下面是一些返回`never`类型的函数：
++
 +```ts
 +// 返回never的函数必须存在无法达到的终点
 +function error(message: string): never {
 +    throw new Error(message);
 +}
++
 +// 推断的返回值类型为never
 +function fail() {
 +    return error("Something failed");
 +}
++
 +// 返回never的函数必须存在无法达到的终点
 +function infiniteLoop(): never {
 +    while (true) {
 +    }
 +}
 +```
++
 # 类型断言
 有时候你会遇到这样的情况，你会比TypeScript更了解某个值的详细信息。
-Original file line number
+Diff line change
 ## 主要修改 (Latest 10 updates)
 +* 2016-09-26 新增章节：[基础类型 - Never](./doc/handbook/Basic Types.html)
 * 2016-08-19 新增章节：[如何书写声明文件](./doc/handbook/declaration files/Introduction.html)
 * 2016-07-21 新增章节：[noUnusedLocals和noUnusedParameter编译选项](./doc/handbook/Compiler Options in MSBuild.html)
 * 2016-07-21 新增章节：[tsconfig.json文件里的include和exclude匹配](./doc/handbook/tsconfig.json.html)
 * 2016-06-15 新增章节：快速上手：[Angular 2](./doc/handbook/tutorials/Angular 2.html)
 * 2016-06-11 新增章节：快速上手：[Gulp](./doc/handbook/tutorials/Gulp.html)
 * 2016-04-23 新增章节：[使用TypeScript的每日构建版本](./doc/handbook/Nightly Builds.html)
 -* 2016-04-18 新增章节：[新增功能](./doc/release-notes/README.html)
 ## 相关链接