在 swift 2.2 中无法正确推断选项的类型答案

【问题标题】：Type of optionals cannot be inferred correctly in swift 2.2在 swift 2.2 中无法正确推断选项的类型
【发布时间】：2016-03-22 17:11:31
【问题描述】：

问题：

在 Xcode 7.3 和 swift 2.2 下运行以下代码时，编译器无法正确推断可选项的类型：

import Foundation

func whatAmI<T>(inout property:T?)
{
    switch property {
    case is Int?:
        print("I am an Int?")
    case is String?:
        print("I am a String?")
    default:
        print("I don't know what I am")
    }
}

var string : String?
whatAmI(&string)

在我使用 Xcode 7.3 时，这将打印 I am an Int?

但是，当我在将变量传递给函数之前用空字符串初始化变量时，开关会推断它是一个字符串？。

这将在以前的 Xcode 版本中打印 I am a String?。

你得到了类似的结果吗？

观察：

使用此函数签名时也会发生同样的情况：

func whatAmI(property:AnyObject?)

-- 错误--

这个问题是 swift 2.2 中的一个回归问题： https://bugs.swift.org/browse/SR-1024

【问题讨论】：

这似乎是一个非常奇怪的行为，它实际上可能是一个错误。我可以看到T 已被推断为String 和(nil as T?) is Int? 将通过但(nil as String?) is Int? 将失败。
奇怪：这在 Swift 2.1.1 上适用于我，即程序输出 I am a String?
我建议提交错误报告。确实很好。
哇。如果您颠倒case 语句的顺序，它会显示I am a String?。所以它只是针对第一个，不管它是什么。
提交了错误报告：bugs.swift.org/browse/SR-1024

标签： swift swift2.2

【解决方案1】：

这似乎是一个错误。最小的例子如下：

func genericMethod<T>(property: T?) {
    print(T) // String

    let stringNil = Optional<String>.None

    print(stringNil is String?) // true (warning - always true)    
    print(stringNil is T?) // true

    let intNil = Optional<Int>.None

    print(intNil is String?) // false (warning - always fails)
    print(intNil is T?) // true - BUG
}

genericMethod("")

【讨论】：