TypeScript es un lenguaje de programación de tipado estático desarrollado por Microsoft que es un superconjunto de JavaScript y permite la verificación de tipos en tiempo de compilación. El poderoso sistema de tipos de TypeScript facilita a los desarrolladores escribir código mantenible y extensible. Este artículo presentará los tipos básicos en TypeScript en detalle, incluidos los tipos primitivos, los tipos de objeto, los tipos de matriz, los tipos de tupla, los tipos de enumeración y los tipos de unión.
tipo primitivo
En TypeScript, existen los siguientes tipos primitivos:
tipo de número
Los tipos numéricos se utilizan para representar números enteros o de coma flotante. numberLas variables numéricas se pueden declarar usando la palabra clave.
Por ejemplo:
let num: number = 123;
tipo de cadena
El tipo de cadena se utiliza para representar datos de texto. stringLas variables de cadena se pueden declarar usando la palabra clave.
Por ejemplo:
let str: string = "Hello";
tipo booleano
El tipo booleano se utiliza para representar valores lógicos, es decir, trueo false. booleanLas variables booleanas se pueden declarar usando la palabra clave.
Por ejemplo:
let isTrue: boolean = true;
Valores nulos y tipos indefinidos
El tipo nulo ( void) se usa para representar funciones que no devuelven ningún valor. El tipo indefinido ( undefined) se utiliza para representar variables a las que no se les ha asignado un valor. Puede utilizar voidlas undefinedpalabras clave y para declarar las variables correspondientes.
Por ejemplo:
let result: void = undefined; // 空值类型
let undef: undefined = undefined; // 未定义类型
Tipos nulos y sin tipo
El tipo nulo ( void) se usa para representar funciones que no devuelven ningún valor. nullLos tipos se utilizan para representar valores nulos o referencias de objetos que son nulos. Puede utilizar voidlas nullpalabras clave y para declarar las variables correspondientes.
Por ejemplo:
let nothing: null = null; // 空值类型
let nul: null = null; // 空值类型
tipo de objeto
Los tipos de objetos se utilizan para representar tipos de datos no primitivos, incluidos objetos, matrices, funciones, etc. Los tipos de objetos se pueden objectdeclarar usando la palabra clave.
tipo de objeto
El tipo de objeto se utiliza para representar un objeto, que contiene varios pares clave-valor. Los tipos de objeto se pueden declarar usando {}las palabras clave o . objectEl tipo de objeto puede especificar el tipo de nombre de atributo y el valor de atributo.
Por ejemplo:
let person: {
name: string; age: number } = {
name: "John",
age: 25,
};
tipo de matriz
El tipo de matriz se utiliza para representar una colección ordenada de elementos del mismo tipo. Los tipos de matriz se pueden declarar utilizando la sintaxis 类型[]o .Array<类型>
Por ejemplo:
let numbers: number[] = [1, 2, 3, 4, 5]; // 数字数组
let names: string[] = ["Alice", "Bob", "Charlie"]; // 字符串数组
tipo tupla
El tipo de tupla se utiliza para representar una matriz de longitud y tipo fijos. Puede usar [类型1, 类型2, ...]la sintaxis para declarar tipos de tupla.
Por ejemplo:
let user: [string, number] = ["John", 25]; // 元组类型
tipo de función
Un tipo de función se utiliza para representar una función. Los tipos de función se pueden (参数类型) => 返回值类型declarar utilizando la sintaxis.
Por ejemplo:
let add: (x: number, y: number) => number = function (x: number, y: number): number {
return x + y;
};
tipo enumerado
Un tipo enumerado se utiliza para representar un conjunto de constantes con nombre. enumLos tipos de enumeración se pueden declarar mediante la palabra clave.
Por ejemplo:
enum Color {
Red,
Green,
Blue,
}
let color: Color = Color.Green;
En un tipo de enumeración, cada miembro de la enumeración tiene un valor numérico asociado, a partir de 0 de forma predeterminada. También puede especificar valores manualmente para los miembros de la enumeración.
tipo de union
Los tipos de unión se utilizan para indicar que una variable puede ser uno de varios tipos. 类型1 | 类型2 | ...Los tipos de unión se pueden declarar utilizando la sintaxis.
Por ejemplo:
let value: string | number = "Hello"; // 联合类型
value = 123; // 合法
Los tipos de unión pueden proporcionar una mayor flexibilidad, permitiéndonos manejar valores de muchos tipos diferentes.
Inferencia de tipo y aserción de tipo
TypeScript tiene poderosas capacidades de inferencia de tipos, que pueden inferir automáticamente el tipo de variables según el contexto. Por ejemplo, TypeScript puede inferir el tipo de la variable si le asignamos un valor directamente cuando la definimos.
let num = 123; // 类型推断为 number
let str = "Hello"; // 类型推断为 string
Además, podemos usar aserciones de tipo para decirle al compilador el tipo de un valor. Las aserciones de tipo tienen dos formas sintácticas, <类型>值y 值 as 类型.
let someValue: unknown = "Hello";
let strLength1: number = (<string>someValue).length;
let strLength2: number = (someValue as string).length;
Las aserciones de tipo pueden proporcionar información de tipo en algunos casos en los que no se puede hacer la inferencia de tipo, pero se deben usar con moderación para evitar errores de tipo.
Resumir
Este artículo presenta los tipos básicos de TypeScript en detalle, incluidos los tipos primitivos, los tipos de objeto, los tipos de matriz, los tipos de tupla, los tipos de enumeración y los tipos de unión. El potente sistema de tipos de TypeScript permite a los desarrolladores realizar comprobaciones de tipos en tiempo de compilación, lo que reduce la probabilidad de errores de tipo en tiempo de ejecución.