swift - 在 swift 2.2 中无法正确推断可选类型

Question

问题:

当使用 swift 2.2 在 Xcode 7.3 下运行以下代码时，编译器无法正确推断可选类型:

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

Answer 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("")