Typescript 进阶类型

进阶类型也是我自定义的，主要区别于上篇文章Typescript 基础类型。

任意值

用来表示容许赋值为任意类型。

场景：在编程阶段还不清楚类型的变量指定一个类型。好比来自用户输入或第三方代码库，咱们不但愿类型检查器对这些值进行检查而是直接让它们经过编译阶段的检查。那么任意值就派上用场了。

// any.ts
let notSure: any = 1;
notSure = "换成字符串了";
notSure = false;
复制代码

编译后

// any.js
var notSure = 1;
notSure = "换成字符串了";
notSure = false;
复制代码

任意值还有属性和方法，一块儿看下

先看属性

// anyAttr.ts
let anyAttr: any = 'typescript';
console.log(anyAttr.name);
console.log(anyAttr.name.firstName);
复制代码

编译后

// anyAttr.js
var anyAttr = 'typescript';
console.log(anyAttr.name);
console.log(anyAttr.name.firstName);
复制代码

再看方法

// anyFn.ts
let anyFn: any = 'typescript';
anyFn.setName('ts');
anyFn.name.setName('name');
复制代码

编译后

// anyFn.js
var anyFn = 'typescript';
anyFn.setName('ts');
anyFn.name.setName('name');
复制代码

可推断，声明一个变量为任意值以后，对它的任何操做（属性和方法），返回的内容的类型都是任意值（就这么无限下去）。

问（猜）：那指定了类型是 any 和什么类型都不指定是否是一个意思？

// anyNothing.ts
let anyNothing: any;
anyNothing = 'pr';
anyNothing = 30;

let anyNothing1;
anyNothing1 = '江湖再见';
anyNothing1 = 18;
复制代码

编译后

// anyNothing.js
var anyNothing;
anyNothing = 'pr';
anyNothing = 30;
var anyNothing1;
anyNothing1 = '江湖再见';
anyNothing1 = 18;
复制代码

下个粗鲁的结论，就是同样的(变量在声明时未指定其类型，那就默认指定为任意值类型)。

Never

表示永不存在的值的类型。使用场景有

• 抛出异常;
• 不会有返回值的函数表达式或箭头函数表达式的返回值类型;
• 变量;

// never.ts

// 返回 never 的函数必须存在没法达到的终点
function error(message: string): never {
    throw new Error(message);
}

// 推断的返回值类型为 never
function fail() {
    return error("有错");
}

// 返回 never 的函数必须存在没法达到的终点
function infiniteLoop(): never {
    while (true) {
        // doSomething
    }
}

function log(): never {
    console.log('日志')
}

function ok(): never {
    return '一切正常';
}
复制代码

编译前

编译后

但仍是编译出来了

// never.js

// 返回 never 的函数必须存在没法达到的终点
function error(message) {
    throw new Error(message);
}
// 推断的返回值类型为 never
function fail() {
    return error("有错");
}
// 返回 never 的函数必须存在没法达到的终点
function infiniteLoop() {
    while (true) {
        // doSomething
    }
}
function log() {
    console.log('日志');
}
function ok() {
    return '一切正常';
}
复制代码

Object

表示非原始类型（也就是除 number，string，boolean，symbol，null 或 undefined 以外的类型）。

那下面例子说明，在使用 object 的时候，能够理解为 Object.createObj 这样使用。

// object.ts
declare function createObj(o: object): void;

createObj({ name: "typescript" });
createObj(undefined);
createObj(null);

createObj('ts');
createObj(30);
createObj(false);
复制代码

编译前

编译后

但仍是编译出来了

// object.js
createObj({ name: "typescript" });
createObj(undefined);
createObj(null);
createObj('ts');
createObj(30);
createObj(false);

复制代码

注：关键字 declare 是用来声明变量，在这里只是一个辅助，后面会有对它作详细说明。

通过测试，null 和 { name: "typescript" } 是对象，因此没有什么问题，undefind 也没问题，个人理解是它是任何类型的子类型（固然也是 object 的子类型）。至于剩下的 3 个有问题已经很明显了。

补充说明

本想将数组类型和函数类型放在这里的，但考虑到如下两点，因此会单独整理成 2 篇内容。

• 会使得本篇篇幅过长；
• 数组类型和函数类型介绍时会牵扯其余概念，因此所牵扯到的概念会在这两篇内容前介绍；

不知正在阅读的你是否赞同个人这种思路和书写方式？请留言...

本次代码 Github

你能够...

上一篇：Typescript 基础类型

下一篇：Typescript 类型推论

目录：Typescript 小书之入门篇