在 TypeScript 类型系统中，元组（Tuple）提供了一种表达"长度固定且各元素类型明确"的数据结构方式。与普通数组要求所有成员类型一致不同，元组允许按位置声明不同的类型，非常适合表达结构清晰但类型组合多样的数据。

声明元组时，使用方括号将多个类型按顺序排列即可。例如，定义一个记录图像尺寸与格式的配置变量：

let imageSpec: [number, number, string];
imageSpec = [1920, 1080, "webp"];

此时，TypeScript 会严格校验传入值的数量与对应位置的类型。

获取元组内的数据既可以通过传统的数字索引，也可以利用解构语法。索引从 0 开始，直接对应声明时的顺序：

console.log(imageSpec[0]); // 1920
console.log(imageSpec[2]); // "webp"

若仅需提取部分数据，解构写法更为简洁。例如跳过中间的宽度参数，直接提取高度与格式：

const [, height, format] = imageSpec;
console.log(`Resolution: ${height}p, Format: ${format.toUpperCase()}`);

元组在函数返回值设计中极为常见，尤其适合需要同时返回计算结果与状态标识的场景。假设我们需要解析一段形如 protocol://domain 的网址片段，并返回解析出的协议、域名及验证结果：

function parseUrlSegment(raw: string): [string, string, boolean] {
  const delimiterIndex = raw.indexOf("://");
  if (delimiterIndex === -1) {
    return ["", raw, false];
  }
  const proto = raw.slice(0, delimiterIndex).trim();
  const domain = raw.slice(delimiterIndex + 3).trim();
  return [proto, domain, true];
}

const [scheme, host, isVerified] = parseUrlSegment("  https://api.example.com ");
if (isVerified) {
  console.log(`Target: ${host} via ${scheme}`);
}

当处理具有固定结构的批量数据时，将元组放入数组中能够兼顾灵活性与类型安全。例如，维护一个包含任务 ID、紧急程度与截止时间的日志列表：

type TaskEntry = [string, "high" | "low", Date];

const taskQueue: TaskEntry[] = [
  ["T-101", "high", new Date("2023-11-20")],
  ["T-102", "low", new Date("2023-12-05")],
  ["T-103", "high", new Date("2023-11-18")]
];

taskQueue.forEach(([taskId, urgency, dueDate]) => {
  const level = urgency === "high" ? "紧急" : "常规";
  console.log(`[${taskId}] 优先级：${level}，截止日期：${dueDate.toLocaleDateString()}`);
});

尽管元组提供了精确的类型约束，但在实际开发中仍需注意索引越界问题。TypeScript 默认允许读取超出声明长度的索引（在宽松模式下返回 undefined），因此建议开启严格的 noUncheckedIndexedAccess 编译选项，或在业务逻辑中显式校验数组长度，以避免运行时异常。