为什么我不能在 switch 语句中使用元组常量作为 case

Question

我决定使用 Swift 案例语句和元组。它看起来像是该语言最酷的功能之一。

我决定玩 month/day/year 元组。令我惊讶的是，我不能在 switch 语句中使用常量元组值作为 case。这是一个示例（可以粘贴到 Playground 和运行）

import UIKit
typealias mdyTuple = (month: Int, day: Int, year: Int)
let joesBirthday: mdyTuple = (month: 6, day: 7, year: 1978)
let someday: mdyTuple = (6, 7, 1978)

switch someday
{
  //---------
  //The line "case joesBirthday" won't compile.
  //case joesBirthday:
  //  println("Joe was born on this day"
  //---------
case (joesBirthday.month, joesBirthday.day, joesBirthday.year):
  println("Joe was born on this day")
case (joesBirthday.month, joesBirthday.day, let year):
  println("Joe is \(year-joesBirthday.year) today")
default:
  println("Some other day")
}

注释掉的代码 case joesBirthday: 将无法编译（在 Xcode 6.3 中，如果这很重要）。下面的例子（我分别列出了 joesBirthday 元组的所有元素）既难打又难读，但确实有效）

我的 Playground 在输入此内容时崩溃了 Xcode，并在尝试重新启动时再次崩溃 Xcode，所以我无法报告错误代码。

好吧，我终于让 Xcode 停止崩溃（在连续崩溃 4 次之后。Yayyy！）错误是 "Binary operator ~= cannot be applied to two mdyTuple operands."

为什么要尝试使用 ~= 操作数？元组不是等价的吗？

是否有一些干净替代语法可以让我在 switch 语句的情况下使用常量元组？

Answer 1

您可以像这样为 mydTuple 类型实现 ~= 运算符：

func ~=(a: mdyTuple, b: mdyTuple) -> Bool {
    return a.month ~= b.month && a.year ~= b.year && a.day ~= b.day
}

这在 Playground 中对我有用...现在，这段代码

switch someday {
case joesBirthday:
    println("one")
default:
    println("two")
}

打印 "one".

这是运营商的定义：

infix operator ~= {
    associativity none
    precedence 130
}

并针对以下内容实施：

/// Returns `true` iff `pattern` contains `value`
func ~=<I : IntervalType>(pattern: I, value: I.Bound) -> Bool
func ~=<T>(lhs: _OptionalNilComparisonType, rhs: T?) -> Bool
func ~=<T : Equatable>(a: T, b: T) -> Bool
func ~=<I : ForwardIndexType where I : Comparable>(pattern: Range<I>, value: I) -> Bool

为什么我不能在 switch 语句中使用元组常量作为 case

Why can't I use a tuple constant as a case in a switch statement

tuples

constants

switch-statement

swift