如何修复：“将非转义参数传递给期望@escaping闭包的函数”

Question

我正在尝试将closurse用于一阶谓词演算，并打算定义以下函数：

func ASSUM<U, V>(p: @escaping Pred<U>) -> (Pred<U>) -> Pred<(U, V)> {
    return { q in AND1(p: p, q: q) }
}

它将谓词< code>p: Pred作为参数

typealias Pred<T> = (T) -> Bool

ASSUM 的返回是一个谓词转换器闭包类型 （Pred

然而，编译器返回以下错误:

Passing non-escaping parameter 'q' to function expecting an @escaping closure

我知道函数和1的定义要求一个转义参数：

func AND1<U, V>(p: @escaping Pred<U>, q: @escaping Pred<V>) -> Pred<(U, V)> {
    return { (x, y) in (p(x) && q(y)) }
}

但是我没有成功地在AND1（p： p， q： q）}中显式使q转义。

我怎样才能解决这个问题？

Answer 1

您必须明确地将＜code＞转义＜/code＞属性添加到＜code＞ASSUM＜/code＞的返回类型闭包的参数中：

typealias Pred<T> = (T)->Bool

func AND1<U, V>(p: @escaping Pred<U> , q: @escaping Pred<V>) -> Pred<(U, V)> {
    return { (x,y) in (p(x) && q(y)) }
}

func ASSUM<U, V>(p: @escaping Pred<U>) -> (@escaping Pred<V>) -> Pred<(U, V)> { 
                                                       /* ^ note: I believe you 
                                                            want V here, not U  */
    return { AND1(p: p, q: $0) }
}

在返回的闭包中，q（匿名 $0 参数）被正确地推断为@escaping（并且不需要显式标记，正如@Hamish所指出的那样，谢谢！

还请注意，ASSUM中的泛型类型V，必须由调用者通过显式类型注释（或转换）来推断，因为它不包括在ASSUM

/* example usage */
let foo = { $0 < 2 }
let bar = { $0 != "bar" }

let fooAnd: (@escaping Pred<String>) -> Pred<(Int, String)> = ASSUM(p: foo)
let fooAndBar = fooAnd(bar)

print(fooAndBar((1, "foo"))) // true
print(fooAndBar((1, "bar"))) // false
print(fooAndBar((2, "foo"))) // false

最后，ALLCAPITAL 函数名称不符合 Swift 命名约定：您应该更喜欢驼峰大小写命名（有关其他详细信息，请参阅例如 Swift API 指南）。