Swift中如何实现仅含同构Equatable类型的数组属性约束？

推荐方案：使用枚举实现编译时类型约束 #

通过自定义枚举关联[String]和[Int]类型，既能保证数组元素类型统一，又能在编译阶段就约束可选类型范围，从根源避免运行时错误。

首先定义遵循Equatable的枚举：

enum IDArray: Equatable {
    case strings([String])
    case integers([Int])
}

修改UserListModel的ids属性为该枚举的可选类型：

struct UserListModel {
    // 此处还有其他无关属性
    var ids: IDArray?
}

使用时只能通过枚举的关联值赋值，编译时会直接拦截非法的混合类型赋值：

var greenUsers = UserListModel()
// 合法赋值：全String数组
greenUsers.ids = .strings(["a", "b", "c"])
// 合法赋值：全Int数组
greenUsers.ids = .integers([1, 2, 3])

// 以下代码会直接编译报错，无法通过编译
// greenUsers.ids = ["1", 2]

如果需要从[Any]类型的外部数据转换为IDArray，可以给枚举添加可失败初始化方法做运行时校验：

extension IDArray {
    init?(_ array: [Any]) {
        if let stringArray = array as? [String] {
            self = .strings(stringArray)
        } else if let intArray = array as? [Int] {
            self = .integers(intArray)
        } else {
            return nil
        }
    }
}

// 使用示例
let mixedInput: [Any] = ["1", 2]
if let validIDs = IDArray(mixedInput) {
    greenUsers.ids = validIDs
} else {
    print("错误：数组必须全为String或全为Int类型")
}

备选方案：运行时校验（保留[any Equatable]?类型） #

如果必须保持ids为[any Equatable]?类型，可以通过私有存储属性和自定义setter做运行时校验，拦截混合类型的赋值：

struct UserListModel {
    // 此处还有其他无关属性
    private var _ids: [any Equatable]?
    var ids: [any Equatable]? {
        get { _ids }
        set {
            guard let newIds = newValue else {
                _ids = nil
                return
            }
            // 校验所有元素类型统一且为String/Int
            let isAllString = newIds.allSatisfy { $0 is String }
            let isAllInt = newIds.allSatisfy { $0 is Int }
            
            if isAllString || isAllInt {
                _ids = newIds
            } else {
                // 可根据需求选择报错、忽略或置空，这里示例抛出运行时错误
                fatalError("ids数组必须全为String或全为Int类型，禁止混合类型")
                // 温和处理方式：_ids = nil
            }
        }
    }
}

这种方式编译时允许混合类型赋值，但运行时会拦截非法输入，安全性不如枚举方案，仅在无法修改属性类型时使用。

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