Swift 5.8如何限制ExpressibleByIntegerLiteral结构体的初始化值？

你的核心问题在于ExpressibleByIntegerLiteral协议要求的初始化器既不能是可失败的，也不能抛出异常，所以直接返回nil或者抛出错误的路子走不通。结合Swift 5.8的特性，可以通过运行时断言+不可变存储的方式解决这个问题，既保证字面量初始化的语法，又能在传入非法值时及时报错。

修正后的实现代码 #

struct Digit: ExpressibleByIntegerLiteral, Equatable, CustomStringConvertible {
    typealias IntegerLiteralType = Int
    
    // 将value设为只读常量，避免初始化后被修改为非法值
    let value: IntegerLiteralType
    
    var description: String {
        String(value)
    }
    
    init(integerLiteral value: IntegerLiteralType) {
        // 用precondition做运行时检查，Debug模式下非法值直接崩溃并提示
        precondition(0...9 ~= value, "Digit必须是0到9之间的整数")
        self.value = value
    }
    
    init?(from char: Character?) {
        guard let char,
              let newValue = IntegerLiteralType(String(char)),
              0...9 ~= newValue
        else {
            return nil
        }
        self.value = newValue
    }
}

关键改进点说明 #

• 不可变的value属性：把原来的可变var value改成let value，确保结构体初始化后，外部无法修改value为非法值，从根源上避免后续的范围问题。
• 运行时断言检查：在init(integerLiteral:)中使用precondition，它的特性是：
  • Debug模式下，传入非法值会直接触发崩溃，并输出指定的错误信息，方便开发阶段快速发现问题；
  • Release模式下默认会移除断言（若开启优化），如果需要在Release模式也强制检查，可以换成fatalError("Digit必须是0到9之间的整数")，但这会让程序直接崩溃，需根据业务场景选择。
• 移除了原代码中逻辑错误的willSet：原代码的willSet错误判断旧值范围，且直接赋值self.value会触发无限循环，现在去掉了这个无效逻辑。

测试效果 #

• 合法初始化：正常执行，输出预期结果

  let digit: Digit = 5
  print(digit) // 输出 "5"
  

• 非法初始化：Debug模式下立即崩溃，控制台输出错误信息Precondition failed: Digit必须是0到9之间的整数，直接暴露问题。

关于编译时检查的补充 #

在Swift 5.8中，由于没有宏支持，无法直接做到编译时检查整数字面量的范围（后续Swift版本的宏可以实现），所以目前只能通过运行时断言的方式保障正确性。如果希望编译时就提示错误，可以考虑放弃字面量初始化，改用工厂方法（比如Digit.make(5)）配合自定义编译警告，但这会牺牲你想要的字面量语法简洁性。

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