- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在设计 API 时,我在每个角落都会遇到这个问题:
Protocol can only be used as a generic constraint because it has Self or associatedType requirements
这意味着如果您计划单独使用协议(protocol)类型,您基本上不能在协议(protocol)级别使用 Self
或 associatedtype
—— 否则需要类型本身是通用的级联失控。
这很烦人(阅读:几乎不可能设计合理的 API,例如公开协议(protocol)但隐藏实现)。例如,你不能有一个简单的数据容器协议(protocol):
protocol DataContainer: Equatable {
var id: Int { get }
var content: Data { get }
}
问题是 Equatable
需要静态函数 ==
,当然,它是使用 Self
表示的。因此,您不能拥有像 [DataContainer]
这样的类型,或任何数量的其他自然事物。我首先遇到了用户组(数组)(可能是三种不同类型之一)。
“官方”推荐的“解决方案”是使用委托(delegate)/包装结构来消除类型变量,例如 AnyDataContainer
。这感觉像是一个相当愚蠢的变通方法,不是正确的 API 设计。
老实说,我不明白为什么类型系统有这个限制。原因是什么?为什么编译器不能为每个协议(protocol) P
隐式创建 AnyP
来绕过它?
最佳答案
这是我能想到的一个原因,实际上也不需要神秘的设置。基于问题中的示例,假设我们可以有这样的代码:
func contained(element: DataContainer, in list: [DataContainer]) -> Bool {
for elem in list {
if elem == element {
return true
}
}
return false
}
Swift 编译器想要静态分派(dispatch) ==
;但它不能!它没有可以选择的单一实现;每个数组元素都可能有自己的类型,因此 ==
的实现,而 element
可能有一个完全不同的类型。因此,编译器禁止使用手头的代码。
另外两个想法。
我认为编译器过于具有防御性。下面的代码可以很容易地编译,例如:
func contained(id: Int, in list: [DataContainer]) -> Bool {
for elem in list {
if elem.id == id {
return true
}
}
return false
}
在这里,我们不需要知道数组元素的确切类型;他们每个人都有一个 Int
属性 id
的 promise 就足够了!
因此它可以允许使用像 [DataContainer]
这样的类型,只要所有访问的属性都可以静态解析。
如果在何处分派(dispatch)和/或存在通用实现没有歧义,编译器可以允许 Self
引用。例如(伪代码):
extension DataContainer {
static func ==<T: DataCointainer, U: DataContainer>(lhs: T, rhs:U) -> Bool {
guard T == U else {
return false
}
return T.==(lhs, rhs as! T)
}
}
这样的默认实现可以在上述使用上下文中使用,即如果没有足够的类型信息可用于静态选择实现。
我不知道是否可以通过类似的想法解决通用协议(protocol)的所有问题,以及我们是否会在此过程中遇到进一步的限制。
关于swift - 为什么要限制带有 Self 或 associatedtype 的协议(protocol)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44389942/
我可以看到有状态的协议(protocol)可以减少像 cookie 这样的“模拟状态”。 但是测试变得更加难以确保您的实现正确并重新连接,并且 session 继续可能很难处理。 始终使用无状态协议(
我正在尝试为我的下一个分布式应用程序找到合适的协议(protocol)中间件。在过去的几天里,我找到了几个规范,想知道我是否错过了一个重要的规范?它应该是二进制协议(protocol),支持 RPC,
我正在做一个研究生院软件工程项目,我正在寻找管理 ATM 和银行网络之间通信的协议(protocol)。 我已经在谷歌上搜索了很长一段时间,虽然我找到了各种有关 ATM 的有趣信息,但我惊讶地发现似乎
我正在开发一个 ECG 模块,它以字节为单位给出数据。有一个关于它的协议(protocol)文档解释了如何构建从模块中出来的数据包。我想解码该数据。我很困惑 Protocol Buffer 是否会对此
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 想改进这个问题?将问题更新为 on-topic对于堆栈溢出。 3年前关闭。 Improve this qu
我需要在我的程序中包含基本的文件发送和文件接收例程,并且需要通过 ZMODEM 协议(protocol)。问题是我无法理解规范。 供引用,here is the specification . 规范没
我最近听到这个术语来描述 Google 的新环聊协议(protocol)和 Whisper System 的新 encrypted texting app . The new TextSecure p
如何检查某个对象是否符合协议(protocol)? 我试过这种方式,但出现错误: if lCell.conformsToProtocol(ContentProtocol) { } 最佳
在应用程序中,我们有两种类型的贴纸,字符串和位图。每个贴纸包都可以包含两种类型。这就是我声明模型的方式: // Mark: - Models protocol Sticker: Codable { }
这个问题在这里已经有了答案: Why can't a get-only property requirement in a protocol be satisfied by a property w
我有以下快速代码: protocol Animal { var name: String { get } } struct Bird: Animal { var name: String
我在遵循继承树的几个类中分配协议(protocol)。像这样: 头等舱 @protocol LevelOne - (void) functionA @end @interface BaseClass
我们之前使用的是 fix,但客户说使用 OUCH 进行交易,因为这样速度更快。我在互联网上查了一下,消息看起来很相似。它如何获得速度优势。请给我一些示例消息 最佳答案 基本上,FIX 消息以文本格式传
在我的 swift 项目中,我有一个使用协议(protocol)继承的案例,如下所示 protocol A : class{ } protocol B : A{ } 接下来我要实现的目标是声明另一个具
我想根据这两种协议(protocol)的一般特征(例如开销(数据包)、安全性、信息建模和可靠性)来比较 OPC UA 和 MQTT。我在哪里可以找到每个协议(protocol)的开销和其他特性的一些示
本质上,我的最终目标是拥有一个协议(protocol) Log,它强制所有符合它的对象都有一个符合另一个协议(protocol) [LogEvent] 的对象数组. 但是,符合Log的类需要有特定类型
我正在尝试为基于左操作数和右操作数标识的协议(protocol)实现 Equatable 协议(protocol)。换句话说:我如何为一个协议(protocol)实现 Equatable 协议(pro
问题不在于编程。 我正在使用一台旧机器,微软停止了这些机器的补丁。 有没有人针对攻击者已知的使用端口 445 的 SMB 协议(protocol)漏洞的解决方案? 任何棘手的解决方案? 换句话说,我想
在我们的业务中,我们需要记录到达我们服务器的每个请求/响应。 目前,我们使用 xml 作为标准实现。 如果我们需要调试/跟踪某些错误,则使用日志文件。 如果我们切换到 Protocol Buffer
你推荐什么协议(protocol)定义? 我评估了 Google 的 Protocol Buffer ,但它不允许我控制正在构建的数据包中字段的位置。我认为 Thrift 也是如此。我的要求是: 指定
我是一名优秀的程序员,十分优秀!