对于没有默认情况的 Double 类型，快速开关可以详尽无遗吗？

Question

对于没有默认情况的 Double 类型，快速切换可以穷举吗？

这个开关（没有默认情况）给出错误：开关必须是详尽的：

    var minY = 1.0

    switch minY {
    case -(Double.infinity)..<0.9:
        yAxisMinimum = 0.0
    case (0.9..<0.99):
        yAxisMinimum = 0.9
    case (0.99..<0.999):
        yAxisMinimum = 0.99
    case (0.999..<0.9999):
        yAxisMinimum = 0.999
    case (0.9999...Double.infinity):
        yAxisMinimum = 0.9999
    }

但是这个开关，在（无用的）默认情况下，可以工作：

    var minY = 1.0

    switch minY {
    case -(Double.infinity)..<0.9:
        yAxisMinimum = 0.0
    case (0.9..<0.99):
        yAxisMinimum = 0.9
    case (0.99..<0.999):
        yAxisMinimum = 0.99
    case (0.999..<0.9999):
        yAxisMinimum = 0.999
    case (0.9999...Double.infinity):
        yAxisMinimum = 0.9999
    default:
        yAxisMinimum = 0.0
    }

我尽量避免使用我的开关的默认情况，但不知道是否可以使用 Double。

Answer 1

没有because only enum types can be exhaustively checked。

但在这种情况下，问题就更深了。即使可以彻底检查整数，仍然如果没有 where 子句，您也无法彻底检查 Double。其中一个选项是.nan（“不是数字”），您没有考虑。所以你可能会想只添加这种情况：

case .nan:
    yAxisMinimum = .nan

这不仅不会使其详尽无遗，甚至不会按您期望的方式工作。

var minY = Double.nan

switch minY {
case -(Double.infinity)..<0.9:
    yAxisMinimum = 0.0
// ...
case .nan:
    yAxisMinimum = .nan
default:
    yAxisMinimum = 0
}

yAxisMinimum // 0

为什么？正因为如此：

var minY = Double.nan
minY == .nan   // false

NaN 不等于一切，包括 NaN。所以没有办法将它直接包含在 switch 语句中。您必须使用where 子句：

case _ where minY.isNaN:
    yAxisMinimum = .nan

这绝对超出了编译器的验证能力。