2023使用 TypeScript 在 JavaScript 中进行静态类型检查

JavaScript 是一种流行的编程语言，以其灵活性和动态性而闻名。然而，这种灵活性有时会导致大型应用程序中出现意外的错误和错误。为了解决这个问题，引入了 TypeScript 作为 JavaScript 的超集，提供静态类型检查功能。在本文中，我们将探讨使用 TypeScript 在 JavaScript 中进行静态类型检查的基础知识，以及帮助您入门的代码示例和说明。

什么是静态类型检查？

静态类型检查是一个在编译时而不是在运行时将类型与变量、函数参数和函数返回值关联的过程。这允许编译器在执行代码之前检测类型错误，从而减少运行时错误的机会并提高代码质量。

TypeScript：将静态类型引入 JavaScript

TypeScript 扩展了 JavaScript 的语法以支持静态类型。它引入了新的语法和结构，使开发人员能够显式定义类型。通过使用 TypeScript，您可以在开发过程中捕获类型错误，受益于更好的代码编辑器支持，并提高整体代码的可维护性。

安装 TypeScript

要开始使用 TypeScript，您需要在系统上安装 Node.js 和 npm（节点包管理器）。

您可以使用以下命令全局安装 TypeScript -

npm install -g typescript

安装 TypeScript 后，您可以使用 tsc 命令将 TypeScript 代码编译为 JavaScript。

使用类型声明变量

在 TypeScript 中，您可以使用 :type 语法显式声明变量的类型。

示例

让我们考虑一个例子，我们想要声明一个字符串类型的变量消息 -

let message: string = "Hello, TypeScript!";
console.log(message);

说明

在此代码片段中，我们使用 :string 语法将变量 message 声明为字符串。编译器将强制只能将字符串值分配给该变量。

输出

这段代码的输出是 -

Hello, TypeScript!

带有类型的函数声明

TypeScript 允许您定义函数参数和返回值的类型。

示例

让我们看一个将两个数字相加的简单函数的示例 -

function addNumbers(num1: number, num2: number): number {
   return num1 + num2;
}

let result: number = addNumbers(10, 5);
console.log(result);

说明

在此代码中，addNumbers 函数接受两个数字类型的参数并返回一个数字类型的值。变量 num1、num2 和 result 显式键入为数字。

输出

这段代码的输出是 -

15

类型推断

TypeScript 拥有强大的类型推断机制，可以根据变量的赋值自动推断出变量的类型。

示例

let age = 25;
console.log(typeof age);

let name = "John";
console.log(typeof name);

在这段代码中，我们没有显式声明年龄和姓名的类型。但是，TypeScript 根据分配的值推断它们的类型。

接口和类型注释

TypeScript 提供了定义自定义类型的接口。接口定义对象的结构，包括其属性的名称和类型。让我们考虑一个为用户对象定义接口的示例。

示例

interface User {
   id: number;
   name: string;
   email: string;
}

let user: User = {
   id: 1,
   name: "John Doe",
   email: "john@example.com",
};

console.log(user);

说明

在此代码中，我们定义了一个名为 User 的接口，它具有三个属性：id、name 和 email。然后我们声明一个 User 类型的变量 user 并分配一个遵循接口结构的对象。

输出

这段代码的输出是 -

{ id: 1, name: 'John Doe', email: 'john@example.com' }

联合类型

考虑下面所示的代码。

function displayResult(result: string | number): void {
  console.log("Result:", result);
}

displayResult("Success"); 
displayResult(200); 

说明

在此示例中，displayResult 函数采用的参数可以是字符串或数字。这是通过在函数签名中使用联合类型（字符串 | 数字）来实现的。

输入别名

type Point = {
   x: number;
   y: number;
};

function calculateDistance(point1: Point, point2: Point): number {
   const dx = point2.x - point1.x;
   const dy = point2.y - point1.y;
   return Math.sqrt(dx * dx + dy * dy);
}  

const p1: Point = { x: 0, y: 0 };
const p2: Point = { x: 3, y: 4 };

console.log(calculateDistance(p1, p2));

说明

在此示例中，我们为具有 x 和 y 属性的对象定义类型别名 Point。 calculateDistance函数以两个Point对象为参数，并使用毕达哥拉斯定理计算它们之间的距离。

输出

5

结论

使用 TypeScript 进行静态类型检查为 JavaScript 开发带来了许多好处，包括尽早捕获类型错误、改进代码编辑器支持以及增强代码可维护性。通过采用 TypeScript，开发人员可以编写更安全、更可靠的代码，同时仍然享受 JavaScript 的灵活性和动态特性。

在本文中，我们使用 TypeScript 探索了 JavaScript 中静态类型检查的基础知识，包括变量声明、函数声明、类型推断、接口、联合类型和类型别名。有了这些知识，您现在就可以开始使用 TypeScript 构建健壮且可扩展的 JavaScript 应用程序。