Swift：检查泛型类型是否符合协议

Question

我有一个这样定义的协议：

protocol MyProtocol {
   ...
}

我也有一个通用结构：

struct MyStruct <T>  {
    ...
}

我终于有了一个通用函数：

func myFunc <T> (s: MyStruct<T>) -> T? {
   ...
}

如果类型 T 符合 MyProtocol，我想在函数内部进行测试。本质上我希望能够做到（~伪代码）：

let conforms = T.self is MyProtocol

但这会引发编译器错误：

error: cannot downcast from 'T.Type' to non-@objc protocol type 'MyProtocol'
   let conforms = T.self is MyProtocol
                  ~~~~~~ ^  ~~~~~~~~~~

我也尝试过变体，例如T.self is MyProtocol.self、T is MyProtocol，并使用== 代替is。到目前为止，我还没有到任何地方。有什么想法吗？

Answer 1

我不得不说@Alex 想检查T 类型是否符合协议而不是s。有的答主没看清楚。

检查T 类型是否符合这样的协议：

if let _ = T.self as? MyProtocol.Type {
    //  T conform MyProtocol
}

或

if T.self is MyProtocol.Type {
    //  T conform MyProtocol
}

Answer 2

有点晚了，但您可以使用as ? 测试测试是否有响应协议：

if let currentVC = myViewController as? MyCustomProtocol {
    // currentVC responds to the MyCustomProtocol protocol =]
}

编辑：短一点：

if let _ = self as? MyProtocol {
    // match
}

并使用警卫：

guard let _ = self as? MyProtocol else {
    // doesn't match
    return
}

Answer 3

最简单的答案是：不要那样做。改用重载和约束，并在编译时预先确定所有内容，而不是在运行时动态测试内容。运行时类型检查和编译时泛型就像牛排和冰淇淋一样——两者都很好，但混合起来有点奇怪。

考虑这样的事情：

protocol MyProtocol { }

struct MyStruct <T>  { let val: T }

func myFunc<T: MyProtocol>(s: MyStruct<T>) -> T? {
    return s.val
}

func myFunc<T>(s: MyStruct<T>) -> T? {
    return nil
}

struct S1: MyProtocol { }
struct S2 { }

let m1 = MyStruct(val: S1())
let m2 = MyStruct(val: S2())

myFunc(m1) // returns an instance of S1
myFunc(m2) // returns nil, because S2 doesn't implement MyProtocol

缺点是，如果 T 在运行时支持协议，则无法动态建立：

let o: Any = S1()
let m3 = MyStruct(val: o)
myFunc(m3)  // will return nil even though o 
            // does actually implement MyProtocol

但是，老实说，您真的需要在泛型函数中这样做吗？如果您不确定某事物的实际类型是什么，更好的选择可能是预先弄清楚，而不是推迟到以后再在泛型函数中推动它以找出答案。

Answer 4

让符合 = T.self 是 MyProtocol.Type

Answer 5

如果您想处理T 类型的多个案例，您还可以利用swift 的switch case pattern matching：

func myFunc<T>(s: MyStruct<T>) -> T? {
    switch s {
    case let sType as MyProtocol:
        // do MyProtocol specific stuff here, using sType
    default:
        //this does not conform to MyProtocol
    ...
    }
}

Answer 6

您需要将协议声明为@objc:

@objc protocol MyProtocol {
    ...
} 

来自 Apple 的“The Swift Programming Language”一书：

只有当您的协议标有@objc 属性时，您才能检查协议一致性，如上面的 HasArea 协议所示。这个属性表明协议应该暴露给 Objective-C 代码，在 Using Swift with Cocoa and Objective-C 中有描述。即使您不与 Objective-C 互操作，如果您希望能够检查协议一致性，您也需要使用 @objc 属性标记您的协议。

还要注意@objc 协议只能被类采用，不能被结构或枚举采用。如果您将协议标记为 @objc 以检查一致性，您将能够将该协议仅应用于类类型。

Answer 7

对于测试用例，我会像这样检查一致性：

let conforms: Bool = (Controller.self as Any) is Protocol.Type

Answer 8

现代答案将是这样的：(Swift 5.1)

func myFunc < T: MyProtocol> (s: MyStruct<T>) -> T? {    ... }