与RawRepresentable的一致性

Question

在Swift的书中，枚举的示例工作得很好

enum CompassPoint: String {
    case north, south, east, west
}

var northCom = CompassPoint.north
print (northCom)

但是，我想使用一个可失败的初始化器，因此我给出了一个例子

enum WeekDay: String {
    case monday, tuesday, wednesday, thursday, friday
    init?(rawValue: Int){
        switch rawValue {
        case 0 : self = .monday
        case 1 : self = .tuesday
        case 2 : self = .wednesday
        case 3 : self = .thursday
        case 4 : self = .friday
        default : return nil
        }
    }
}

并得到一个错误，即工作日不符合RawRepresentable -尽管我觉得一致性应该由编译器合成，所以不明白为什么不编译。

我所做的，创建了一个类似的工作示例(以了解问题所在)，而且我仍然希望使用带有可故障初始化器的枚举来遵从RawRepresentable。在Swift的书中，在Stack溢出问题中，或者在更广泛的互联网上，我找不到这方面的例子。

我所提供的给出了上面的一个完整的例子，包括错误以及我所期望的行为的一个工作示例。

(通过链接或评论引用Swift的书籍)对没有帮助，因为我已经在这里举了一个例子。我希望在该示例的基础上使用可故障初始化器。不使用枚举或可失败的初始化程序也是没有帮助的。问题是如何使用带有枚举的可故障抑制器，并与RawRepresentable保持一致。这不是家庭作业，但这些都是问题对我自己学习的限制，我对结果很感兴趣。

问题如何使用带枚举的可故障初始化器(如非工作示例中所示)？

Answer 1

显然，init?(rawValue: Int)的定义阻止编译器自动推断RawValue类型。添加类型别名有助于：

enum WeekDay: String {
    typealias RawValue = String

    case monday, tuesday, wednesday, thursday, friday

    init?(rawValue: Int){
        switch rawValue {
        case 0 : self = .monday
        case 1 : self = .tuesday
        case 2 : self = .wednesday
        case 3 : self = .thursday
        case 4 : self = .friday
        default : return nil
        }
    }
}

或者用不同的参数名定义自定义init函数：

enum WeekDay: String {

    case monday, tuesday, wednesday, thursday, friday

    init?(rawInt: Int){
        switch rawInt {
        case 0 : self = .monday
        case 1 : self = .tuesday
        case 2 : self = .wednesday
        case 3 : self = .thursday
        case 4 : self = .friday
        default : return nil
        }
    }
}

Answer 2

“虽然我觉得一致性应该由编译器合成”

是的，这里您的rawValue是字符串类型，而不是Int类型。只需创建如下所示的枚举：

enum WeekDay: String {
    case monday, tuesday, wednesday, thursday, friday
}

然后创建一个像这样的WeekDay：

let monday: WeekDay? = WeekDay(rawValue: "monday")
let notADay: WeekDay? = WeekDay(rawValue: "foo")

当然，您还可以添加一个以整数作为参数的自定义init：

enum WeekDay: String {
    case monday, tuesday, wednesday, thursday, friday
    init?(integer: Int){
        switch integer {
        case 0 : self = .monday
        case 1 : self = .tuesday
        case 2 : self = .wednesday
        case 3 : self = .thursday
        case 4 : self = .friday
        default : return nil
        }
    }
}

并创建您的weekDay如下：

let monday: WeekDay? = WeekDay(integer: 0)
let notADay: WeekDay? = WeekDay(integer: 30)

Answer 3

在Swift 5中，除了合成的init?(rawValue: Int)之外，没有第二个init?(rawValue: String)的错误。但是，如果您想要覆盖该RawRepresantable实现并让rawValue be Int，这是可能的。

extension WeekDay : RawRepresentable {
    
    typealias RawValue = Int
    init?(rawValue: Int){
        switch rawValue {
        case 0 : self = .monday
        case 1 : self = .tuesday
        case 2 : self = .wednesday
        case 3 : self = .thursday
        case 4 : self = .friday
        default : return nil
        }
    }
    
    var rawValue: Int {
        switch self {
        case .monday : return 0
        case .tuesday :  return 1
        case .wednesday : return 2
        case .thursday : return 3
        case .friday : return 4
        }
    }
}
print(WeekDay.init(rawValue: 2)) // Optional(WeekDay.wednesday)
print(WeekDay.RawValue.self) // Int