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

Question

问题：

当运行 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

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

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

Type of optionals cannot be inferred correctly in swift 2.2

swift

swift2.2