如何在TypeScript中创建“伪”ID类型以实现参数静态校验

这事儿我太懂了！你想要的是一个「本质是string，但能通过静态检查确保参数传递正确」的ID类型，说白了就是要让不同业务场景的ID（比如用户ID、订单ID）在类型层面就区分开，避免传混。下面给你分几种主流语言的具体实现方案：

TypeScript 实现方案 #

TypeScript里最适合的是品牌类型（Branded Types）——它在运行时就是普通string，但类型系统会把它和原生string、其他品牌ID彻底区分开，静态检查直接就能拦住错误传递。

// 定义带品牌标记的ID类型，__brand是约定俗成的标记（不会影响运行时）
type UserId = string & { __brand: 'UserId' };
type OrderId = string & { __brand: 'OrderId' };

// 写工厂函数生成合法ID，确保只有通过这里创建的才是对应类型
const createUserId = (rawId: string): UserId => rawId as UserId;
const createOrderId = (rawId: string): OrderId => rawId as OrderId;

// 测试函数，参数指定为对应ID类型
function getUserById(id: UserId) {
  console.log(`拉取用户：${id}`);
}

function getOrderById(id: OrderId) {
  console.log(`拉取订单：${id}`);
}

// ✅ 正确用法
const myUserId = createUserId('user_001');
getUserById(myUserId);

// ❌ 错误用法（TypeScript直接报错）
const myOrderId = createOrderId('order_100');
getUserById(myOrderId); // 类型不匹配，静态检查拦截

C# 实现方案 #

C#可以用**记录类型（Record）**或者结构体来包装string，既保留string的本质，又能在编译阶段做类型检查。记录类型自带值相等性，写起来最简洁：

// 用记录类型封装不同的ID
public record UserId(string Value);
public record OrderId(string Value);

// 业务方法指定参数类型
public void GetUserById(UserId userId)
{
    Console.WriteLine($"用户ID：{userId.Value}");
}

public void GetOrderById(OrderId orderId)
{
    Console.WriteLine($"订单ID：{orderId.Value}");
}

// ✅ 正确调用
var userId = new UserId("user_001");
GetUserById(userId);

// ❌ 错误调用（编译报错）
var orderId = new OrderId("order_100");
GetUserById(orderId); // 无法将OrderId转换为UserId，编译阶段拦截

如果想让ID用起来更像原生string，可以重写ToString()、重载运算符，甚至实现IEquatable<string>接口，完全不影响业务代码的使用体验。

Python 实现方案 #

Python是动态类型，但配合Mypy这类静态检查工具，用**数据类（dataclass）**包装string也能达到目的：

from dataclasses import dataclass

# 冻结数据类，确保ID不可修改，更符合业务场景
@dataclass(frozen=True)
class UserId:
    value: str

@dataclass(frozen=True)
class OrderId:
    value: str

# 给函数加类型注解
def get_user_by_id(id: UserId) -> None:
    print(f"用户ID：{id.value}")

def get_order_by_id(id: OrderId) -> None:
    print(f"订单ID：{id.value}")

# ✅ 正确调用
user_id = UserId("user_001")
get_user_by_id(user_id)

# ❌ 错误调用（Mypy报错）
order_id = OrderId("order_100")
get_user_by_id(order_id) # Mypy提示类型不匹配，静态检查拦截

核心思路总结 #

不管用什么语言，核心都是用自定义类型封装原生string，让类型系统把不同业务的ID、原生string彻底区分开。这样既保留了string的本质（存储、传输都和普通string一样），又能在开发阶段就拦截参数传错的问题，不用等到运行时才发现bug。

内容的提问来源于stack exchange，提问作者Davis Yoshida