swift – 自我,协议扩展和非最终类

我尝试为UIView编写一个静态方法,它从nib中实例化该类的视图.方法应该是通用的,可以在每个UIView子类上工作.另外我想保存类型信息 – 所以,例如,在这段代码

let myView = MyView.loadFromNib()

编译器推断myView有MyView类.经过少量试用,我决定使用协议扩展,因为否则我将无法访问自己的内部方法体.

看起来应该这样工作：

protocol NibLoadable {
    static func loadFromNib(name: String?) -> Self
}

extension NibLoadable where Self: UIView {
    static func loadFromNib(name: String? = nil) -> Self {
        let nibName = name ?? "\(self)"
        let nib = UINib(nibName: nibName,bundle: nil)
        return nib.instantiateWithOwner(nil,options: nil)[0] as! Self
    }
}

extension UIView: NibLoadable {}

但它没有.我得到编译错误

Method 'loadFromNib' in non-final class 'UIView' must return `Self` to conform to protocol 'NibLoadable'

有两件奇怪的事情发生.首先,如果我更改协议声明

protocol NibLoadable {
    static func loadFromNib(name: String?) -> UIView
}

一切都很好,包括类型推断.第二,我可以进一步去删除where子句：

extension NibLoadable {
    ...
}

它一直在工作！

所以任何人都可以解释一下为什么我的第一个变体失败了,为什么第二和第三个工作正常,以及它与最终类有关？

这是我对你的看法的理解：

>在非最终的类’UIView’中得到编译错误方法’loadFromNib’必须在声明扩展名UIView：NibLoadable {}的位置返回’Self’以符合协议’NibLoadable’.我们来看看这个语句对编译器的意义.这就是说“UIView(和它的所有子类,因为它是一个非最终的类)都采用了NibLoadable协议,这意味着,对于UIView来说,将有一个方法与签名static func loadFromNib(name：String？) – &gt ; UIView,因为在这个上下文中的Self是UIView.“

但是这对UIView的子类意味着什么呢？它们继承了它们的一致性,并且可以从UIView本身继承该方法的实现.所以UIView的任何子类都可以使用带有签名的方法func loadFromNib(name：String？= nil) – > UIView的.但是,所有子类也遵循的NibLoadable协议表示该方法的返回类型必须为Self.在任何UIView子类的情况下(例如,让我们说“MyView”),继承方法的返回类型将是UIView而不是MyView.所以任何一个子类都会违反协议的合同.我意识到您的协议扩展使用自己,不会创建这个问题,但从技术上讲,您仍然可以直接在UIView扩展中实现该方法,似乎Swift编译器根本就不会允许它.更好的实现可能会发现Swift编译器验证一个协议扩展是否存在,它提供了实现,并且没有冲突的继承实现,但这似乎在这个时候不存在.所以为了安全起见,我的猜测是,编译器阻止任何具有自我返回类型方法的协议被非最终类采用.所以你看到的错误.

然而,使UIView成为一个最终的类,使得整个继承不合规的方法可能性和问题消失,这修复了错误.
>将UIView协议中的返回类型更改为修复所有内容的原因是因为没有’Self’作为返回类型,现在可以减轻编译器对具有不合格返回类型的方法的继承版本的担忧.例如,如果UIView要实现方法static func loadFromNib(name：String？) – > UIView和子类继承该方法,协议合同仍然适用于那些子类,所以没有问题！

另一方面,类型推断是有效的,因为UIView的子类从协议扩展中获取了它们的方法实现(因为该方法在UIView中没有直接实现).该实现返回Self类型,它告诉编译器返回的值与调用该方法的类型具有相同的类型,并且协议是满足的,因为UIView的任何子类都将具有Self类型,该子类是所需类型的UIView.
>删除where子句仅在这种特定情况下工作,因为您更改了返回UIView的协议方法,协议扩展定义了一个返回Self的匹配方法实现,然后只有UIView才能在示例代码中获取该扩展.因此,返回UIView的方法的协议要求与UIView的实现匹配得到哪个返回Self(在这种情况下恰好是UIView).但是,如果您尝试使UIView以外的任何类型获得协议扩展方法,例如

class SomeClass : NibLoadable {}

甚至

class MyView:UIView,NibLoadable {}

编译器不会允许它,因为协议扩展方法中的自我返回类型与协议中需要的UIView不匹配.我觉得在“MyView”或其他UIView子类的情况下,编译器错误可能是一个错误,因为返回MyView的方法将满足方法返回UIView的协议要求,如果MyView从UIView继承.

总结一些要点：

>它看起来不像协议扩展在您注意到的编译器错误中有任何作用.只是这样也会造成错误：

protocol NibLoadable {
    static func loadFromNib(name: String?) -> Self
}

extension UIView: NibLoadable {}

所以看起来编译器不允许非最终类采用具有自我返回类型(Period)的方法的协议.
>如果您更改协议方法签名以返回UIView而不是自己,特定的编译器警告消失,因为不再具有继承超类返回类型和破坏协议的子类的可能性.然后,您可以使用协议扩展将符合协议的协议添加到UIView.但是,如果您尝试采用除UIView之外的任何类型的协议,则会收到不同的错误,因为UIView的协议返回类型与协议扩展方法的返回类型Self不匹配,除了UIView的一种情况.这可能是一个bug,在我看来,因为UIView的任何子类的Self应该满足所需的UIView返回类型合同.
>但是奇怪的是,如果只在UIView中采用协议,UIView的子类将继承它们对协议的一致性(避免触发上述两个编译器错误),只要UIView就可以从协议扩展中获得它们的通用实现没有明确地实现协议方法本身.因此,子类将获得适当的Self的类型推断,并满足使该方法返回UIView的协议合同.

我很确定所有这些都有一个或多个错误,但Swift团队中的某个人必须确认这一点.

UPDATE

Swift团队在这个Twitter主题中做了一些澄清：

https://twitter.com/_danielhall/status/737782965116141568

作为怀疑,这是一个编译器限制(虽然显然不被认为是一个彻底的错误)协议匹配不考虑子类型,只有精确的类型匹配.当协议方法定义一个返回类型的UIView时,扩展UIView：NibLoadable {}将会起作用,但扩展MyView：NibLoadable {}不会.

swift – 自我,协议扩展和非最终类

相关推荐