ios - Swift:运算符 '*' 的使用不明确

Question

在 Xcode Playgrounds 中试验一组闭包时，我收到此错误:

Playground execution failed: error: closures.playground:11:25: error: ambiguous use of operator '*'
            {x in x * x},

我从语法上看不出这不起作用的原因，但它应该起作用。

我的初始关闭是:

let f = {(x: Int) -> Int
    in
    return x + 42}

然后我这样定义一个数组:

let closures = [f,
            {(x:Int) -> Int in return x * 2},
            {x in return x - 8},
            {x in x * x}, //This line causes the error.
            {$0 * 42}]

这些闭包中的每一个都符合 f 的签名，所以这是 Xcode 中的错误吗？如果不是，发生了什么？

为了说明这一点，难道不应该在那种情况下推断出类型，就像在所有其他情况下都清楚地推断出类型一样吗？

编辑:在 Swift 2.2 中，这似乎工作正常，但我使用的是 Swift3。

Answer 1

如果你愿意，我有一个理论:

使用您对 f 的定义，以下行会在 Swift 2.2 和 Swift 3.0 中导致不同的错误:

let closures = [f, { $0 * 4.5 },{$0 * 42}]

请注意，第二个元素乘以 Double，使 x 的推断类型也为 Double，因此闭包签名不匹配。

在 Swift 2.2 中:“表达式类型在没有更多上下文的情况下不明确”

在 Swift 3.0 中:“只能将异构集合文字推断为‘[Any]’；如果这是有意的，请添加显式类型注释”

这似乎表明 Swift 3.0 编译器可以识别不同闭包签名的可能性，这些签名可以向下转换为 Any 作为同质元素类型。

在你的例子中:

let closures = [f,
        {(x:Int) -> Int in return x * 2},
        {x in return x - 8},
        {x in x * x}, //This line causes the error.
        {$0 * 42}]

导致错误的行没有x 的显式类型。 Swift 3.0 允许 x 可能是其他类型的可能性，例如Double、Float 等，并且整个数组的类型可能是 [Any] 而不是 [(Int)->Int]。因此，通过不在此位置为 x 或整个 closures 声明任何显式类型，编译器不清楚 * 功能。也许那些 x 都是 double ？花车？由于 closures 数组的类型不明确且 x 的类型不明确，因此编译器无法确定 *< 的版本 应该在那里使用，操作数类型是什么。

因此，您可以通过显式显示数组类型来修复错误，即:

let closures:[(Int)->Int] = [f,
        {(x:Int) -> Int in return x * 2},
        {x in return x - 8},
        {x in x * x}, //No more error.
        {$0 * 42}]

或者，通过使闭包内的 x 的类型显式化，即:

let closures = [f,
        {(x:Int) -> Int in return x * 2},
        {x in return x - 8},
        {(x:Int) in x * x}, //No more error.
        {$0 * 42}]

在其他闭包中，与x相对的另一个操作数足以让编译器推断出x的类型，但在产生错误的闭包中，有没有什么可以最终确定类型。

同样，这似乎在 Swift 2.2 中有效，因为 Swift 2.2 不会将异构数组推断为 [Any] 类型，因此假定所有闭包必须具有相同的类型。在 Swift 3 中，似乎允许了一些更模糊的可能性，这使得编译器不太确定你的意图。

至少那是我的理论:)