- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我对协议(protocol)关联类型和泛型类型使用的语法之间的差异感到困惑。
例如,在 Swift 中,可以使用类似的方法定义泛型类型
struct Stack<T> {
var items = [T]()
mutating func push(item: T) {
items.append(item)
}
mutating func pop() -> T {
return items.removeLast()
}
}
虽然使用类似的东西定义了具有关联类型的协议(protocol)
protocol Container {
associatedtype T
mutating func append(item: T)
var count: Int { get }
subscript(i: Int) -> T { get }
}
为什么后者不只是:
protocol Container<T> {
mutating func append(item: T)
var count: Int { get }
subscript(i: Int) -> T { get }
}
该语言没有采用后一种语法是否有一些深层的(或者可能是显而易见的但我不明白的)原因?
最佳答案
RobNapier 的回答(像往常一样)非常好,但只是为了提供可能进一步启发的替代视角......
协议(protocol)是一组抽象的要求——具体类型必须满足的 list 才能表明它符合协议(protocol)。传统上,人们认为行为 list 是:由具体类型实现的方法或属性。关联类型是一种对此类 list 中涉及的事物进行命名的方式,从而扩展定义,同时保持其开放性,以了解一致类型如何实现一致性。
当你看到:
protocol SimpleSetType {
associatedtype Element
func insert(_ element: Element)
func contains(_ element: Element) -> Bool
// ...
}
这意味着,对于一个类型来说,声明符合 SimpleSetType
,该类型不仅必须包含 insert(_:)
和contains(_:)
函数,这两个函数必须采用相同类型的参数。但该参数的类型是什么并不重要。
您可以使用泛型或非泛型类型来实现此协议(protocol):
class BagOfBytes: SimpleSetType {
func insert(_ byte: UInt8) { /*...*/ }
func contains(_ byte: UInt8) -> Bool { /*...*/ }
}
struct SetOfEquatables<T: Equatable>: SimpleSetType {
func insert(_ item: T) { /*...*/ }
func contains(_ item: T) -> Bool { /*...*/ }
}
请注意,BagOfBytes
没有任何地方可以做到这一点。或SetOfEquatables
定义 SimpleSetType.Element
之间的连接以及用作两个方法参数的类型 - 编译器会自动计算出这些类型与正确的方法关联,因此它们满足协议(protocol)对关联类型的要求。
关联类型扩展了创建抽象 list 的词汇量,而泛型类型参数限制了具体类型的实现。当你有一个像这样的通用类时:
class ViewController<V: View> {
var view: V
}
它并没有说有很多不同的方法来制作 ViewController
(只要你有 view
),它就会显示 ViewController
是一个真实、具体的东西,它有一个 view
。此外,我们并不确切知道给定的 ViewController
是什么样的 View 。实例有,但我们确实知道它一定是 View
(View
类的子类,或者实现 View
协议(protocol)的类型......我们不说)。
或者换句话说,编写泛型类型或函数是编写实际代码的快捷方式。举个例子:
func allEqual<T: Equatable>(a: T, b: T, c: T) {
return a == b && b == c
}
这与您浏览所有 Equatable
具有相同的效果类型并写道:
func allEqual(a: Int, b: Int, c: Int) { return a == b && b == c }
func allEqual(a: String, b: String, c: String) { return a == b && b == c }
func allEqual(a: Samophlange, b: Samophlange, c: Samophlange) { return a == b && b == c }
正如您所看到的,我们在这里创建代码,实现新的行为 - 与协议(protocol)相关类型非常不同,在协议(protocol)相关类型中我们只是描述要满足的其他要求。
关联类型和泛型类型参数是非常不同的工具:关联类型是一种描述语言,而泛型是一种实现语言。它们的目的非常不同,尽管它们的用途有时看起来很相似(特别是当涉及到乍一看微妙的差异时,例如任何元素类型集合的抽象蓝图与仍然可以具有任何元素的实际集合类型之间的差异)通用元素)。因为它们是非常不同的野兽,所以它们具有不同的语法。
Swift 团队有一篇关于泛型、协议(protocol)和相关功能的精彩文章 here 。
关于oop - 为什么协议(protocol)的关联类型在 Swift 中不使用泛型类型语法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54989368/
internal protocol Reducer { associatedtype S : BaseState associatedtype A : BaseActi
我在考虑我的应用程序中的验证检查,我认为在任何模型上调用 ValidatorFactory,实现 Validee,这意味着说哪个类负责 ValidatorCreation 听起来不错。但是下面的代码不
我已经定义了 2 个协议(protocol)。我需要第一个 (NameProtocol) 来执行 Equatable 协议(protocol)。而另一个类 (BuilderProtocol) 有一个返
在上传方面,WebDAV 协议(protocol)在哪些方面优于 HTTP 协议(protocol)。 Socket Upload 协议(protocol)和 WebDav Upload 协议(pro
是否可以在任何版本的 Swift 中扩展具有混合类/协议(protocol)类型约束的协议(protocol)?例如,仅当 Self 是 UIViewController 的子类并且符合 Protoc
我有一个协议(protocol) (ProtocolA),其中包含符合第二个协议(protocol) (ProtocolB) 的单个属性。 public protocol ProtocolA {
NSObject 协议(protocol)带有常用的协议(protocol)模板,但它似乎并不是协议(protocol)实际实现所必需的。将其排除在外似乎完全没有任何改变。那么,协议(protocol
我想根据这两种协议(protocol)的一般特征(例如开销(数据包)、安全性、信息建模和可靠性)来比较 OPC UA 和 MQTT。我在哪里可以找到每个协议(protocol)的开销和其他特性的一些示
使用 Swift 4,我正在尝试编写一个自定义协议(protocol),它提供对 @objc 协议(protocol)的一致性。 一些代码 更具体地说,我有一个自定义协议(protocol) Sear
我想定义一个在 Viper 架构中使用的协议(protocol),以使用具有弱属性的协议(protocol)在 Viper 组件之间建立连接,但我收到以下错误消息: 'weak' may only b
我在同一个网络中有 3 个 docker 容器: 存储 (golang) - 它提供了用于上传视频文件的 API。 主播 (nginx) - 它流式传输上传的文件 反向代理 (姑且称之为代理) 我有
我打算在我的项目中使用 php socket。它需要用户登录才能根据 session 填充内容。所以我的问题是,TCP/IP 协议(protocol)也像 HTTP 协议(protocol)一样为每个
目前,我的网站有两个版本。一种带有 https://-证书,一种没有。我想将我网站的 http 版本上的所有用户 301 重定向到我网站的 https://版本。 这似乎不可能,因为创建重定向将导致重
目前,我的网站有两个版本。一种带有 https://-证书,一种没有。我想将我网站的 http 版本上的所有用户 301 重定向到我网站的 https://版本。 这似乎不可能,因为创建重定向将导致重
我有一个 Swift View Controller ,它定义了一个在 Objective-C View Controller 中应该遵循的协议(protocol): ChildViewControl
我在客户那里有数百个硬件设备,需要通过telnet接口(interface)发送HTTP数据。 目标是等待数据的 Apache 2 Web 服务器和 PHP 脚本。 这已经可以正常工作了,但是我们发现
我发现如果我创建一个这样的协议(protocol): protocol MyProtocol { } 我不能这样做: weak var myVar: MyProtocol? 我找到了解决这个问题的方法
Xcode 基于模板生成了这个头文件: // this file is XYZAppDelegate.h #import @interface XYZAppDelegate : UIRespond
我在 github 中有一个公开的存储库,我正在开发一个开源应用程序,用于制作产品目录和小型 cms 内容。 我还有一个私有(private)仓库(不托管在github),它是在托管在github的开
您好,我想让别人看到私有(private) repo 代码,但不想公开我的 repo ,也不希望他们有能力更改内容。这可能吗?我查看了网站的“管理”部分,但没有找到合适的内容。谢谢大家。 最佳答案 据
我是一名优秀的程序员,十分优秀!