TypeScript中数组和元组本质不同：数组要求同类型、长度可变，用T[]或Array<T>声明；元组要求定长、多类型且顺序严格，如[string, number, boolean]，支持可选元素与精准解构，隐式推导不产生元组类型。
TypeScript 中数组和元组是两种不同用途的类型：数组强调「同类型、可变长」，元组强调「定长度、多类型、顺序敏感」。声明方式不同，约束力度也完全不同。
数组类型：统一元素类型，长度自由
数组用于存储多个相同类型的值，声明方式有两种等价写法：
-
语法糖写法：
let arr: string[] = ["a", "b"]; -
泛型写法：
let arr: Array<number> = [1, 2, 3];</number>
两者完全等效，推荐用 [] 写法，更简洁直观。TypeScript 会严格检查所有元素是否符合声明类型：
-
let nums: number[] = [1, 2, "3"];→ 报错：不能将 string 赋给 number[] - 若需混合类型（如字符串和数字），可用联合类型：
let mixed: (string | number)[] = ["x", 42]，但注意false这类其他类型仍会报错 - 完全放开类型检查？可用
any[]，但会失去类型安全，不建议在业务逻辑中使用
元组类型：每个位置类型固定，长度不可增减
元组不是“增强版数组”，而是独立类型——它把类型信息直接写进方括号内，例如 [string, number, boolean]，表示一个三元素结构，且顺序、数量、类型都必须严格匹配。
- 正确赋值：
let user: [string, number, boolean] = ["Alice", 30, true]; - 顺序错就报错：
["30", "Alice", true]→ 第一项应为 string，但 "30" 是 string，看似没问题？不对——第二项期望 number，却给了 string，直接报错 - 多一个或少一个都不行：
["Alice", 30]或["Alice", 30, true, "admin"]均被拒绝
元组的灵活性：可选元素与解构访问
元组支持在类型末尾加 ? 标记可选成员，但必须从右往左连续可选：
-
let info: [string, number?, boolean?]允许["name"]、["name", 25]、["name", 25, false] -
let bad: [string?, number]是非法的——可选项不能出现在必选项之前 - 访问时，TypeScript 能根据索引自动推断类型：
tuple[0].toUpperCase()安全，tuple[1].toFixed()也安全（前提是第1位声明为 number） - 支持解构：
const [name, age, active] = user;，各变量自动获得对应类型
常见误用提醒：别把联合数组当元组
写 let x = ["a", 1] 不会自动推断为元组，TypeScript 默认推为 (string | number)[]。要启用元组语义，必须显式声明类型：
- ✅ 正确：
let x: [string, number] = ["a", 1]; - ❌ 错误：
let x = ["a", 1];→ 类型是(string | number)[]，可 push 任意 string/number，无长度保护 - ⚠️ 注意：
push可以绕过长度限制（如向二元组 push 第三个值），但后续访问该索引会报类型错误，属于“运行时可行、编译时禁用”
