比较枚举类型的值与关联值时的编译器错误？

Question

class MyClass 
{
    enum MyEnum {
        case FirstCase
        case SecondCase(Int)
        case ThirdCase
    }

    var state:MyEnum!

    func myMethod ()
    {
        if state! == MyEnum.FirstCase {
            // Do something
        }
    }
}

我得到编译器错误指向if语句::

二进制运算符'=='不能应用于两个'MyClass.MyEnum'操作数

如果相反,我使用一个switch声明,没有问题:

switch state! {
    // Also, why do I need `!` if state is already an 
    // implicitly unwrapped optional? Is it because optionals also 
    // are internally enums, and the compiler gets confused?

case .FirstCase:
    // do something...

default:
    // (do nothing)
    break
}

不过,switch声明中感觉太冗长:我只想do something为.FirstCase,并没有什么其他.一种if说法更有意义.

枚举发生了什么==？

编辑:这太奇怪了.在确定了switch版本并转移到我的代码的其他(完全无关的)部分并返回之后,if-statement版本(针对固定枚举情况的合并强制解包属性)正在编译而没有错误.我只能得出结论,它与解析器中的一些已损坏的缓存有关,并且在此过程中已被清除.

编辑2(感谢@LeoDabus和@MartinR):当我为其他枚举案例设置一个关联值(而不是我正在比较的那个 - 在这种情况下,.SecondCase)时,似乎出现错误.我仍然不明白为什么会特别触发此编译器错误("不能使用二元运算符'=='..."),或者这意味着什么.

Answer 1

正如您在评论中所说,您的枚举类型实际上具有关联值.在这种情况下==,枚举类型没有默认运算符.

但是你甚至可以在if语句中使用模式匹配(自Swift 2起):

class MyClass {
    enum MyEnum {
        case FirstCase
        case SecondCase
        case ThirdCase(Int)
    }

    var state:MyEnum!

    func myMethod () {
        if case .FirstCase? = state {

        }
    }
}

这.FirstCase?是一个快捷方式.Some(MyEnum.FirstCase).

在你的switch语句中,state不会自动解包,即使它是一个隐式解包的可选项(否则你无法匹配nil).但是这里可以使用相同的模式:

switch state {
case .FirstCase?:
    // do something...
default:
    break
}

更新:从Swift 4.1(Xcode 9.3)开始,编译器可以为具有相关值的枚举(如果所有类型都是Equatable/Hashable)合成Equatable/Hashable的一致性.宣布一致性就足够了:

class MyClass {
    enum MyEnum: Equatable {
        case firstCase
        case secondCase
        case thirdCase(Int)
    }

    var state:MyEnum!

    func myMethod () {
        if state  == .firstCase {
            // ...
        }
    }
}