类型别名与自定义类型的区别详解

类型别名与自定义类型是编程中常见的概念，尤其在 TypeScript 等静态类型语言中。**类型别名**，如 `type MyString = string;`，本质上是现有类型的别称，主要用于简化代码、提高可读性，编译后会被展开，不创建新类型。而**自定义类型**，如 `class MyClass { ... }` 或 `interface MyInterface { ... }`，则用于定义具有特定行为和结构的新类型，增强类型安全和语义区分。本文将深入探讨类型别名与自定义类型的区别，包括它们的本质、类型检查方式、用途侧重以及在不同语言中的实现，助您根据实际需求选择合适的类型定义方式，提升代码质量。

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

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

类型别名（Type Alias）

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

特点：

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

示例（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 也会认为它们是不同类型的，从而防止误用。

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

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。