使用通用闭包进行类型匹配的奇怪行为

Question

在Xcode 7.3 Playground中，此Swift代码出现以下错误。

码

/**  
 *  Represents a future value of type U, from a computation that has not been done yet.  
 */ 
public struct Promise<T, U> {
    var futureValue: T -> U

    public func then<T,U,V>(closure: U -> V) -> Promise<T, V> {
        return Promise<T, V>(futureValue: {
            input in
            let value = futureValue(input)
            return closure(value)
        })
    } 
}

错误

error: cannot invoke value of type 'T -> U' with argument list '((T))'
        let value = futureValue(input)

这看起来应该可行，因为类型在我的定义中匹配。 是什么导致这种现象？

Answer 1

在

public func then<T,U,V>(closure: U -> V) -> Promise<T, V> { ... }

本地通用占位符T, U 隐藏 （或阴影 ）通用占位符

public struct Promise<T, U> { ... }

类型定义。 您的方法定义等同于

public func then<T1,U1,V>(closure: U1 -> V) -> Promise<T1, V> {
    return Promise<T1, V>(futureValue: {
        input in
        let value = futureValue(input)
        return closure(value)
    })
}

然后显示更容易理解的错误消息

error: cannot invoke value of type 'T -> U' with argument list '((T1))'

解决方案很简单：只需从方法定义中的通用占位符列表中省略T和U ，它们就会自动从struct Promise继承。 还要注意， futureValue属性必须在闭包内部通过self进行引用：

public func then<V>(closure: U -> V) -> Promise<T, V> {
    return Promise<T, V>(futureValue: {
        input in
        let value = self.futureValue(input)
        return closure(value)
    })
}