类型别名与自定义类型有什么区别

类型别名是现有类型的同义词，不创建新类型，仅用于简化书写；自定义类型则创建具有独立身份的新类型，用于增强类型安全和语义区分。

类型别名和自定义类型在很多语言中都能见到，尤其在 TypeScript、Rust 等静态类型语言中较为常见。虽然它们看起来相似，用途也部分重叠，但两者在语义、使用方式和底层处理上存在关键区别。

类型别名（Type Alias）

类型别名是为一个已存在的类型起一个新名字，它不创建新的类型，只是提供一个别名来简化或清晰化代码中的类型书写。

特点：

豆包大模型

字节跳动自主研发的一系列大型语言模型

834

查看详情

• 不会创建新类型，只是原有类型的“标签”或“引用”
• 主要用于简化复杂类型（如联合类型、交叉类型、函数类型等）的写法
• 不能被继承或实现（如接口那样）
• 在编译后会被“展开”，实际类型系统中不存在这个别名

示例（TypeScript）：

type ID = string | number;
type Point = { x: number; y: number };

这里 ID 和 Point 只是原有类型的别名，用 ID 的地方本质上还是 string | number。

自定义类型（Custom Type / Nominal Type）

自定义类型是指通过某种机制真正创建一个新的、独立的类型，即使它的结构与现有类型相同，也被视为不同类型。这通常用于增强类型安全性，防止逻辑上不兼容的值被混用。

特点：

• 创建的是一个“全新”的类型，具有独立的身份
• 常用于区分语义不同的相同结构（例如：用户ID 和 订单ID 都是数字，但不应互换）
• 支持类型检查时的严格区分（名义类型系统）
• 在某些语言中可通过包装、标记或 newtype 实现

示例（Rust 中的 newtype 模式）：

struct UserId(i32);
struct OrderId(i32);

尽管两者内部都是 i32，但 UserId 和 OrderId 是不同类型，不能直接赋值或比较。

关键区别总结：

• 本质不同：类型别名是“同义词”，自定义类型是“新类型”
• 类型检查：别名在结构相同时可互换；自定义类型即使结构相同也不可互换
• 用途侧重：别名用于简化和组织类型；自定义类型用于增强安全性和语义表达
• 语言支持：TypeScript 的 type 是别名；Rust 的元组结构体、TypeScript 中通过接口或包装类模拟自定义类型

在 TypeScript 中，虽然没有原生的“名义类型”支持，但可以通过技巧模拟自定义类型：

type UserID = string & { __brand: 'user-id' };
type OrderID = string & { __brand: 'order-id' };

这样即使都是字符串，TypeScript 也会认为它们是不同类型的，从而防止误用。

基本上就这些。类型别名轻量、方便，适合大多数场景；而自定义类型更强调类型安全和语义清晰，适合需要严格区分的上下文。选择哪种，取决于你对类型安全的需求程度。

以上就是类型别名与自定义类型有什么区别的详细内容，更多请关注php中文网其它相关文章！