- 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/
让我们写一个简单的类在我的脑海中解释: class SomeClass { var happyToUsed = 10 } 并创建一个对象 let someObject = SomeClass(
采用 self 的方法与采用 &self 甚至 &mut self 的方法有什么区别? 例如 impl SomeStruct { fn example1(self) { } fn ex
请观察以下代码(Win10上的python 3.6,PyCharm),函数thread0(self)作为线程成功启动,但是 thread1(self)似乎与thread0(self)不同已设置。 se
backbone.js 开始于: //Establish the root object, `window` (`self`) in the browser, or `global` on the s
做的事: self = self.init; return self; 在 Objective-C 中具有相同的效果: self.init() 快速? 例如,在这种情况下: else if([form
我查看了关于堆栈溢出的一些关于使用[weak self]和[unowned self]的问题的评论。我需要确保我理解正确。 我正在使用最新的 Xcode - Xcode 13.4,最新的 macOS
我面临在以下模型类代码中的 self.init 调用或分配给 self 之前使用 self 的错误tableview单元格项目,它发生在我尝试获取表格单元格项目的文档ID之后。 应该做什么?请推荐。
晚上好。 我对在 Swift 中转义(异步)闭包有疑问,我想知道哪种方法是解决它的最佳方法。 有一个示例函数。 func exampleFunction() { functionWithEsca
我需要在内心深处保持坚强的自我。 我知道声明[weak self]就够了外封闭仅一次。 但是guard let self = self else { return }呢? ,是否也足以为外部闭包声明一
代码 use std::{ fs::self, io::self, }; fn rmdir(path: impl AsRef) -> io::Result { fs::remo
我检查了共享相同主题的问题,但没有一个解决我遇到的这种奇怪行为: 说我有一个简单的老学校struct : struct Person { var name: String var age:
我应该解释为什么我的问题不是重复的:TypeError: can only concatenate list (not “str”) to list ...所以它不是重复的,因为该帖子处理代码中出现的
我有一个 trait,它接受一个类型参数,我想说实现这个 trait 的对象也会符合这个类型参数(使用泛型,为了 Java 的兼容性) 以下代码: trait HandleOwner[SELF
这个问题在这里已经有了答案: Why would a JavaScript variable start with a dollar sign? [duplicate] (16 个答案) 关闭 8
我总是找到一些类似的代码newPromise.promiseDispatch.apply(newPromise, message),我不明白为什么不使用newPromise.promiseDispat
我看到类似的模式 def __init__(self, x, y, z): ... self.x = x self.y = y self.z = z ... 非
mysql查询示例: SELECT a1.* FROM agreement a1 LEFT JOIN agreement a2 on a1.agreementType = a2.agreementTy
self.delegate = self; 这样做有什么问题吗?正确的做法是什么? 谢谢,尼尔。 代码: (UITextField*)initWith:(id)sender:(float)X:(flo
为什么要声明self在类中需要的结构中不需要?我不知道是否还有其他例子说明了这种情况,但在转义闭包的情况下,确实如此。如果闭包是非可选的(因此是非转义的),则不需要声明 self在两者中的任何一个。
这个问题已经有答案了: What does the ampersand (&) before `self` mean in Rust? (1 个回答) 已关闭去年。 我不清楚 self 之间有什么区别
我是一名优秀的程序员,十分优秀!