TypeScript类型详解|极客教程

TypeScript类型详解

在JavaScript中，我们经常会遇到各种类型的数据，比如字符串、数字、布尔值等等。而在TypeScript中，提供了更加丰富和强大的类型系统，可以帮助开发者在编写代码时更加准确地定义和使用数据类型，减少潜在的错误。本文将详细介绍TypeScript的各种基本数据类型以及如何定义和使用它们。

基本数据类型

1. 布尔类型（boolean）

布尔类型表示真（true）或假（false），在TypeScript中，可以使用关键字boolean来表示布尔类型。示例代码如下：

let isDone: boolean = false;
console.log(isDone); // 输出false

2. 数字类型（number）

数字类型用来表示数值，包括整数和浮点数。在TypeScript中，可以使用关键字number来表示数字类型。示例代码如下：

let decimal: number = 6;
let hex: number = 0xf00d;
let binary: number = 0b1010;
let octal: number = 0o744;

console.log(decimal, hex, binary, octal); // 输出6 61453 10 484

3. 字符串类型（string）

字符串类型用来表示文本数据，在TypeScript中，可以使用关键字string来表示字符串类型。示例代码如下：

let name: string = 'Alice';
console.log(name); // 输出Alice

4. 数组类型（Array）

数组类型用来表示一个包含多个元素的集合，在TypeScript中，可以使用泛型Array<elementType>来表示数组类型。示例代码如下：

let numbers: Array<number> = [1, 2, 3, 4, 5];
console.log(numbers); // 输出[1, 2, 3, 4, 5]

let names: Array<string> = ['Alice', 'Bob', 'Charlie'];
console.log(names); // 输出[Alice, Bob, Charlie]

5. 元组类型（Tuple）

元组类型用来表示一个已知元素数量和类型的数组，在TypeScript中，可以使用元组类型来定义一个固定长度和类型的数组。示例代码如下：

let tuple: [string, number] = ['Alice', 25];
console.log(tuple); // 输出[Alice, 25]

6. 枚举类型（Enum）

枚举类型用来表示一组具名值的集合，在TypeScript中，可以使用关键字enum来定义枚举类型。示例代码如下：

enum Color {
    Red,
    Green,
    Blue,
}

let color: Color = Color.Green;
console.log(color); // 输出1

7. 任意类型（any）

任意类型可以表示任意类型的数据，在TypeScript中，可以使用关键字any来表示任意类型。示例代码如下：

let value: any = 'Hello';
value = 42;
value = true;
console.log(value); // 输出true

8. 空类型（void）

空类型表示没有任何类型，在TypeScript中，可以使用关键字void来表示空类型。通常用于函数没有返回值时使用。示例代码如下：

function logMessage(message: string): void {
    console.log(message);
}

logMessage('Hello, TypeScript!'); // 输出Hello, TypeScript!

9. Null和Undefined类型

在TypeScript中，可以使用关键字null和undefined来表示null和undefined类型。示例代码如下：

let n: null = null;
let u: undefined = undefined;

console.log(n, u); // 输出null undefined

10. 永不存在的值的类型（never）

never类型表示那些永不存在的值的类型，在TypeScript中，通常用于函数表达式或箭头函数表达式中抛出异常或根本就不返回的情况。示例代码如下：

function throwError(message: string): never {
    throw new Error(message);
}

function infiniteLoop(): never {
    while (true) {
        // do something
    }
}

自定义类型

除了基本数据类型外，TypeScript还支持自定义类型，可以使用interface关键字来定义接口类型，用来描述对象的形状（shape）。示例代码如下：

interface Person {
    name: string;
    age: number;
}

let person: Person = {
    name: 'Alice',
    age: 25,
};

console.log(person); // 输出{name: Alice, age: 25}

可以在接口中定义可选属性、只读属性、函数类型等，使代码更加灵活和安全。

类型断言

有时候在开发过程中，我们需要手动指定一个值的类型，可以使用类型断言来告诉编译器该值的实际类型。示例代码如下：

let someValue: any = 'Hello, TypeScript!';
let strLength: number = (someValue as string).length;

console.log(strLength); // 输出15

类型推断

TypeScript拥有强大的类型推断功能，可以根据上下文自动推断变量的类型。示例代码如下：

let message = 'Hello, TypeScript!';
message = 42; // 编译错误：类型“42”的参数不能赋给类型“string”的参数

在上面的代码中，TypeScript会根据变量message的初始值自动推断出它的类型为string，所以尝试将数字赋给message会导致编译错误。

类型转换

有时候我们需要将一个类型转换为另一个类型，可以使用类型转换来实现。示例代码如下：

let num: number = 42;
let str: string = num.toString();

console.log(str); // 输出42

类型守卫

类型守卫是一种特殊的技术，用来在条件语句中缩小变量的类型范围，可以避免类型错误。示例代码如下：

function isString(value: any): value is string {
    return typeof value === 'string';
}

let value: any = 'Hello';

if (isString(value)) {
    console.log(value.toUpperCase()); // 编译器会正确识别value的类型为string
}

类型注解

类型注解是一种在声明变量或函数时显式指定数据类型的方法，可以帮助开发者更好地理解代码。示例代码如下：

let username: string = 'Alice';

function greet(name: string): string {
    return `Hello, ${name}!`;
}

console.log(greet(username)); // 输出Hello, Alice!