Swift：约束一个泛型参数以在更受约束的泛型函数中使用

Question

我正在实现一个需要符合如下协议的类：

protocol P {
    func magic<T>(_ thing: Thing, as type: T.Type) -> T
}

此协议由第三方代码提供，这意味着我无法以任何方式更改它以解决此问题。

现在，我有一个通用函数

func magicForObject<T: AnyObject>(_ thing: Thing, as type: T.Type) -> T

我想在magic 的实现中调用它，只是为了输入things，它们实际上是对象。 也就是说，我想做这样的事情：

func magic<T>(_ thing: Thing, as type: T.Type) -> T {
    if T.self is AnyClass {
        return magicForObject(thing, as: type)
    }
    else {
        // do something else
    }
}

但我找不到任何方法来完成这项工作。上面的代码显然不能编译，像

这样的东西也不能编译

if let T_ = T.self as? AnyClass { ... }

因为T_ 只是一个普通变量，而不是泛型参数（可能是编译时）。

我也试过这样做：

func magic<T: AnyObject>(_ thing: Thing, as type: T.Type) -> T { ... }
func magic<T>(_ thing: Thing, as type: T.Type) -> T { ... }

并分别实现两者。如果直接在对象上调用此函数，则会正确调用受约束的AnyObject，但当对象转换为协议类型P 时，不会，在这种情况下，总是使用第二个。

这种情况似乎受到了无可救药的限制，但有没有我没有想到的解决方法？

更新

目前看来，这在 Swift 中是不可能的。我在 Swift 论坛中创建了 post pitching the idea；如果这也是您需要的，请随时加入。

Answer 1

你的例子有点难以处理，所以我不得不做很多假设，但我想这应该可以满足你的要求。

从你所说的你有一个给定的协议 P：

protocol P {
    func magic<T>(_ thing: Thing, as type: T.Type) -> T
}

让我们给 P 一个你需要它做的默认实现：

extension P {
    // Implementation for magic where T is a class
    func magic<T>(_ thing: Thing, as type: T.Type) -> T where T: AnyObject {
        print("AnyObject Called")
        return Test2() as! T
    }

    // Implementation for magic where T is a struct
    func magic<T>(_ thing: Thing, as type: T.Type) -> T {
        print("Struct Called")
        return Test() as! T
    }
}

你有一个符合 P 的类

class Test2: P {

}

假设你有这个 Thing 对象和一个我们想要传递的结构，看看我们是否有正确的结果：

class Thing {

}

struct Test {

}

现在让我们测试我们是否在Test2 上调用magic，它是否会根据type 传递给magic 的内容调用正确的函数

let test = Test()
let test2 = Test2()

// T is Test2 so its a class
test2.magic(Thing(), as: Test2.self)
// T is Test so its a struct
test2.magic(Thing(), as: Test.self)

打印输出调用

AnyObject Called
Struct Called

看来您可以为structs 做点什么，为classes 做另一件事