Swift 3，元类型问题中的“.self”真的正确吗？

Question

我有一个扩展来遍历视图控制器链（甚至通过容器视图，这非常方便）

public extension UIViewController   // go up to a certain class
    {
    public func above<T>(_ : T.Type)->(T)
        {
        var p:UIResponder = self
        repeat { p = p.next! } while !(p is T)
        return p as! T
        }
    }

（除此之外，请注意，Swift3 需要 p.next 上的“！”：不幸的是，我不确定为什么。）

所以，假设你有一个视图控制器类“General”，你可以

self.above(General).clickedHamburgerMenuButton()

它会找到您上方的第一个“General”。一切都很好，但使用 Swift 3 你会收到这个警告......

缺少“.self”以引用“General”类型的元类型

好像想要这个

self.above(General.self).clickedHamburgerMenuButton()

1) 将General 更改为General.self 似乎......很危险......实际上它是否安全，并且 含义与 Swift 中的General 相同

2) 在扩展中

    public func above<T>(_ : T.Type)->(T)

为什么这是一个元类型？我是否“做错了什么”并让它要求一个元类型而不仅仅是一个类型？

2) “元类型”到底是什么？ （我真的无法在任何地方找到它的解释。）也就是说，除了“类本身”之外，“一般”可能意味着什么。 （不是实例，也不是静态实例，或其他任何东西......）

Answer 1

（顺便说一句，注意，Swift3 需要 p.next 上的“！”：不幸的是，我不确定为什么。）

因为.next 返回一个Optional，但p 不是可选的。如果您的响应者用完，这将崩溃。

1) 将 General 更改为 General.self 似乎......很危险......实际上它是否安全并且与 Swift

我很惊讶在没有 .self 的早期版本的 Swift 中工作，但是是的，需要 .self 才能直接引用元类型。引用元类型在 Swift 中有些少见，如果无意中完成，可能会导致令人惊讶的行为，因此需要额外的语法来表示“是的，我真的是指类型。”

为什么这是一个元类型？我是否“做错了什么”并让它要求一个元类型而不仅仅是一个类型？

你做得对。

2) “元类型”到底是什么？

类型的类型。元类型的实例是一种类型。考虑：

func f(x: Int)

要调用它，您需要传递一个Int 的实例。所以类似：

func f<T>(x: T.Type)

要调用它，您需要传递元类型T.Type 的一个实例，它是一个类型。

---

无关，但我可能会按照这些思路重新考虑这段代码。首先，能够将响应者链视为一个序列很方便。这是一种方法：

public extension UIResponder {
    public func nextResponders() -> AnySequence<UIResponder> {
        guard let first = next else { return AnySequence([]) }
        return AnySequence(sequence(first: first, next: { $0.next }))
    }
}

然后获得与类型匹配的下一个响应者是更清晰的 IMO（并且适用于任何响应者链）：

public extension UIResponder {
    public func firstResponder<T: UIResponder>(ofType _: T.Type)-> T? {
        return nextResponders()
            .flatMap { $0 as? T }
            .first
    }
}

...

self.firstResponder(ofType: General.self)?.clickedHamburgerMenuButton()