TypeScript学习笔记归纳(持续更新ing)

文章目录

前言

二、TypeScript的优势体现在哪里?

1、执行时间上的区别

2、基础数据类型区别

3、TS优势

三、TypeScript的关键特性

四、TypeScript的类型系统

1、什么是类型注释?

2、类型系统核心 - 常用类型

1) 基本类型(原始类型):    

数字(Number) 

字符串(String)

布尔值(Boolean)

Null 和 Undefined 

Symbol

疑问

1、--strictNullChecks标志是什么?

2、--strictNullChecks标志默认是启动的吗?如何关闭

总结


前言

提示:该文章主要记录一下TypeScript学习笔记及使用体验,会不断丰富更新学习及使用过程中遇到的情况:


一、TypeScript是什么?

TypeScript 是一种由 Microsoft 开发的开源语言。TypeScript与JavaScript有着不同寻常的关系。它是 JavaScript 的一个超集,添加了可选的静态类型和基于类的面向对象编程。 TypeScript 提供了JavaScript的所有功能,并且额外增加了:类型系统
简单可以概述为:
TypeScript(简称:TS)是 JavaScript(简称:JS)的超集(JS 有的 TS 都有);
TypeScript =
Type + JavaScript(在 JS 基础之上,为 JS 添加了类型支持);
 

二、TypeScript的优势体现在哪里?

1、JS 代码中绝大部分错误都是 类型 错误(Uncaught Type Error);
2、在VSCode中,会先编译代码,后执行代码;

1、执行时间上的区别

在我们使用VSCode开发过程中不难发现,JS 属于动态类型的编程语言,是在执行期对代码做类型检查,这样开发过程中就需要等到代码真正去执行的时候才能发现错误,这时候再去定位并修改bug,相对来说就有点晚了,还会耽误很多时间。

然而经过学习使用会发现,TS属于静态类型的编程语言,是在编译期做类型检查,这时在代码编译的时候(代码执行前)就会发现错误,这样可以在编写代码的同时就发现代码中的错误,它可以高亮代码中的意外行为,从而降低出现错误的可能性。

2、基础数据类型区别

TS 中包含了JS中所有的数据类型,同时新增了特定类型,在TS中常用基础类型可细分为两类:

JS基础数据类型(TS包含):

  • 原始类型:number/string/boolean/null/undefined/symbol;
  • 对象类型:object(包括,数组、对象、函数等对象);
  TS新增数据类型
  • 联合类型、自定义类型(类型别名)、接口、元组、字面量类型、枚举、void、any 等。

3、TS优势

  • 所有的 JS 代码都是 TS 代码;
  • 开发过程中任何位置的代码都会有相应的 代码提示 ,增强了开发体验;
  • 可在代码编写时 显示标记出代码中的意外行为 降低出现错误的可能性 ,提升开发效率;
  • 丰富的 类型系统 提升了代码的可维护性,使得 重构代码更加容易
  • 类型推断 机制, 不需要 在代码中的 每个地方都显示标注类型
  • 支持 最新的 ECMAScript 语法
  • 支持 多种框架的使用;

三、TypeScript的关键特性

以下是一些 TS 的关键特性:

  • 静态类型检查:在代码运行之前,TS编译器会检查类型错误。这有助于在早期发现潜在的问题。
  • 类型推断TS 能够根据上下文自动推断变量的类型,减少了必须显式声明类型的情况。
  • 类型注解:可以在变量、函数参数和函数返回值上添加类型注解,以明确它们的类型。
  • 接口和类TS支持面向对象编程的特性,如类、接口和继承。
  • 枚举类型TS提供了枚举类型,这在 JS 中是没有的,可以用来定义一组命名常量。
  • 泛型:泛型允许用户创建可重用的组件,这些组件可以支持多种类型而不会丢失其原有类型。
  • 模块化TS 支持模块,可以帮助组织和维护大型代码库。
  • 工具支持TS有很好的编辑器支持,比如自动完成、导航到定义和重构支持。

四、TypeScript的类型系统

TS的类型系统是该语言的核心特性之一,它在 JS的基础上添加了类型注释和静态类型检查。这意味着你可以在编码阶段指定变量、函数参数和返回值的类型,这样 TS 编译器就可以在代码运行之前检测到潜在的类型错误。

1、什么是类型注释?

在TS中,类型注释是一种轻量级的方式来记录函数或变量的期望类型。类型注释可以帮助开发者理解代码应如何使用,同时也允许TS编译器检查类型错误。

类型注释通常跟在变量名后面,使用冒号和空格分隔,然后是类型名称。下面是一些基本的类型注释示例:

作用:为变量添加类型约束。比如,上述例子中:
name 是一个类型为 string 的变量;
age 是一个类型为 number 的变量;
isActive 是一个类型为 boolean 的变量;
函数 greet 接收一个 string 类型的参数,并返回一个 string 类型的值;
对象 user 有两个属性,分别为 string 类型的 name 和 number 类型的 age;
数组 numbers 和 names 分别包含 number 类型和 string 类型的元素;
元组 tuple 包含一个 string 类型和一个 number 类型的元素;

⚠️!!!约定了什么类型,就只能给变量赋值该类型的值,否则,就会报错。

TypeScript学习笔记归纳(持续更新ing)_第1张图片

类型注释不是JS的一部分,它们在TS代码被编译成JS时会被移除。这意味着它们不会影响生成的JS代码的性能。它们的主要目的是在开发阶段提供类型校验和编辑器支持。

2、类型系统核心 - 常用类型

下面是 TS类型系统的一些基本组成部分:

1) 基本类型(原始类型):    

在TS中,基本类型(也称为原始类型)是构建其他类型的基石。下面是TS中的一些基本类型,这些类型,完全按照 JS 中类型的名称来书写。 

  • 数字(Number) 

       在TS中,不管是整数还是浮点数,统一使用number类型表示。它还支持十进制、十六进制、二进制和八进制字面量。

// 数字(Number)类型
let decimal: number = 6;
let hex: number = 0xf00d;
let binary: number = 0b1010;
let octal: number = 0o744;
  • 字符串(String)

       字符串数据用于表示文本数据,可以是单引号('), 双引号(")或模板字符串(``)。TS中的文本数据类型是string

// 字符串(String)
let name: string = "letu";
name = '樂途';
let sentence: string = `Hello, my name is ${ name }.`;
  • 布尔值(Boolean)

      布尔值是最基本的数据类型,在TS中,它表示逻辑上的真(true)或假(false)。只有两个值:truefalse,它通常用于控制条件语句,如if语句。

// 布尔值(Boolean)
let isDone: boolean = false;
isDone = true
  • Null 和 Undefined 

       在TypeScript中,nullundefined是所有类型的子类型。这意味着你可以将nullundefined赋值给像numberstring这样的类型。但是,当你使用--strictNullChecks标志时,nullundefined只能赋给any和它们各自的类型(这意味着undefined只能赋给undefined类型,null只能赋给null类型)

Undefined:
undefined类型代表未定义的值。在JavaScript中,如果你声明一个变量但没有给它赋值,那么它的值就是undefined。在

let notAssigned: undefined; // 变量没有赋值,只定义了类型为undefined
console.log(notAssigned); // 输出 "undefined"

TypeScript中,通常不会直接使用undefined类型,因为这限制了变量只能被赋予undefined值。

Null:

null类型表示没有任何对象值。在JavaScript中,null通常被用来表示一个意料之中的缺失值。

let emptyValue: null; // 变量被赋予null类型
emptyValue = null; // 合法的赋值

undefined一样,直接使用null类型不是特别有用,因为这样变量除了null之外不能赋予任何其它值。但是,你可以通过联合类型来指定一个变量可能是null

当启用--strictNullChecks时,nullundefined的行为会更加严格。任何不显式包含nullundefined的类型都不能被赋予这些值。

let strictString: string;
strictString = null; // 错误,不能将类型“null”分配给类型“string”
strictString = undefined; // 错误,不能将类型“undefined”分配给类型“string”

  • Symbol

    symbol类型是ECMAScript 2015的新特性,symbol是不可改变且唯一的。常用来作为对象属性的键。

    let sym1 = Symbol();
    let sym2 = Symbol("key"); // 可选的字符串key
    

    symbol类型的值是通过Symbol构造函数创建的。每个symbol都是唯一的。即使你用相同的字符串来创建两个symbol,它们也是不相等的。

    let sym3 = Symbol("key");
    let sym4 = Symbol("key");
    console.log(sym3 === sym4); // 输出 "false"
    

    symbol类型的主要用途之一是作为对象属性的键,这些属性不会与其他属性冲突,并且不会被通常的方法(如Object.keysfor...in循环)枚举到。

    let obj = {
        [sym1]: "value"
    };
    console.log(obj[sym1]); // "value"
    

     

2. 数组:
   - `type[]`: 表示一个元素类型为 `type` 的数组。
   - `Array`: 另一种表示数组的方式。

3. 元组:
   - `[type1, type2]`: 表示一个已知元素数量和类型的数组,各元素的类型不必相同。

4. 枚举:
   - `enum`: 用于定义一组命名常量。

5. 任意类型:
   - `any`: 可以是任何类型,TypeScript 不会对这些变量进行类型检查。

6. Void:
   - 用于表示没有任何类型,通常用于函数没有返回值的情况。

7. Never:
   - 表示永远不存在的值的类型,例如,一个抛出异常或永不返回的函数的返回类型。

8. 联合类型:
   - `type1 | type2`: 表示一个值可以是 `type1` 或 `type2`。

9. 交叉类型:
   - `type1 & type2`: 表示一个值同时是 `type1` 和 `type2`。

10. 类型别名:
    - `type Name = ...`: 创建一个新名字来引用某种类型。

11. 接口:
    - `interface`: 定义对象类型,可以包括属性和方法的类型定义。

12. 泛型:
    - 允许在定义函数、接口、类时不预先指定具体的类型,而是在使用时再指定类型的特性。


疑问

1、--strictNullChecks标志是什么?

--strictNullChecks 是 TypeScript 编译器的一个选项。当这个标志被启用时,编译器会更加严格地检查 null 和 undefined 值,以避免可能的运行时错误。

在没有启用 --strictNullChecks 的情况下,所有类型都隐式地包含 null 和 undefined 值。这意味着如果你有一个类型为 string 的变量,那么它实际上可以被赋予 stringnull 或 undefined 值。

let myString: string;

myString = null; // 没有错误,即使在没有 --strictNullChecks 的情况下
myString = undefined; // 没有错误

然而,当启用了 --strictNullChecks 后,null 和 undefined 只能赋给它们各自的类型和 any 类型,或者是明确声明为可选的类型。这样做可以避免很多常见的错误,比如在一个对象上调用方法之前没有正确地检查对象是否为 null

let myString: string;

myString = null; // 错误: Type 'null' is not assignable to type 'string'.
myString = undefined; // 错误: Type 'undefined' is not assignable to type 'string'.

如果你想要一个变量既可以是 string 类型也可以是 null 或 undefined,你需要使用联合类型明确声明: 

let myString: string | null | undefined;

myString = null; // 正确
myString = undefined; // 正确

启用 --strictNullChecks 是一个很好的实践,因为它可以帮助开发者在编译阶段捕获可能的空值错误,而不是在代码运行时才发现

2、--strictNullChecks标志默认是启动的吗?如何关闭

截至我知识更新的时间点(2023年),在 TypeScript 中,--strictNullChecks 标志默认是关闭的。如果你创建一个新的 TypeScript 项目,这个选项不会自动启用;你需要在 tsconfig.json 文件中明确地设置它。


要启用 --strictNullChecks,你需要在项目的 tsconfig.json 文件中设置 compilerOptions 部分,如下所示:

{
  "compilerOptions": {
    "strictNullChecks": true
  }
}

如果你想要关闭这个标志(假设它已经被启用),你需要在 tsconfig.json 中将它设置为 false

{
  "compilerOptions": {
    "strictNullChecks": false
  }
}

注意,关闭 --strictNullChecks 可能会使你的代码更容易出现运行时错误,因为你可能会遗漏对 null 和 undefined 的必要检查。然而,在某些情况下,例如当你迁移旧的 JavaScript 项目到 TypeScript 时,你可能需要暂时关闭这个选项,以便逐步解决类型问题。 


总结

TypeScript是一种由Microsoft开发的开源编程语言,它是JavaScript的一个超集,主要提供了类型系统和对ES6+的支持。TypeScript设计的目的是开发大型应用程序,并且能够编译成纯JavaScript。下面是TypeScript官方文档的一些关键点总结:

  • 类型系统:TypeScript的核心特性之一是它的类型系统。类型系统允许你在编写代码时定义变量、函数参数和对象属性的类型。这有助于捕捉错误,提供代码自动完成和智能提示等功能。
  • 类型推断:TypeScript能够在没有明确类型注释的情况下推断出表达式的类型,这称为“类型推断”。
  • 接口:接口是TypeScript的一个重要概念,用于定义对象的形状,包括它应该包含哪些属性和方法。
  • 类:TypeScript支持基于类的面向对象编程。你可以创建类、继承和实现接口,这些都是静态类型检查的。
  • 泛型:泛型允许你创建可重用的组件,这些组件可以支持多种类型而不会丢失其原始类型。
  • 枚举:枚举是一种特殊的类型,它允许你定义一组命名的常量。
  • 模块:TypeScript支持模块,这意味着你可以将代码分割成可重用的模块。
  • 命名空间:命名空间是另一种在TypeScript中组织代码的方法,它们可以帮助你防止全局作用域的污染。
  • 装饰器:装饰器是一种特殊类型的声明,它可以被附加到类声明、方法、访问器、属性或参数上。装饰器使用`@expression`这种形式,`expression`必须求值为一个函数,它会在运行时被调用。
  • 工具链:TypeScript提供了一系列工具,包括编译器`tsc`和语言服务,它们可以帮助你编译、检查和重构TypeScript代码。
  • 编译器选项:TypeScript编译器`tsconfig.json`文件中有许多配置选项,允许你定制编译过程。
  • 与JavaScript的互操作性**:TypeScript旨在与现有的JavaScript代码库和框架兼容。你可以在TypeScript项目中使用JavaScript代码,并且可以逐步迁移JavaScript代码到TypeScript。

TypeScript官方文档包含了从基础到高级的所有概念,还有关于如何使用TypeScript的详细指南,以及如何配置和管理TypeScript项目的信息。这些文档是学习和使用TypeScript的重要资源。

你可能感兴趣的:(TypeScript学习笔记,学习,笔记,typescript,javascript,前端,开发语言)