swift - 如何在 Swift 扩展中使用包装器类型参数

Question

我想在我的类型扩展中引入一些类型之间的联系。考虑以下示例。

struct Wrapper<T> {
    var target: T?
}

struct Container<T> {
    var wrapper: T?
}

extension Container where T == Wrapper<Any> {

    func unwrap() -> Any {
        return wrapper!.target!
    }


}

这可以编译，但如果我想像这样使用它的话。

var wrapper = Wrapper<String>()
wrapper.target = "foo"
var container = Container<Wrapper<String>>()
container.wrapper = wrapper
let string: String  = container.unwrap()

以上代码以编译错误结束

Container<Wrapper<String>>' is not convertible to 'Container<Wrapper<Any>>

所以要清楚。有没有办法表明扩展约束的类型参数是新方法的返回类型。所以它可以像

extension Container where T == Wrapper<NEWTYPEARGUMENT> {

    func unwrap() -> NEWTYPEARGUMENT {
        return wrapper!.target!
    }

}

Answer 1

目前，Swift 不支持使用 where 子句在扩展中引入泛型类型约束。但是，您可以通过使用 where 子句将类型约束直接引入泛型函数来实现您正在尝试做的事情。

extension Container {
    func unwrap<U>() -> U where T == Wrapper<U> {
        return wrapper!.target!
    }
}

var wrapper = Wrapper<String>()
wrapper.target = "foo"
var container = Container<Wrapper<String>>()
container.wrapper = wrapper
let string: String  = container.unwrap() //"foo"