自定义模式匹配失败,"Enum case不是类型的成员"

Question

我正在尝试编写一个自定义模式匹配,让我打开错误并匹配错误代码.请参阅以下示例:

enum ErrorCode: Int {
  case notSoDumb
  case dumbError
}

let myError = NSError(domain: "My domain", code: ErrorCode.dumbError.rawValue, userInfo: nil)

func ~=(pattern: ErrorCode, value: NSError) -> Bool {
  return (ErrorCode(rawValue: value.code) == pattern)
}

switch myError {
case ErrorCode.notSoDumb:
  print("Not a dumb error")
case ErrorCode.dumbError:
  print("Super dumb error")
default:
  print("No matches!")
}

我的switch语句中的第一个案例有错误Enum case 'notSoDumb' is not a member of type 'NSError'.如果我ErrorCode用整数替换枚举(并更新我的自定义~=运算符以匹配Ints和NSErrors,一切正常.

Answer 1

这是一个已知的错误与enum在图案匹配的情况下; 编译器错误地认为它始终使用枚举大小写模式而不是表达式模式.

在修复之前,强制编译器进入"表达式模式"的一种方法是首先绑定一个临时的case:

let notSoDumbErrorCode = ErrorCode.notSoDumb
let dumbErrorCode = ErrorCode.dumbError

switch myError {
case notSoDumbErrorCode:
  print("Not a dumb error")
case dumbErrorCode:
  print("Super dumb error")
default:
  print("No matches!")
}

然而,这非常笨重.一个更好的解决方法是使用struct静态成员而不是enum:

import Foundation

struct ErrorCode : Equatable, RawRepresentable {

  let rawValue: Int

  static let notSoDumb = ErrorCode(rawValue: 0)
  static let dumbError = ErrorCode(rawValue: 1)
}

let myError = NSError(domain: "My domain",
                      code: ErrorCode.dumbError.rawValue,
                      userInfo: nil)

func ~=(pattern: ErrorCode, value: NSError) -> Bool {
  return value.code == pattern.rawValue
}

switch myError {
case ErrorCode.notSoDumb:
  print("Not a dumb error")
case ErrorCode.dumbError:
  print("Super dumb error")
default:
  print("No matches!")
}

这也使您可以在以后通过扩展添加其他错误代码(它的行为更像是一个打开的枚举).虽然它确实删除了验证init(rawValue:),这可能是也可能不是可取的(init?(rawValue:)尽管你可以随时实现自己的验证).

或者,正如您在评论中所说,您可以坚持使用enum,但在模式匹配时使用中间函数调用以强制编译器进入"表达式模式":

enum ErrorCode : Int {
  case notSoDumb
  case dumbError
}

// ...

func identity<T>(_ t: T) -> T { return t }

switch myError {
case identity(ErrorCode.notSoDumb):
  print("Not a dumb error")
case identity(ErrorCode.dumbError):
  print("Super dumb error")
default:
  print("No matches!")
}