zoukankan      html  css  js  c++  java
  • 深入理解TypeScript——文档篇之类型推断

    一、基础

    TypeScript里,在有些没有明确指出类型的地方,类型推论会帮助提供类型

    let x = 3; // let x: number
    

    二、最佳通用类型

    计算通用类型算法会考虑所有的候选类型,并给出一个兼容所有候选类型的类型。

    // demo 1
    let x = [0, 1, null, 'haha']; // let x: (string | number | null)[]
    
    // demo 2
    class Rhino {
      constructor() {
        
      }
    }
    
    class Elephant {
      constructor() {
        
      }
    }
    
    class Snake {
      constructor() {
        
      }
    }
    
    let zoo = [new Rhino(), new Elephant(), new Snake()]; // let zoo: (Rhino | Elephant | Snake)[]
    

    三、上下文类型

    TypeScript类型推论也可能按照相反的方向进行。 这被叫做“按上下文归类”。按上下文归类会发生在表达式的类型与所处的位置相关时。
    TypeScript类型检查器使用Window.onmousedown函数的类型来推断右边函数表达式的类型。因此,就能推断出 mouseEvent参数的类型了。
    如果函数表达式不是在上下文类型的位置, mouseEvent参数的类型需要指定为any,这样也不会报错了。

    window.onmousedown = function(mouseEvent) { // (parameter) mouseEvent: any
    
        console.log(mouseEvent.button);  //<- Error
    };
    

    注:如果上下文类型表达式包含了明确的类型信息,上下文的类型被忽略。

    // test 1
    window.onmousedown = function(mouseEvent: any) {
        console.log(mouseEvent.button);  //<- Now, no error is given
    };
    
    // test 2
    interface Name {
      button: string;
    }
    
    function App() {
      window.onmousedown = function(mouseEvent: Name) { // TypeScript类型检查器使用Window.onmousedown函数的类型来推断右边函数表达式的类型。 因此,就能推断出 mouseEvent参数的类型了。 
        console.log(mouseEvent.button);  //<- Error
    };
    // 不能将类型“(mouseEvent: Name) => void”分配给类型“((this: //GlobalEventHandlers, ev: MouseEvent) => any) & ((this: Window, ev: MouseEvent) => any)”。
    // 不能将类型“(mouseEvent: Name) => void”分配给类型“(this: GlobalEventHandlers, ev: MouseEvent) => any”。
    // 参数“mouseEvent”和“ev” 的类型不兼容。
    // 不能将类型“MouseEvent”分配给类型“Name”。
    // 属性“button”的类型不兼容。
    
  • 相关阅读:
    PS图层中如何快速找到想要的图层
    知识点手记二
    IE6兼容
    Hack、自适应、针对浏览器写样式随手笔记
    汇编语言实验三
    汇编语言实验二
    汇编语言实验一
    寄存器与代码段
    java.nio.Buffer源码阅读
    汇编语言初探
  • 原文地址:https://www.cnblogs.com/hackftz/p/13811810.html
Copyright © 2011-2022 走看看