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

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 somethingfor .FirstCase，否则就什么也没有。一种if说法更有意义。

枚举和==怎么回事？

编辑： 这是很奇怪。确定switch版本并转到代码的其他（完全不相关）部分，然后返回后，if-statement版本（将force-
unwrapped属性与固定枚举大小写进行比较）正在编译且没有错误。我只能得出结论，这与解析器中一些已损坏的缓存有关，这些缓存在途中已被清除。

编辑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 {
            // ...
        }
    }
}