泛型 – 如何在Swift泛型中说“同类”

概述如果 Swift泛型类型约束是协议名称,我可以要求约束到该协议的两种类型是相同的类型.例如： protocol Flier {}struct Bird : Flier {}struct Insect: Flier {}func flockTwoTogether<T:Flier>(f1:T, f2:T) {} 函数flockTwoTogether可以用鸟和鸟或昆虫和昆虫调用,但不能用鸟和昆虫调 如果 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.

总结

以上是内存溢出为你收集整理的泛型 – 如何在Swift泛型中说“同类”全部内容，希望文章能够帮你解决泛型 – 如何在Swift泛型中说“同类”所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。