经验首页 前端设计 程序设计 Java相关 移动开发 数据库/运维 软件/图像 大数据/云计算 其他经验
当前位置:技术经验 » JS/JS库/框架 » TypeScript » 查看文章
前端 Typescript 入门
来源:cnblogs  作者:彭加李  时间:2024/3/29 16:17:56  对本文有异议

前端 Typescript 入门

Ant design vue4.x 基于 vue3,示例默认是 TypeScript。比如 table 组件管理。

vue3 官网介绍也使用了 TypeScript,例如:响应式 API:核心

华为的鸿蒙OS(HarmonyOS)开发中也可以使用 TypeScript

本篇目的用于对 TS 进行扫盲

Tipts 路线图

ts 是什么

TS是TypeScript的缩写,由微软开发的一种开源的编程语言

以前官网说“ts 是 js 超级”,现在改为: TypeScript是具有类型语法的JavaScript。

目前 TypeScript 5.4 已经发布(2024-03) —— ts 官网

Tip:ts缺点:开发更费麻烦,要多写东西了,看个人取舍。

环境

基于笔者博文《vue3 入门》,就像这样:

  1. <template>
  2. <section>
  3. </section>
  4. </template>
  5. <script lang="ts" setup name="App">
  6. // ts
  7. </script>
  8. <style>
  9. </style>

也可以直接在ts在线运行环境进行。

推导类型和显示注解类型

TS = 类型 + javascript

ts 编译过程:

  • TypeScript源码 -> TypeScript AST
  • 类型检查器检查AST
  • TypeScript AST -> JavaScript 源码

显示注解类型,语法:value:type 告诉类型检查器,这个 value 类型是 type。请看示例:

  1. <template>
  2. <p>{{ a }}</p>
  3. <p>{{ b }}</p>
  4. <p>{{ c }}</p>
  5. </template>
  6. <script lang="ts" setup name="App">
  7. // 显示注解类型
  8. let a: number = 1 // a 是数字
  9. let b: string = 'hello' // b 是字符串
  10. let c: boolean[] = [true, false]; // 布尔类型数组
  11. </script>

如果将 a 写成 let a: number = '3',vscode 中 a 就会出现红色波浪,移上去会看到提示:不能将类型“string”分配给类型“number”。

如果想让 typescript 推到类型,就去掉注解,让 ts 自动推导。就像这样:

  1. // 推导类型
  2. let a = 1 // a 是数字
  3. let b = 'hello' // b 是字符串
  4. let c = [true, false]; // 布尔类型数组

去掉注解后,类型并没有变。并且如果尝试修改 a 的类型,ts 也会报错。就像这样:

  1. let a = 1 // a 是数字
  2. // 尝试替换成字符串,vscode 会提示:不能将类型“boolean”分配给类型“number”。
  3. a = true

Tip:有人说“最好让 ts 推导类型,少数情况才需要显示注解类型”。

另外虽然大量错误 ts 在编译时无法捕获,例如堆栈溢出、网络断连,这些属于运行时异常。ts 能做的是将 js 运行时的报错提到编译时。比如以下代码:

  1. const obj = { width: 10, height: 15 };
  2. // 提示 heigth 属性写错了
  3. const area = obj.width * obj.heigth;
  4. let a = 1 + 2
  5. let b = a + 3
  6. // 鼠标以上 c,可以看到 c 对应的类型
  7. let c = {
  8. apple: a,
  9. banana: b
  10. }

类型断言

请看示例:

  1. let arr = [1, 2, 3]
  2. // r 为3
  3. const r = arr.find(item => item > 2)
  4. // “r”可能为“未定义”。ts(18048)
  5. // const r: number | undefined
  6. r * 5 // {1}

行 {1} 处的 r 会错误提示,说 r 可能会是 undefined。

要解决这个问题,可以使用类型断言:用来告诉编译器一个值的具体类型,当开发者比编译器更了解某个值的具体类型时,可以使用类型断言来告诉编译器应该将该值视为特定的类型。

类型断言有两种形式,分别是尖括号语法as 语法。这里说一下 as 语法:value as type。请看示例:

  1. let someValue: any = "this is a string";
  2. let strLength: number = (someValue as string).length;

上述示例改成这样,r 就不会报错了。

  1. // 告诉编译器,r 一定是一个 number
  2. const r = arr.find(item => item > 2) as number
  3. r * 5

Tip:由于需要人为干预,所以使用起来要谨慎

基础类型

js 基本类型大概有这些:

  1. let num1 = 10;
  2. let str1 = 'Hello';
  3. let isTrue = true;
  4. let undefinedVar;
  5. let nullVar = null;
  6. const symbol1 = Symbol('description');
  7. const bigIntNum = 9007199254740991n;
  8. let notANumber = NaN;
  9. let infinite = Infinity;
  10. console.log(typeof num1); // number
  11. console.log(typeof str1,); // string
  12. console.log(typeof isTrue); // boolean
  13. console.log(typeof undefinedVar); // undefined
  14. console.log(typeof nullVar); // object
  15. console.log(typeof symbol1); // symbol
  16. console.log(typeof bigIntNum); // bigint
  17. console.log(typeof notANumber); // number
  18. console.log(typeof infinite); // number

ts 中基本类型有:

  1. // let v1: String = 'a' - 大写 String 也可以
  2. let v1: string = 'a'
  3. let v2: number = 1
  4. let v3: boolean = true
  5. let v4: null = null
  6. let v5: undefined = undefined
  7. // 字符串或者null
  8. let v6: string | null = null
  9. // 错误:不能将类型“5”分配给类型“1 | 2 | 3”
  10. let v7: 1 | 2 | 3 = 5
  11. // 正确
  12. let v8: 1 | 2 | 3 = 2

联合类型

数组

ts 数组有两种方法,看个人喜好即可。请看示例:

  1. // 方式一
  2. // 定义一个由数字组成的数组
  3. let arr1: number[] = [2, 3, 4]
  4. // 报错:不能将类型“string”分配给类型“number”
  5. let arr2: number[] = [2, 3, 4, '']
  6. // 方式二
  7. let arr3: Array<string> = ['a', 'b', 'c']
  8. // 报错:不能将类型“number”分配给类型“string”。
  9. let arr4: Array<string> = ['a', 'b', 'c', 4]
元组

在 TypeScript 中,元组(Tuple)是一种特殊的数组类型,它允许您指定一个固定长度和对应类型的数组

  1. let arr5:[string, number, string] = ['a', 1, 'b']
  2. // 报错:不能将类型“[string, number]”分配给类型“[string, number, string]”。源具有 2 个元素,但目标需要 3 个。
  3. let arr6:[string, number, string] = ['a', 1]
  4. // 正确
  5. arr6[0] = 'a2'
  6. // 错误:不能将类型“number”分配给类型“string”。
  7. arr6[0] = 1
  8. // 第三个添加 ? 表明可选,这样只传入 2 个数也不会报错
  9. let arr7:[string, number, string?] = ['a', 1, 'b']

枚举

枚举需要使用关键字 enum。请看示例:

  1. // 就像定义对象,不过不需要 =
  2. enum TestEnum {
  3. a,
  4. b,
  5. c,
  6. }
  7. // 1
  8. console.log(TestEnum.b);
  9. // b
  10. console.log(TestEnum[1]);
  11. // string
  12. console.log(typeof TestEnum[1]);

ts 可以自动为枚举类型中的各成员推导对应数字。上面示例推导结果:

  1. enum TestEnum {
  2. a = 0,
  3. b = 1,
  4. c = 2,
  5. }

也可以自己手动设置:

  1. enum TestEnum2 {
  2. a = 3,
  3. b = 13,
  4. c = 23,
  5. }
  6. // 13
  7. console.log(TestEnum2.b);

比如这个,c 就是 b 的下一个数字:

  1. enum TestEnum3 {
  2. a,
  3. b = 13,
  4. c,
  5. }
  6. // 14
  7. console.log(TestEnum3.c);

使用场景:比如你之前根据订单状态写了如下代码,可以用枚举来增加可读性。

  1. if(obj.state === 0){
  2. }else if(obj.state === 1){
  3. }else if(obj.state === 2){
  4. }else if(obj.state === 3){
  5. }
  1. // 优化后
  2. enum 订单状态{
  3. 取消,
  4. 上线,
  5. 发送,
  6. 退回,
  7. ...
  8. }
  9. if(obj.state === 订单状态.取消){
  10. }else if(obj.state === 订单状态.上线){
  11. }else if(obj.state === 订单状态.发送){
  12. }else if(obj.state === 订单状态.退回){
  13. }

函数

定义一个函数,参数报错:

  1. // 参数 a 和 b报错。例如:a - 参数“a”隐式具有“any”类型。
  2. function fn1(a, b){
  3. return a + b
  4. }

定义参数类型:

  1. function fn2(a: number, b : number){
  2. return a + b
  3. }

定义参数 b 可选,返回值是 number类型。请看示例:

  1. // b是可选。
  2. // 必选的放左侧,可选的放后侧
  3. function fn5(a: number, b?: number): number{
  4. return 10
  5. }
  6. // 应有 1-2 个参数,但获得 0 个。
  7. fn5()

定义参数 a 的默认值,rest是一个字符串数组:

  1. // a 有一个默认值 10
  2. function fn7(a = 10, b?: number, ...rest:string[]): number{
  3. return 10
  4. }
  5. fn7(1,2, 'a', 'b')

void

通常用于函数,表示没有 return 的函数。

  1. function fn3(a: number, b : number):void{
  2. // 不能将类型“number”分配给类型“void”。
  3. return a + b
  4. }
  5. function fn4(a: number, b : number): void{
  6. }

接口

通常用于对象的定义。请看示例:

  1. interface Person{
  2. name: string,
  3. age: number
  4. }
  5. const p: Person = {
  6. name: 'peng',
  7. age: 18
  8. }
  9. // 报错:类型 "{ name: string; }" 中缺少属性 "age",但类型 "Person" 中需要该属性。ts(2741)
  10. const p2: Person = {
  11. name: 'peng',
  12. }

类型别名

比如定义了一个变量 v1,其类型可以是 number 或 string,但是好多地方都是这个类型:

  1. let v1: number | string = 3

我们可以通过 type 定义一个别名。就像这样:

  1. // 定义别名 Message
  2. type Message = number | string
  3. let v2: Message = 'hello'
  4. // 报错:不能将类型“boolean”分配给类型“Message”
  5. let v3: Message = true

泛型

比如定义如下一个处理 number 的函数:

  1. function fn1(a: number, b:number): number[]{
  2. return [a, b]
  3. }

假如以后想把这个函数作为一个通用函数,除了可以处理 number,还可以处理 string 等其他类型,比如:

  1. function fn1(a: string, b:string): string[]{
  2. return [a, b]
  3. }

a: string | number 又交叉了。就像这样:

  1. function fn1(a: string | number, b:string | number): string[]{
  2. return [a, b]
  3. }

这里可以使用泛型,请看示例:

  1. // 定义一个变量,比如 T
  2. function fn1<T>(a: T, b:T): T[]{
  3. return [a, b]
  4. }
  5. fn1<number>(11, 11)
  6. fn1<string>('a', 'a')
  7. // 正确,ts 会自动推导
  8. fn1('a', 'a')

再看一个泛型示例:

  1. // 参数 arr 是 T 类型的数组
  2. // 返回 T 类型或 undefined
  3. function firstElement<T>(arr: T[]): T | undefined {
  4. return arr[0];
  5. }
  6. firstElement(['a', 'b'])

函数重载

java 中函数重载是定义多个方法,调用时根据参数类型数量的不同执行不同的方法。例如下面定义两个 add:

  1. // 方法重载示例:两个参数的相加
  2. public int add(int a, int b) {
  3. return a + b;
  4. }
  5. // 方法重载示例:三个参数的相加
  6. public int add(int a, int b, int c) {
  7. return a + b + c;
  8. }

ts 这里重载和 java 中的有些不同,可以称之为函数重载申明

比如首先我们写了一个数字相加字符串相加的方法:

  1. // 数字相加
  2. // 字符串相加
  3. function combine(x: number | string, y: number | string): number | string {
  4. if (typeof x === 'number' && typeof y === 'number') {
  5. return x + y;
  6. } else if (typeof x === 'string' && typeof y === 'string') {
  7. return x + y;
  8. }
  9. // 处理其他情况
  10. return 'Invalid input';
  11. }
  12. console.log(combine(1, 2)); // 输出:3
  13. console.log(combine('hello', 'world')); // 输出:helloworld

这里有两个问题:

  1. // 问题一:鼠标移动到 combine 显示:
  2. // function combine(x: number | string, y: number | string): number | string
  3. console.log(combine(1, 2));
  4. console.log(combine('hello', 'world'));
  5. // 问题二:传入 number和 string 不合法,但不报错。鼠标移动到 combine 显示:
  6. // function combine(x: number | string, y: number | string): number | string
  7. console.log(combine(1, 'two')); // 输出:Invalid input

现在加上函数重载申明,就能解决上述两个问题。请看示例:

  1. // 函数重载
  2. function combine(x: number, y: number): number;
  3. // 变量名可以不是x、y
  4. function combine(x2: string, y2: string): string;
  5. function combine(x: number | string, y: number | string): number | string {
  6. // 不变
  7. }
  8. // function combine(x: number, y: number): number (+1 overload)
  9. console.log(combine(1, 2));
  10. // function combine(x: string, y: string): string (+1 overload)
  11. console.log(combine('hello', 'world'));
  12. // 报错:没有与此调用匹配的重载。
  13. // 第 1 个重载(共 2 个),“(x: number, y: number): number”,出现以下错误。
  14. // 第 2 个重载(共 2 个),“(x: string, y: string): string”,出现以下错误。ts(2769)
  15. console.log(combine(1, 'two'))

接口继承

直接看示例:

  1. interface Person{
  2. name: string,
  3. age: number
  4. }
  5. // Student 继承 Person
  6. interface Student extends Person{
  7. school: string
  8. }
  9. // 提示p缺少3个属性
  10. // 类型“{}”缺少类型“Student”中的以下属性: school, name, agets(2739)
  11. const p: Student = {
  12. }

Student 继承 Person,有了3个属性。

类的修饰符

类的修饰符有:public、private、protected、static、readonly...。用法请看下文:

比如有这样一段正常的js代码:

  1. class People{
  2. constructor(name){
  3. this.name =name;
  4. }
  5. // 不需要逗号
  6. sayName(){
  7. console.log(this.name)
  8. }
  9. }
  10. let people = new People('aaron')
  11. people.sayName() // aaron

放在 ts(比如 ts在线运行环境) 中会报错如下:

  1. Parameter 'name' implicitly has an 'any' type.
  2. Property 'name' does not exist on type 'People'.
  3. Property 'name' does not exist on type 'People'.

需要修改如下两处即可消除所有错误:

  1. class People{
  2. - constructor(name){
  3. + // 消除ts报错:类型“People”上不存在属性“name”
  4. + name: string
  5. + constructor(name: string){
  6. this.name =name;
  7. }
  8. // 不需要逗号

其中 name: string 的作用:声明 People 类有个必填属性。实例化 People 类的时候,必须传入一个 string 类型的 name 属性。

接着加一个可选属性 age:

  1. // 通过?将 age 改成可选。解决:属性“age”没有初始化表达式,且未在构造函数中明确赋值。
  2. age?: number

可以设置默认值:

  1. // 根据默认值推断类型,而且是必选属性
  2. money = 100

Tip:稍后我们会看到对应的 js 是什么样子。

属性默认是 public,自身可以用,继承的子类中也可以使用。public 还可以这么写,效果和上例等价:

  1. constructor(name){
  2. - name: string
  3. - constructor(name: string){
  4. + constructor(public name: string){
  5. this.name =name;
  6. }

另外还有 private 表明只能在类中使用。protected 只能在类和子类中使用。请看示例:

  1. class People{
  2. ...
  3. // 属性默认是 public,自身可以用、继承也能用
  4. public money2 = 200
  5. private money3 = 300
  6. protected money4 = 400
  7. constructor(name: string){
  8. this.name =name;
  9. }
  10. sayName(){
  11. console.log(this.name)
  12. }
  13. }
  14. let people = new People('aaron')
  15. console.log(people.money);
  16. // 属性“money3”为私有属性,只能在类“People”中访问。ts(2341)
  17. console.log('people.money3: ', people.money3); // 300
  18. // 属性“money4”受保护,只能在类“People”及其子类中访问。ts(2445)
  19. console.log('people.money4: ', people.money4); // 400

:虽然 vscode 报错,但浏览器控制台还是输出了。或许 ts 只是静态编译,对应的js 没有做特殊处理,比如 private 声明 money4,实际上并没有实现。请看ts在线运行环境 ts 对应的 js:

  1. // ts
  2. class People{
  3. name: string
  4. age?: number
  5. money = 100
  6. public money2 = 200
  7. private money3 = 300
  8. protected money4 = 400
  9. constructor(name: string){
  10. this.name =name;
  11. }
  12. sayName(){
  13. console.log(this.name)
  14. }
  15. }
  16. let people = new People('aaron')
  17. console.log('people.money3: ', people.money3);
  18. console.log('people.money4: ', people.money4);
  1. // 对应的js
  2. "use strict";
  3. class People {
  4. constructor(name) {
  5. this.money = 100;
  6. this.money2 = 200;
  7. this.money3 = 300;
  8. this.money4 = 400;
  9. this.name = name;
  10. }
  11. sayName() {
  12. console.log(this.name);
  13. }
  14. }
  15. let people = new People('aaron');
  16. console.log('people.money3: ', people.money3);
  17. console.log('people.money4: ', people.money4);

js 中静态属性使用如下:

  1. protected money4 = 400
  2. // 静态属性
  3. + static flag = 110
  4. console.log('People.flag: ', People.flag);

例如将静态属性设置成私有,只能在类中使用。请看示例:

  1. // 静态属性
  2. private static flag = 110
  3. // 报错:属性“flag”为私有属性,只能在类“People”中访问。
  4. console.log('People.flag: ', People.flag);

多个修饰符可以一起使用,但有时候需要注意顺序,vscode 也会给出提示。就像这样:

  1. // “static”修饰符必须位于“readonly”修饰符之前。ts(1029)
  2. readonly static flag = 110

比如定义一个静态只读属性:

  1. static readonly flag2 = 110
  2. // 报错:无法为“flag2”赋值,因为它是只读属性。ts(2540)
  3. People.flag2 = 111

类的存取器

感觉就是 js 的 get 和 set。比如下面就是一个 js 的get、set示例:

  1. class People {
  2. constructor(name) {
  3. this.name = name;
  4. }
  5. get name() {
  6. return 'apple';
  7. }
  8. set name(v) {
  9. console.log('set', v);
  10. }
  11. }
  12. let people = new People('aaron') // set aaron
  13. people.name = 'jia' // set jia
  14. console.log(people.name); // apple

对应 ts 中的存取器就是这样:

  1. class People{
  2. constructor(name: string){
  3. this.name = name;
  4. }
  5. get name(){
  6. return 'apple'
  7. }
  8. set name(v){
  9. console.log('set', v)
  10. }
  11. }
  12. let people = new People('aaron') // set aaron
  13. people.name = 'jia' // set jia
  14. console.log(people.name); // apple

注:这个例子很可能会栈溢出,就像这样:

  1. class People{
  2. constructor(name: string){
  3. this.name = name;
  4. }
  5. get name(){
  6. return 'apple'
  7. }
  8. set name(v){
  9. console.log('v: ', v);
  10. // 栈溢出
  11. // 报错:VM47:10 Uncaught RangeError: Maximum call stack size exceeded
  12. this.name = v
  13. }
  14. }
  15. let people = new People('aaron')

所以可以这么写:

  1. class People {
  2. private _name: string = ''
  3. get name(): string{
  4. return 'peng'
  5. }
  6. set name(val: string){
  7. this._name = val
  8. }
  9. }
  10. let people = new People()
  11. people.name
  12. // 报错:属性“_name”为私有属性,只能在类“People”中访问。ts(2341)
  13. people._name

不写类型,ts 也会自动推导,比如去除类型后也可以。就像这样:

  1. // 自动推导类型
  2. class People {
  3. private _name = 'peng'
  4. get name(){
  5. return 'peng'
  6. }
  7. set name(val){
  8. this._name = val
  9. }
  10. }
  11. let people = new People()

抽象类

抽象类(abstract),不允许被实例化,抽象属性和抽象方法必须被子类实现。更像一个规范。请看示例

  1. abstract class People {
  2. // 可以有抽象属性和方法
  3. abstract name: string
  4. abstract eat(): void
  5. // 也可以有普通属性和方法
  6. say() {
  7. console.log('hello: ' + this.name)
  8. }
  9. }
  10. // 如果不实现 name 和 eat 方法则报错
  11. class Student extends People{
  12. name: string = '学生'
  13. // 既然没报错 - 抽象类中返回是 void,这里返回string
  14. eat(){
  15. return 'eat apple'
  16. }
  17. }
  18. const s1 = new Student()
  19. s1.say()
  20. console.log(s1.eat()); // eat apple

抽象类定义了一个抽象属性、一个抽象方法,一个具体方法。子类必须实现抽象属性和抽象方法,子类实例可以直接访问抽象类中具体的方法。请看对应的 js 代码,你就能很明白。

  1. class People {
  2. say() {
  3. console.log('hello: ' + this.name);
  4. }
  5. }
  6. class Student extends People {
  7. constructor() {
  8. super(...arguments);
  9. this.name = '学生';
  10. }
  11. eat() {
  12. return 'eat apple';
  13. }
  14. }
  15. const s1 = new Student();
  16. s1.say();
  17. console.log(s1.eat());

类实现接口

前面我们用接口定义了一个类型:

  1. interface Person{
  2. name: string,
  3. age: number
  4. }
  5. const p: Person = {
  6. name: 'peng',
  7. age: 18
  8. }

抽象类如果只写抽象方法和属性,那么就和接口很相同了。另外接口用 interface 关键字定义,子类可以实现 implements(注意这个单词是复数) 多个接口(不能同时继承多个)。请看示例:

  1. interface People {
  2. name: string
  3. eat(): void
  4. }
  5. interface A{
  6. age: number
  7. }
  8. // 实现两个接口,所有属性和方法都需要实现
  9. class Student implements People, A{
  10. name: string = '学生'
  11. age = 100
  12. // 既然没报错
  13. eat(){
  14. return 'eat apple'
  15. }
  16. }
  17. const s1 = new Student()
  18. console.log(s1.eat()); // eat apple

泛型类

使用类时,除了可以使用接口来规范行为,还可以将类和泛型结合,称为泛型类

比如现在 deal 是处理 string 的方法:

  1. class People {
  2. value: string;
  3. constructor(value: string) {
  4. this.value = value;
  5. }
  6. deal(): string {
  7. return this.value;
  8. }
  9. }
  10. const p1 = new People('peng')
  11. p1.deal()

后面我需要 deal 又能处理 number,这样就可以使用泛型。就像这样:

  1. class People<T> {
  2. value: T;
  3. constructor(value: T) {
  4. this.value = value;
  5. }
  6. deal(): T {
  7. return this.value;
  8. }
  9. }
  10. const p1 = new People('peng')
  11. p1.deal()
  12. const p2 = new People(18)
  13. p2.deal()

多个泛型写法如下:

  1. class Pair<T, U> {
  2. private first: T;
  3. private second: U;
  4. constructor(first: T, second: U) {
  5. this.first = first;
  6. this.second = second;
  7. }
  8. public getFirst(): T {
  9. return this.first;
  10. }
  11. public getSecond(): U {
  12. return this.second;
  13. }
  14. }
  15. // 使用带有多个泛型类型参数的泛型类
  16. let pair1 = new Pair<number, string>(1, "apple");
  17. console.log(pair1.getFirst()); // 1
  18. console.log(pair1.getSecond()); // apple
  19. let pair2 = new Pair<string, boolean>("banana", true);
  20. console.log(pair2.getFirst()); // banana
  21. console.log(pair2.getSecond()); // true

其他

Error Lens:提供了一种更直观的方式来展示代码中的问题,如错误、警告和建议,以帮助开发者更快速地识别和解决问题。

vscode 直接安装后,会将红色错误提示直接显示出来,无需将鼠标移到红色波浪线才能看到错误提示。

原文链接:https://www.cnblogs.com/pengjiali/p/18104072

 友情链接:直通硅谷  点职佳  北美留学生论坛

本站QQ群:前端 618073944 | Java 606181507 | Python 626812652 | C/C++ 612253063 | 微信 634508462 | 苹果 692586424 | C#/.net 182808419 | PHP 305140648 | 运维 608723728

W3xue 的所有内容仅供测试,对任何法律问题及风险不承担任何责任。通过使用本站内容随之而来的风险与本站无关。
关于我们  |  意见建议  |  捐助我们  |  报错有奖  |  广告合作、友情链接(目前9元/月)请联系QQ:27243702 沸活量
皖ICP备17017327号-2 皖公网安备34020702000426号