# 赋值断言、is 关键字、可调用类型注解和类型推导

到本节为止，我们可以说已经把 TypeScript 的基础知识阶段的内容大致学完了，但是依然有几个零碎的知识点我们没有提到，这里做一个补充。

然后我们会有一个小小的实战环节，之后我们就可以在生产环境中使用 TypeScript，也就是说在 TypeScript 的业务代码编写层面是不会有太多问题了。

# 明确赋值断言

TypeScript 2.7 引入了一个新的控制严格性的标记: --strictPropertyInitialization

它的作用就是保证变量声明和实例属性都会有初始值:

class StrictClass {
    foo: number;
    bar = 'hello';
    baz: boolean; // 属性“baz”没有初始化表达式，且未在构造函数中明确赋值
    constructor() {
        this.foo = 42;
    }
}

@前端进阶之旅: 代码已经复制到剪贴板

这个功能本来是帮助开发者写出更严格的代码的，但是有的时候它并不是开发者的错误，而是不可避免的情况:

该属性本来就可以是 undefined，这种情况下添加类型undefined
属性被间接初始化了（例如构造函数中调用一个方法，更改了属性的值）

显然编译器没有开发者聪明，我们需要提醒编译器这里并不需要一个初始值，这就需要「明确赋值断言」。

明确赋值断言是一项功能，它允许将!放置在实例属性和变量声明之后，来表明此属性已经确定它已经被赋值了:

let x: number;
initialize();
console.log(x + x); // 在赋值前使用了变量“x”。ts(2454)
function initialize() {
    x = 10;
}

@前端进阶之旅: 代码已经复制到剪贴板

上面的例子就很棘手,我们明明已经间接地赋值了，但是它依然报错，因此我们 let x!: number 来修复此问题，同样也可以在表达式中直接使用:

let x: number;
initialize();
console.log(x! + x!); //ok

function initialize() {
    x = 10;
}

@前端进阶之旅: 代码已经复制到剪贴板

# is 关键字

如果你阅读过一些 TypeScript 代码，可能会看到类似于下面这种情况:

export function foo(arg: string): arg is MyType {
    return ...
}

@前端进阶之旅: 代码已经复制到剪贴板

你会好奇 arg is MyType 的 is 关键字是干什么的?然而 TypeScript 文档中几乎没有体现它的用法.

看下面的例子:

function isString(test: any): test is string{
    return typeof test === 'string';
}

function example(foo: number | string){
    if(isString(foo)){
        console.log('it is a string' + foo);
        console.log(foo.length); // string function
    }
}
example('hello world');

@前端进阶之旅: 代码已经复制到剪贴板

其实他的作用就是判断 test 是不是 string 类型，并根

# 赋值断言、is 关键字、可调用类型注解和类型推导

到本节为止，我们可以说已经把 TypeScript 的基础知识阶段的内容大致学完了，但是依然有几个零碎的知识点我们没有提到，这里做一个补充。

然后我们会有一个小小的实战环节，之后我们就可以在生产环境中使用 TypeScript，也就是说在 TypeScript 的业务代码编写层面是不会有太多问题了。

# 明确赋值断言

TypeScript 2.7 引入了一个新的控制严格性的标记: --strictPropertyInitialization

它的作用就是保证变量声明和实例属性都会有初始值:

class StrictClass {
    foo: number;
    bar = 'hello';
    baz: boolean; // 属性“baz”没有初始化表达式，且未在构造函数中明确赋值
    constructor() {
        this.foo = 42;
    }
}

@前端进阶之旅: 代码已经复制到剪贴板

这个功能本来是帮助开发者写出更严格的代码的，但是有的时候它并不是开发者的错误，而是不可避免的情况:

该属性本来就可以是 undefined，这种情况下添加类型undefined
属性被间接初始化了（例如构造函数中调用一个方法，更改了属性的值）

显然编译器没有开发者聪明，我们需要提醒编译器这里并不需要一个初始值，这就需要「明确赋值断言」。

明确赋值断言是一项功能，它允许将!放置在实例属性和变量声明之后，来表明此属性已经确定它已经被赋值了:

let x: number;
initialize();
console.log(x + x); // 在赋值前使用了变量“x”。ts(2454)
function initialize() {
    x = 10;
}

@前端进阶之旅: 代码已经复制到剪贴板

上面的例子就很棘手,我们明明已经间接地赋值了，但是它依然报错，因此我们 let x!: number 来修复此问题，同样也可以在表达式中直接使用:

let x: number;
initialize();
console.log(x! + x!); //ok

function initialize() {
    x = 10;
}

@前端进阶之旅: 代码已经复制到剪贴板

# is 关键字

如果你阅读过一些 TypeScript 代码，可能会看到类似于下面这种情况:

export function foo(arg: string): arg is MyType {
    return ...
}

@前端进阶之旅: 代码已经复制到剪贴板

你会好奇 arg is MyType 的 is 关键字是干什么的?然而 TypeScript 文档中几乎没有体现它的用法.

看下面的例子:

function isString(test: any): test is string{
    return typeof test === 'string';
}

function example(foo: number | string){
    if(isString(foo)){
        console.log('it is a string' + foo);
        console.log(foo.length); // string function
    }
}
example('hello world');

@前端进阶之旅: 代码已经复制到剪贴板

其实他的作用就是判断 test 是不是 string 类型，并根