Swift中如何实现类型安全的ID索引，避免类型别名混用？

你遇到的问题本质是typealias只是给现有类型起别名，并没有创建新类型，所以HumanId和RobotId底层都是Int，编译器无法区分它们。要在避免重复代码的同时保证类型安全，可以用泛型结构体+空枚举标记的方案：

核心实现 #

// 通用的泛型ID结构体，通过Tag类型区分不同ID
struct TaggedID<Tag> {
    let rawValue: Int
}

// 为每个ID类型定义专属的空枚举作为标记（无任何成员，仅用于区分类型）
enum HumanTag {}
enum RobotTag {}

// 用类型别名简化调用，保持代码可读性
typealias HumanId = TaggedID<HumanTag>
typealias RobotId = TaggedID<RobotTag>

使用方式 #

修改你的函数参数类型后，编译器会自动阻止跨类型调用：

func getHuman(at index: HumanId) -> Human {
    // 业务逻辑中需要原始整数时，直接访问index.rawValue即可
    let rawId = index.rawValue
    // ...
}

func getRobot(at index: RobotId) -> Robot {
    // ...
}

// 正确调用
let validHuman = getHuman(at: HumanId(rawValue: 0))

// 错误调用，编译器会直接报错（类型不匹配）
// let invalidHuman = getHuman(at: RobotId(rawValue: 0))

优化：简化初始化 #

如果觉得每次写rawValue麻烦，可以让TaggedID遵循ExpressibleByIntegerLiteral协议，支持直接用整数初始化：

extension TaggedID: ExpressibleByIntegerLiteral {
    init(integerLiteral value: Int) {
        self.rawValue = value
    }
}

// 现在可以直接这样写
let humanId: HumanId = 0
let robotId: RobotId = 0

方案优势 #

• 完全类型安全：不同标记的ID是完全独立的类型，编译器会在编译阶段拦截错误的类型转换
• 极低的代码重复：新增ID类型只需要定义一个空枚举和一行类型别名，无需重复写结构体逻辑
• 保留原始值访问：需要使用底层整数时，直接通过rawValue获取，不影响业务逻辑实现

内容的提问来源于stack exchange，提问作者Paulius Liekis