Pascal变体记录与setty集合类型转换为Swift等效实现咨询

1. 集合类型setty的Swift实现 #

Pascal中set of setlow..sethigh本质是长度为48位的位集合，每一位对应0~47范围内的一个值是否存在，Swift中可以直接用UInt64封装实现，刚好覆盖48位的需求：

// 定义setty等效类型
typealias Setty = UInt64
extension Setty {
    // 检查是否包含某元素
    func contains(_ value: Int) -> Bool {
        guard value >= setlow, value <= sethigh else { return false }
        return (self & (1 << UInt64(value))) != 0
    }
    // 插入元素
    mutating func insert(_ value: Int) {
        guard value >= setlow, value <= sethigh else { return }
        self |= (1 << UInt64(value))
    }
    // 删除元素
    mutating func remove(_ value: Int) {
        guard value >= setlow, value <= sethigh else { return }
        self &= ~(1 << UInt64(value))
    }
}

2. 变体记录constant的Swift实现 #

Pascal变体记录的「同一块内存存互斥类型」特性，和Swift的带关联值的枚举完全匹配，无需单独定义cstclass枚举，直接把类型标识和关联字段整合到枚举中即可：

// 先定义16位固定长度字符数组的等效类型，对应Pascal的packed array [1..strglgth] of char
typealias Char16 = (CChar, CChar, CChar, CChar, CChar, CChar, CChar, CChar,
                    CChar, CChar, CChar, CChar, CChar, CChar, CChar, CChar)
// 变体记录constant的等效枚举
enum Constant {
    case reel(rval: Char16)
    case pset(pval: Setty)
    case strg(slgth: Int, sval: Char16)
}
// 定义csp（指向constant的指针）等效类型
typealias CSP = UnsafeMutablePointer<Constant>
// 变量lvp声明
var lvp: CSP?

使用说明 #

Swift枚举的访问逻辑和Pascal变体记录完全对应：

{ Pascal 写法 }
if lvp^.cclass = reel then
    writeln(lvp^.rval)
else if lvp^.cclass = pset then
    writeln(lvp^.pval)

// Swift 对应写法
guard let lvp = lvp else { return }
switch lvp.pointee {
case .reel(let rval):
    print(rval)
case .pset(let pval):
    print(pval)
case .strg(let slgth, let sval):
    print(slgth, sval)
}

如果需要和原有Pascal代码的内存布局完全兼容，可给Constant枚举添加@frozen、@usableFromInline等修饰符，保证内存排布稳定。

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