极简TS语法入门

538 阅读10分钟

image.png

@关于TypeScript

  • 微软/大项目:诸位,都按我定义好的类型撸码,谁也别TM瞎搞!哥也没时间跟你们浪费口舌了,凡瞎**搞的让丫连编译都通不过!(内心:不把C++的一点基因伸到前端被窝去你们当我微软是真软啊...)
  • 各种装X大厂:收到!立马装起来!什么?研发成本?这个我们不考虑的!
  • 各种小作坊:去球你的TS,**总共俩人万把行代码的项目生生给你搞成两万行,变量啥类型你当我心里没点星星吗?继续撸JS!

编者按:其实引入TS对前端开发是件好事,前端世界从今往后,类型可强可弱,风格可严谨可灵活;特别在大型工程中,直接将许多潜在的类型错误扼杀在编译阶段,总好过让它们出现在运行阶段不是吗?同时节约很多团队的沟通成本,类型即约法,无需多费唇舌!

@安装

安装TS编译器

npm i -g typescript

编译TS为JS

tsc xxx.ts

@变量

基础类型

let isDone: boolean = false;
let decLiteral: number = 6;
let name: string = "bob";
let list: number[] = [1, 2, 3];
let list: Array<number> = [1, 2, 3];

枚举类型

  • 只能取枚举规定的值;
  • 枚举项的值默认依次为0、1、2...,可以手动为枚举项赋number或string的其它值;
  • 不要将枚举类型声明到dts文件中,编译后会报cant find module
// 枚举类型
enum Color {Red, Green, Blue} 

// 这里c就不能瞎取值了,只能是红绿蓝
let c: Color = Color.Green;//1
enum MajorName {
   FRONTEND = "FRONTEND",
   JAVA = "JAVA",
   CLOUD = "CLOUD",
   TEST = "TEST",
}

any类型

  • 给啥都行(形同使用JS)
  • 所有其它类型都可以赋值给any,除never以外!
let notSure: any = 4; 
notSure = "maybe a string instead"; 
notSure = false; // okay, definitely a boolean
let list: any[] = [1, true, "free"];

null与undefined

  • 可以在任意情况下赋值给any类型变量
  • strictNullCheck不开时可以赋值给其它类型
let u: undefined = undefined; 
let n: null = null;

void和never

  • void和never专用于定义函数的返回值类型
  • void 虚空即无值返回
function warnUser(): void { 
    console.log("This is my warning message"); 
}
  • never即永不(正常)返回
  • never没有任何API
  • never不能赋值给any
// 返回never的函数必须存在无法达到的终点
function error(message: string): never {
   throw new Error(message);
}

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

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

@函数

定义函数类型

let myAdd: (x: number, y: number) => number = 
function (x: number, y: number): number {
   return x + y;
};

给复杂函数类型起别名

/* 给复杂函数类型起别名 */
type Formatter = (row: Object, column: Object, cellValue: any, index: number) => void;
const premierAtFormatter: Formatter = (row: Object, column: Object, cellValue: any, index: number) => {
   // do something...
};

@接口

简单接口

/* 接口是对具有特定key-valued的对象声明 */
interface Light {
   // 灯光强度
   strength: number;

   // 灯光颜色
   color: string;
}

let light: Light = {
   strength: 100,
   color: "#fff",
};

接口带函数

interface Person {
   name: string;

   // 这是一个可选属性
   age?: number;

   // hours是必选参数
   sleep: (hours: number) => void;

   // food是可选参数
   eat: (food?: string) => void;
   work: () => Product;
}

let p: Person = {
   name: "张三疯",
   // 可选属性可以实现,也可以不实现
   // age: 60,
   sleep: (hours: number) => {},
   eat: (food?: string) => {},
   work: () => {
      return {
         name: "太极剑谱",
         price: 0.5,
      };
   },
};

可索引属性

interface IPerson {
   name: string;
   age: number;

   /* 人还有狠多其它特性,一言难尽 */
   // 任意多个【字符串:any】类型的key-value
   [key: string]: any;
}

let p: IPerson = {
   name: "张三疯",
   age: 60,

   // 随意扩展任意多个其它属性
   skill: "太极拳",
   money: 1234567890,
};

接口继承

interface IPerson {
   name: string;
   age: number;
   eat: (food?: string) => void;
}

interface IStudent extends IPerson {
   major: string;
   study: (major: string) => void;
}

const zs: IStudent = {
   name: "",
   age: 0,
   major: "",
   eat: function (food?: string | undefined): void {},
   study: function (major: string): void {},
};

@类

属性访问权限

class Animal {
   // 默认访问权限为public
   // private name: string;
   // name: string;

   /* 
    public=实例属性的访问修饰符
    定义name为实例属性 name:string
    规定name在Animal类的作用域内外皆可访问 
    (protected:只能在Animal及其子类的作用域内访问实例属性name)
    (private:只能在Animal作用域内访问实例属性name)
    默认name属性与当前实例绑定:this.name = name
    PS: 凡是拿不准实例属性的访问权限的情况下 就直接public完事!
    */
   constructor(public name: string) {
      // this.name = name;
   }

   protected move(distanceInMeters: number = 0) {
      console.log(this.name);
      console.log(`${this.name} moved ${distanceInMeters}m.`);
   }
}

/* 继承的语法,除了类型注解(type annotation)外与JS一模一样 */
class Snake extends Animal {
   constructor(name: string) {
      super(name);
   }
   
   public move(distanceInMeters = 5) {
      console.log("Slithering...");

      // 属性“name”为私有属性,只能在类“Animal”中访问。ts(2341)
      console.log(this.name);
      super.move(distanceInMeters);
   }
}

let sam = new Snake("Sammy the Python");
sam.move(5)

// 属性“name”为私有属性,只能在类“Animal”中访问。ts(2341)
console.log(sam.name);

单继承多实现

/* 类可以单继承(一个类),多实现(多个接口) */
class Person {
   constructor(public name: string, public age: number) {}
   eat(food?: string) {
      console.log(this.name, "eat", food ? food : "饭");
   }
}

interface IProduct {
   name: string;
   value: number;
}

interface IWorker {
   work: (hours: number) => IProduct;
}

interface IFighter {
   fight: (enemy: Person) => Person;
}

class Student extends Person implements IWorker, IFighter {
   work(hours: number): IProduct {
      return {
         name: "学生作品",
         value: hours,
      };
   }

   fight(enemy: Person): Person {
      return this.age >= enemy.age ? enemy : this;
   }
}

const zs = new Student("张三疯", 60);

zs.eat();
console.log(zs.work(10000));
console.log(zs.fight(new Person("黄四郎", 50)));

@类型别名

type NameOrArray = string | string[];

type Formatter = (row: any, column: any, cellValue: any, index: number) => any;

@泛型

泛型函数

function identity<T>(arg: T): T { 
    return arg; 
}

泛型接口

interface Position<T> {
   x: T;
   y: T;
   toStrig: (x: T, y: T) => string;
}

const p1: Position<number> = {
   x: 12,
   y: 34,
   toStrig: (x, y) => {
      return `(${x},${y})`;
   },
};

const p2: Position<string> = {
   x: "12",
   y: "34",
   toStrig: (x, y) => {
      return `坐标[${x},${y}]`;
   },
};

泛型类

Array就是一个泛型类

// let names:string[] = [];
let names: Array<string> = [];

// ok
names.push("john");

// 类型“number”的参数不能赋给类型“string”的参数。ts(2345)
// names.push(123)

在自己的类上使用泛型

// 3、类中使用了泛型 则类的名字上就得声明泛型
class Greeter<T> {
   // 2、类型也得声明为T
   person: T;

   // 1、想让person入参支持任意类型
   constructor(person: T) {
      this.person = person;
   }

   greet() {
      return "Hello, " + this.person;
   }
}

let greeter;

// 4、将泛型T具体化为具体类型
greeter = new Greeter<string>("john");
console.log(greeter.greet());

greeter = new Greeter<number>(12345);
console.log(greeter.greet());

greeter = new Greeter<Object>({ name: "john" });
console.log(greeter.greet());

@类型断言

function fn(): number | string {
   // [0,1)
   return Math.random() < 1 ? "string" : 123;
}

// 断言fn()的返回值为string
(<string>fn()).length;
(fn() as string).length;

@联合类型

// friends的类型可以是A或B或C 联合类型
let friends: string | string[]

// 嫌联合类型写法太长 声明一个类型别名
// 给【联合类型string | string[]】起一个别名NameOrArray)
type NameOrArray = string | string[];

let names: NameOrArray = [];
names = "张三"
names = ["john","jack"]

@命名空间

/* 命名空间:防止不同模块下的变量、函数、接口、类...与其它模块形成命名冲突 */
namespace Film {
   export class Person {
      constructor(public name: string) {}
      act() {
         console.log(this.name, "act");
      }
   }
}

namespace User {
   export class Person {
      constructor(public useraname: string, public password?: string) {}
      login() {
         console.log(this.useraname, "login");
      }
   }
}

new Film.Person("李荣浩").act();
new User.Person("admin").login();

@编译选项

查文档能力大过天

编译选项官方文档

罗列几个常用项目

tsconfig.json

{
    "compilerOptions": {

        // 不允许变量隐式具有any类型
        // "noImplicitAny": true,

        // 不允许将null和undefined赋值给其它类型
        // "strictNullChecks": true,

        // 类实例属性必须初始化
        // "strictPropertyInitialization": true,

        // 函数的所有分支都必须返回
        // "noImplicitReturns": true

        /* 
        strict等于以下全开
        --noImplicitAny, 
        --noImplicitThis, 
        --alwaysStrict, 
        --strictNullChecks
        --strictFunctionTypes
        --strictPropertyInitialization。 
        */
        "strict": true,

        // 在strict开启的情况下 单独覆盖个别配置
        "noImplicitThis": false,

        /* 将ES的高级语法全部编译为ES5 */
        "target":"ES5",
        "lib": [
            "DOM",
            "ES2015",
            "ES2016",
            "ES2017",
            "ES2018",
            "ES2019",
            "ES2020",
            "ES2021"
        ],
    },

    /* 对以下文件执行类型检查 */
    "include": [
        "*.ts","*.d.ts"
    ]

    /* 排除以下文件,不执行类型检查 */
    "exclude": ["node_modules", "**/*.spec.ts"]
}

来个全的

tsconfig.json

{
   "compilerOptions": {
      "incremental": true, // TS编译器在第一次编译之后会生成一个存储编译信息的文件,第二次编译会在第一次的基础上进行增量编译,可以提高编译的速度
      "tsBuildInfoFile": "./buildFile", // 增量编译文件的存储位置
      "diagnostics": true, // 打印诊断信息
      "target": "ES5", // 目标语言的版本
      "module": "CommonJS", // 生成代码的模板标准
      "outFile": "./app.js", // 将多个相互依赖的文件生成一个文件,可以用在AMD模块中,即开启时应设置"module": "AMD",
      "lib": ["DOM", "ES2015", "ScriptHost", "ES2019.Array"], // TS需要引用的库,即声明文件,es5 默认引用dom、es5、scripthost,如需要使用es的高级版本特性,通常都需要配置,如es8的数组新特性需要引入"ES2019.Array",
      "allowJS": true, // 允许编译器编译JS,JSX文件
      "checkJs": true, // 允许在JS文件中报错,通常与allowJS一起使用
      "outDir": "./dist", // 指定输出目录
      "rootDir": "./", // 指定输出文件目录(用于输出),用于控制输出目录结构
      "declaration": true, // 生成声明文件,开启后会自动生成声明文件
      "declarationDir": "./file", // 指定生成声明文件存放目录
      "emitDeclarationOnly": true, // 只生成声明文件,而不会生成js文件
      "sourceMap": true, // 生成目标文件的sourceMap文件
      "inlineSourceMap": true, // 生成目标文件的inline SourceMap,inline SourceMap会包含在生成的js文件中
      "declarationMap": true, // 为声明文件生成sourceMap
      "typeRoots": [], // 声明文件目录,默认时node_modules/@types
      "types": [], // 加载的声明文件包
      "removeComments": true, // 删除注释
      "noEmit": true, // 不输出文件,即编译后不会生成任何js文件
      "noEmitOnError": true, // 发送错误时不输出任何文件
      "noEmitHelpers": true, // 不生成helper函数,减小体积,需要额外安装,常配合importHelpers一起使用
      "importHelpers": true, // 通过tslib引入helper函数,文件必须是模块
      "downlevelIteration": true, // 降级遍历器实现,如果目标源是es3/5,那么遍历器会有降级的实现
      "strict": true, // 开启所有严格的类型检查
      "jsx": "preserve", // 指定 jsx 格式
      "alwaysStrict": true, // 在代码中注入'use strict'
      "noImplicitAny": true, // 不允许隐式的any类型
      "strictNullChecks": true, // 不允许把null、undefined赋值给其他类型的变量
      "strictFunctionTypes": true, // 不允许函数参数双向协变
      "strictPropertyInitialization": true, // 类的实例属性必须初始化
      "strictBindCallApply": true, // 严格的bind/call/apply检查
      "noImplicitThis": true, // 不允许this有隐式的any类型
      "noUnusedLocals": true, // 检查只声明、未使用的局部变量(只提示不报错)
      "noUnusedParameters": true, // 检查未使用的函数参数(只提示不报错)
      "noFallthroughCasesInSwitch": true, // 防止switch语句贯穿(即如果没有break语句后面不会执行)
      "noImplicitReturns": true, //每个分支都会有返回值
      "esModuleInterop": true, // 允许export=导出,由import from 导入
      "allowUmdGlobalAccess": true, // 允许在模块中全局变量的方式访问umd模块
      "moduleResolution": "node", // 模块解析策略,ts默认用node的解析策略,即相对的方式导入
      "baseUrl": "./", // 解析非相对模块的基地址,默认是当前目录
      "paths": {
         // 路径映射,相对于baseUrl
         // 如使用jq时不想使用默认版本,而需要手动指定版本,可进行如下配置
         "jquery": ["node_modules/jquery/dist/jquery.min.js"]
      },
      "rootDirs": ["src", "out"], // 将多个目录放在一个虚拟目录下,用于运行时,即编译后引入文件的位置可能发生变化,这也设置可以虚拟src和out在同一个目录下,不用再去改变路径也不会报错
      "listEmittedFiles": true, // 打印输出文件
      "listFiles": true // 打印编译的文件(包括引用的声明文件)
   }
}

@dts声明文件

声明类型

env.d.ts

/* 声明类型并导出为外界使用 */
export interface IMajor {
   // 想用枚举的地方直接number或string
   // 不要将枚举类型声明在dts中,编译后无法正常运行
   name: string;
   hours: number;
}

export interface ICodingStudent {
   name: string;
   major: IMajor;
}

使用类型

demo.ts

import { IMajor, ICodingStudent } from "./env";

/* 
坑:不要将枚举定义在dts文件中
没有特别为什么,总之编译后无法正常运行
下次面试官问遇到过哪些坑时,这里无厘头坑点+1 
*/
enum MajorName {
   FRONTEND = "FRONTEND",
   JAVA = "JAVA",
   CLOUD = "CLOUD",
   TEST = "TEST",
}

const major: IMajor = {
   name: MajorName.FRONTEND,
   hours: 12345,
};

const stu: ICodingStudent = {
   name: "张三疯",
   major,
};

console.log(stu);


😈 :点赞收藏加关注了吗就走?!

image.png

本项目源码 watch,follow,fork!!!

祝大家撸码愉快~