在TypeScript如何使用函数来做类型保护？

Question

type Node = {     value: Value;     next: Node } | null;function output(n: Node) {    function isEmpty() {        return n === null;     }    // 改为 n === null 则下面警告不会出现     if (isEmpty()) {        console.log('empty');     } else {        // 提示n有可能是null         n.next = {value: 'yo', next: null};     } }这只是一个简单的例子，但是很多时候我们会在isEmpty里面写很多逻辑，但是这些逻辑通常会避免n === null，所以else里面的语言应该是会通过的。这要怎么修改呢？

Answer 1

function isEmpty(n: Node): n is null {        return n === null;
    }    // 改为 n === null 则下面警告不会出现
    if (isEmpty(n)) {
        console.log('empty');
    }