Tipos de intersección

Parte de la sección Introducción a Luau del Journey de Lua de Coddy. Lección 36 de 80.

Las uniones indican que un valor es de un tipo o de otro. Los tipos de intersección apuntan en la dirección opuesta: el ampersand & combina formas de tablas en un tipo que tiene todos los campos de cada parte:

type HasName = { name: string }
type HasAge = { age: number }

type Person = HasName & HasAge

-- un Person debe tener AMBOS campos
local user: Person = {
    name = "Alice",
    age = 25,
}

Omite age y el verificador se quejará: una intersección es un «y», nunca una elección entre opciones. Esto te permite crear formas grandes a partir de piezas pequeñas y reutilizables: define tipos específicos para aspectos separados y después únelos según sea necesario:

type HasEmail = { email: string }

type Employee = HasName & HasAge & HasEmail

Una nota importante sobre Luau: intersecta formas de tablas (y tipos de función), no tipos primitivos. Algo como number & string no tiene sentido, ya que ningún valor puede ser ambas cosas a la vez. Cuando quieras «esta forma más aquella forma», & es la herramienta adecuada.

En tiempo de ejecución, por supuesto, un Person es simplemente una tabla Lua normal: la intersección solo existe para el verificador.

Desafío

Fácil

Combina dos formas pequeñas en una.

Escribe type HasName = {name: string}, type HasAge = {age: number} y type Person = HasName & HasAge.
Crea local user: Person = {name = "Omar", age = 31}.
Imprime `Name: {user.name}, Age: {user.age}`.

Presiona Ejecutar código: el resultado muestra Name: Omar, Age: 31.

Pruébalo tú mismo

-- 1) type HasName, type HasAge, type Person = HasName & HasAge
-- 2) local user: Person = {...}
-- 3) imprime la línea con el nombre y la edad

Todas las lecciones de Introducción a Luau

1Primeros pasos con Luau

¿Qué es Luau?¿Por qué usar Luau?Tu primer código en Luau Comprobación de tipos y modos de error Recapitulacion: Introducción a Luau

4Trabajar con funciones

Tipado de parámetros y valores de retorno Tipado de funciones anónimas Funciones que no devuelven nada Parámetros opcionales Valores predeterminados de parámetros Valores predeterminados para booleanos Funciones variádicas Definir tipos de funciones Repaso: funciones tipadas

7Proyecto: Gestor de tareas tipado

Proyecto: La estructura de una tarea Función para añadir una tarea

Función para cambiar el estado de una tarea

Función: Listar tareas por estado

Función: Imprimir el resumen de tareas

Bucle de comandos: Añadir

Bucle de comandos: Listar y completar

Bucle de comandos: Resumen

10Proyecto: Inventario genérico

Proyecto: Elemento de inventario Función: Añadir elementos

La lista de armas

Función: Buscar elemento por ID

Tipos específicos de inventario

Función: Describir elementos

Responder consultas sobre elementos

2Tipos fundamentales

Número, cadena y booleano El tipo 'any': una salida de emergencia El tipo 'unknown'Tipos nulos y opcionales La inferencia de tipos en acción Anotaciones de tipo explícitas Repaso: práctica de tipos fundamentales

5Alias, Uniones e Intersecciones

Alias de tipos para primitivos Tipos de unión Trabajando con tipos de unión Tipos literalesTipos de intersecciónCombinando alias de tipos Resumen: Combinaciones avanzadas de tipos

8Enums al estilo de Luau

El patrón Enum en Luau Enums numéricos con tablas Enums de cadena como uniones Uso de uniones literales como Enums Congelación de tablas constantes Recapitulación: Enums al estilo de Luau

11Temas avanzados

Aserciones de tipo Protectores de tipo con typeof El tipo never Seguridad frente a nil en modo estricto Firmas de índice Repaso: tipos de valores de configuración Repaso: ajuste fino de tipos

Practica por tu cuenta: Compilador de Luau online