Swift协议继承和通用函数
发布时间:2020-12-14 05:29:05 所属栏目:百科 来源:网络整理
导读:考虑以下游乐场: import Foundationprotocol StringInitable { init( string:String )}class A : StringInitable { var stored:String required init ( string:String ) { stored = string }}class B : A /*,StringInitable */ { var another_stored:String
考虑以下游乐场:
import Foundation protocol StringInitable { init( string:String ) } class A : StringInitable { var stored:String required init ( string:String ) { stored = string } } class B : A /*,StringInitable */ { var another_stored:String required init ( string:String ) { another_stored = "B-store" super.init(string: string) } } func maker<T:StringInitable>(string:String) -> T { return T(string: string) } let instanceA = A(string: "test-maker-A") let instanceB = B(string: "test-maker-B") let makerA:A = maker("test-maker-A") let makerB:B = maker("test-maker-B") let typeInstanceA = _stdlib_getTypeName(instanceA) let typeMakerA = _stdlib_getTypeName(makerA) let typeInstanceB = _stdlib_getTypeName(instanceB) let typeMakerB = _stdlib_getTypeName(makerB) 从结果来看,编译器似乎推断出了正确的类型,但未能调用正确的初始化器.为什么我必须在B类中显式实现StringInitable(通过删除B类定义中的注释来测试)以使通用函数“maker”调用正确的初始化器?
这有点像编译器错误,原因很简单:makerB是B类型的变量,但它被分配了一个A的实例.这应该是不可能的,事实上如果你试图打印,更一般地说是访问,makerB变量的another_stored属性,引发了一个运行时异常,我不希望别的.
这是因为如果B是A的子类,则A的实例不能分配给B类型的变量(而相反的情况则可能). 但是,可以将A类型的变量分配给B类型的变量,但仅限于以下条件: >完成从A到B的显式向下转换(否则编译器应该出错) 请注意,编译器不仅无法调用正确的初始化程序 – 它还调用了另一个类的初始化程序 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |