泛型 – 如何在Swift泛型中说“同类”
如果
Swift泛型类型约束是协议名称,我可以要求约束到该协议的两种类型是相同的类型.例如:
protocol Flier {} struct Bird : Flier {} struct Insect: Flier {} func flockTwoTogether<T:Flier>(f1:T,f2:T) {} 函数flockTwoTogether可以用鸟和鸟或昆虫和昆虫调用,但不能用鸟和昆虫调用.这是我想要的限制.到现在为止还挺好. 但是,如果我使用类名尝试相同的东西,它不起作用: class Dog {} class NoisyDog : Dog {} class WellBehavedDog: Dog {} func walkTwoTogether<T:Dog>(d1:T,d2:T) {} 问题是我可以使用WellBehavedDog和NoisyDog调用walkTwoTogether.这是我想要防止的. 这里有两个问题: >有没有办法说使用WellBehavedDog和NoisyDog无法调用walkTwoTogether?
本身不是答案,但也许还有一些数据……问题是当你打电话时:
walkTwoTogether(NoisyDog(),WellBehavedDog()) Swift可以将这两个实例看作是Dog(也称为upcast)的实例 – 我们需要这样,所以我们可以调用A类的子类A的方法.(我知道你知道这个.) Swift不会向上转换为协议,因此唯一的方法是为超类指定的子类指定一个协议: protocol Walkable {} extension NoisyDog : Walkable {} extension WellBehavedDog: Walkable {} func walkTwoTogether<T: Dog where T: Walkable>(d1:T,d2:T) { } walkTwoTogether(NoisyDog(),WellBehavedDog()) // error: type 'Dog' does not conform to protocol 'Walkable' 错误消息明确显示正在发生的事情 – 调用此版本的walkToTogether的唯一方法是将子类实例向上转换为Dog,但Dog不符合Walkable. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |