对于只有一个相同类型的情况，最好有一个更简单的方案来处理。下面看看本提议如何解决。提议的解决方案本提议会提出一种新的语法，用于声明协议一致性需求，以及协议主要关联类型上的一个或者多个相同类型的需求。...，可以声明带有主要关联类型的协议。...比如Set的泛型参数类型此时是Int, 则Element此时是与Int类型对应。具体设计细节在协议声明中，协议名称后面可以有一个主要关联类型列表，关联类型声明在尖括号''里。...关联类型列表中的每个关联类型必须要定义在对应的协议声明内，或者继承的协议声明内。...向协议添加主关联类型可以兼容源代码，该协议仍然可以在没有的情况下使用，就跟没有主关联类型的情况一样。
介绍SE-0361，在 Swift5.7 已经实现。目前指定泛型的类型参数基本都是通过来表示，例如Array。...提议动机在 Swift 语言中，基本到处可见使用在泛型类型名称后面声明绑定的泛型类型。...StringArray { ... }结合0346, 我们还可以为协议声明一个主要关联类型，并且使用绑定到扩展声明上，例如：protocol Collection { associatedtype...类型参数的查找是在扩展上下文之外进行的，所以泛型类型的参数是不能出现类型参数列表中。因为泛型类型的参数在上下文中，无法代表一个准确的类型。比如Element。...{ ... } // Extends Optional总结Swift5.7 泛型类型支持带尖括号的扩展绑定至此，包括 extension, Swift 均支持带扩展语法
Swift为解决这种混乱提供了解决方案，它是一种称为Result的特殊数据类型。这为我们提供了所需的行为，同时还可以与非阻塞函数配合使用，这些函数是异步执行工作的，因此它们不会阻塞主代码的运行。...另外，它还使我们可以返回特定类型的错误，从而更容易知道出了什么问题。...我们要做的是为上述网络代码创建一个包装器，以便它使用 Swift 的Result类型，这意味着您可以清楚地看到前后。 首先，我们需要定义可以引发哪些错误。...到目前为止，我们所做的只是编写使用Result的函数；我们还没有编写任何能处理返回结果的文件。请记住，无论发生什么情况，结果始终包含两条信息：结果的类型（成功或失败）以及其中的某些内容。...\ 在幕后，Result实际上是一个具有关联值的枚举，Swift具有非常特殊的语法来处理这些值：我们可以打开Result，并编写诸如case .success（let str）之类的情况表示“如果这是成功后
虽然 Swift 通过其强大的类型系统和完善的编译器帮助我们避免了许多含糊不清的来源——但只要我们无法在编译时保证某个数据总是符合我们的要求，就总是有风险，我们最终会处于含糊不清或不可预测的状态。...本周，让我们来看看一种技术，它可以让我们利用 Swift 的类型系统在编译时执行更多种类的数据验证——消除更多潜在的歧义来源，并帮助我们在整个代码库中保持类型安全——通过使用幻象类型(phantom types...如果我们再深入一点，就会发现 Swift 标准库将我们上面提到的UTF8类型定义为另一个类似命名空间的枚举中的一个无大小写枚举，称为Unicode。...例如，我们可以让我们的一些DocumentFormat类型遵守Printable协议，然后我们可以在打印代码中使用这些协议作为约束条件。这里有大量的可能性。...一个标准的模式 起初，幻象类型在 Swift 中可能看起来有点 "格格不入"。
大多数Swift开发人员会在某一时刻或另一时刻（通常是马上，而不是日后）会遇到这样一种情况，即需要某种形式的类型擦除才能引用通用协议。...当协议包含关联的类型时，也是如此。...协议的实现包装在一个 // 与 Request 协议具有相同的响应和错误类型的泛型中 struct AnyRequestSwift.Error> { typealias...// 我们修改了'add'方法，以包含一个'where'子句， // 该子句确保传递的请求已关联的类型与队列的通用类型匹配。...在未来，我们可能还会看到 Swift 中添加了新的特性，可以自动化创建类型擦除包装类型的过程，也可以通过使协议也被用作适当的泛型（例如能够定义像Request这样的协议）
Swift 的类型推断能力从一开始就是语言的核心部分，它极大地减少了我们在声明有默认值的变量和属性时手动指定类型的工作。...作为 Xcode 13.3 的一部分而一起发布的 Swift 5.6，通过引入 "类型占位符（type placeholders） "的概念，继续扩展这些类型推理能力，这在处理集合和其他通用类型时非常有用...因为我们不希望我们的主体在这种情况下抛出任何错误，所以我们会给它一个Failure类型的值Never（这是在 Swift 中使用 Combine 的一个常见惯例）。...>(0) 不过从 Swift 5.6 开始，这种情况就不存在了——因为我们现在可以使用一个类型占位符来表示我们主体的Output类型，这让我们再次利用编译器为我们自动推断出该类型，就像在声明一个普通的Int...不过，值得指出的是，在上述情况下，还有另一种方法可以利用Swift的类型推理能力——那就是使用类型别名，而不是类型占位符。
Swift 的类型推断能力从一开始就是语言的核心部分，它极大地减少了我们在声明有默认值的变量和属性时手动指定类型的工作。...作为 Xcode 13.3 的一部分而一起发布的 Swift 5.6，通过引入 "类型占位符（type placeholders） "的概念，继续扩展这些类型推理能力，这在处理集合和其他通用类型时非常有用...因为我们不希望我们的主体在这种情况下抛出任何错误，所以我们会给它一个Failure类型的值Never（这是在 Swift 中使用 Combine 的一个常见惯例）。...>(0) 不过从 Swift 5.6 开始，这种情况就不存在了——因为我们现在可以使用一个类型占位符来表示我们主体的Output类型，这让我们再次利用编译器为我们自动推断出该类型，就像在声明一个普通的...不过，值得指出的是，在上述情况下，还有另一种方法可以利用Swift的类型推理能力——那就是使用类型别名，而不是类型占位符。
介绍SE-0358， Swift5.7 已实现。SE-0346 已经引入了主要关联类型特性。本篇提议目的是为了在 Swift 标准库中使用此特性，为现有协议支持主要关联类型。...对每个具有多个关联类型要求的协议，我们要谨慎的确认哪个类型为主要关联类型。...让用法为设计提供信息如果你正在为现有的协议添加一个主要关联类型，先看看该协议关联的类型中哪些是受限制的。是否有一个类型比其他类型使用的多？如果是，那么该类型就是主要关联类型的不错选择。举例说明。...Swift5.7中的新协议Clock只有Instant一个关联类型。在实际使用中，开发者更多使用的类型是Instant.Duration而不是Instant类型本身。...把主要关联类型的数量限制为1在大多数情况下，最好不要在任何协议上声明多个主要关联类型。保持一个最好。提议方案下面表格列举了标准库中带关联类型的所有公共协议，以及它们提议的关联类型。
默认情况下，使用 Swift 内置的 Codable API 解析 JSON 时，我们的属性类型需要和Json 中的类型保持一致，否则就会解析失败。...另一种常见的是返回了"18.1", 这是一个 Double类型，这时候一样无法成功解析。...在使用 OC 的时候，我们常用的方法将其解析为 NSString 类型，使用的时候再进行转换，可是当使用 Swift 的 Codabel 时我们不能直接做到这样。...第二种方法同时也不会采用重写模型自身的解析过程来实现，那样子不具备通用性，太麻烦，每次遇到都需要来一遍。 参照第一种方法，我们先写一个将任意类型转换成 String?...的方法： // 用于解决不知道服务器返回什么类型。。。。
与许多其他语言相比，使Swift更加安全，更不易出错的原因之一是其先进的（并且在某种程度上是不容忍的）类型系统。...但这带来了一些复杂性——在每当我们要使用此API时，我们现在都必须将其称为协议 ModelLoading，该协议具有相关的类型要求。...这意味着仅引用 ModelLoading 是不够的，因为在没有更多信息的情况下编译器无法推断其关联类型。...基本上，您将关联值要求的协议包装为泛型类型，然后您可以直接使用它而无需使使用它的类也是泛型的。...希望在处理Swift代码中的泛型和协议时，您可以找到上述技术。
与许多其他语言相比，使Swift更加安全，更不易出错的原因之一是其先进的（并且在某种程度上是不容忍的）类型系统。...但这带来了一些复杂性——在每当我们要使用此API时，我们现在都必须将其称为协议ModelLoading，该协议具有相关的类型要求。...这意味着仅引用ModelLoading是不够的，因为在没有更多信息的情况下编译器无法推断其关联类型。...基本上，您将关联值要求的协议包装为泛型类型，然后您可以直接使用它而无需使使用它的类也是泛型的。...希望在处理Swift代码中的泛型和协议时，您可以找到上述技术。 感谢阅读！? ?
翻译自：https://docs.swift.org/swift-book/LanguageGuide/OpaqueTypes.html 具有不透明返回类型的函数或方法隐藏其返回值的类型信息。...这种运算符通常接受typeSelf的参数，匹配采用协议的任何具体类型，但在协议中添加Self要求不允许将协议用作类型时发生的类型擦除。...相比之下，不透明类型保留了底层类型的身份。Swift可以推断关联类型，这允许您在协议类型不能用作返回值的地方使用不透明的返回值。...，因为该协议具有关联类型。...在makeOpaqueContainer(item:)的实现中，不透明容器的基础类型是[T]在这种情况下，T是Int，因此返回值是整数数数组，并且推断出Item关联的类型为Int。
在Swift中的枚举不仅保留了大部分编程语言中枚举的特性，同时还添加了一些好用而且实用的新特性，在本篇博客中将领略一些Swift中枚举类型的魅力。 有小伙伴会问，不就是枚举么，有什么好说的。...在Swift中的枚举怎不然，Swift中的枚举的功能要强大的多，不仅可以给枚举元素绑定值，而且可以给枚举元素关联多个值，同时还可以通过元素的值给一个枚举变量赋一个枚举值，并且枚举中可以定义枚举函数。...从字面意思上看是给枚举成员关联一个值，没错，就是在给枚举变量赋值时，给枚举变量关联一个值。在Swift中如何做的呢？...就是在声明枚举类型中的元素时使用小括号来制定关联值的类型，然后在给枚举变量赋值的时候关联一个或者多个值即可，直接看实例。 ...下面的代码是给iOS指定了两个String类型的关联值，在给枚举变量赋值的时候关联两个值。关联这两个值可以在Switch语句中进行使用。
首先，代理协议的命名方式：类名 + Delegatev protocol LXFViewDelegate { func view(_ view: LXFView) } 当我们创建的协议遵守其它协议的情况下...报错 意思是weak只能修饰一个类或者类绑定协议的类型 正如提示一样，我们当前的代理并非是一个类或者类绑定协议的类型 当前我们这个协议不仅可以被类遵守，还可以被结构体和枚举所遵守（这里不演示了）...解决�办法有两个： 办法1 直接在协议的后面写上【: class】或者【: NSObjectProtocol】 protocol LXFPageViewDelegate: class // 或者 protocol...class 这种方式下推荐【: class】，相比之下更为轻量级 办法2 在protocol前面加上【@objc】，表示objc类型的协议 @objc protocol LXFPageViewDelegate...objc 这种方式下的优点是协议中的方法不强制实现
比方说，在我们的应用程序中，有一个这样的子系统是我们用来处理模型的。它由一个ModelStorage类组成，该类又有许多不同的依赖关系和类型，它用于序列化、缓存和文件系统访问等方面。...提取到一个协议中 接下来，我们要把我们的目标类的 API 提取出来，并将其提取为一个协议。这将使我们以后能够对同一个 API 有多个实现，这反过来又使我们能够用一个新的目标类来反复地替换这个目标类。...} 关于上述内容有两点需要注意；首先是我们在协议中加入了类的约束。这是为了使我们能够继续做一些事情，比如保持对类型的弱引用，以及使用其他只针对类的功能，比如标识对象的功能。...移除协议 一旦我们确信我们的新实现和旧的实现一样好用，我们就可以安全地把NewDatabase变成我们唯一的实现。...感谢您的阅读 译自 John Sundell 的 Replacing legacy code using Swift protocols
所以，一般来说，协议肯定是在Swift中声明抽象类型的首选方式，但这并不意味着它们是完美的。...事实上，我们基于协议的Loadable实现目前有两个主要缺点: 首先，由于我们不得不为我们的协议添加一个相关的类型，以保持我们的设计是泛型的和类型安全的，这意味着Loadable不能再被直接引用了。...由于Swift的组合运算符&支持将一个类和一个协议结合起来，我们可以将我们的Loadable类型作为LoadableBase和LoadableProtocol之间的组合重新引入： typealias Loadable... = LoadableBase & LoadableProtocol 这样，具体的类型（如UserLoader）可以简单地声明它们是基于Loadable的，而编译器将确保所有这些类型实现我们协议的...[2] 模拟: https://www.swiftbysundell.com/articles/mocking-in-swift [3] Swift 中通常使用的协议: https://www.swiftbysundell.com
所以，一般来说，协议肯定是在Swift中声明抽象类型的首选方式，但这并不意味着它们是完美的。...事实上，我们基于协议的Loadable实现目前有两个主要缺点: 首先，由于我们不得不为我们的协议添加一个相关的类型，以保持我们的设计是泛型的和类型安全的，这意味着Loadable不能再被直接引用了。...由于Swift的组合运算符&支持将一个类和一个协议结合起来，我们可以将我们的Loadable类型作为LoadableBase和LoadableProtocol之间的组合重新引入： typealias Loadable... = LoadableBase & LoadableProtocol 这样，具体的类型（如UserLoader）可以简单地声明它们是基于Loadable的，而编译器将确保所有这些类型实现我们协议的...上述方法的唯一真正的缺点是，Loadable仍然不能被直接引用，因为它仍然是部分的泛型协议。但这实际上可能不是一个问题——如果这成为一种情况，那么我们总是可以使用诸如类型擦除的技术来解决这些问题。
我的第一个正式使用swift开发的项目已经开始三周了，从一开始的不习惯到现在渐渐地有点感觉，让我感到它不仅仅是OC的简单代替，而在设计上其实还是有差别的。...缺失类型信息：比如当使用父类中继承来的方法的时候，父类中是没办法得到子类的类型信息的，这里就由可能会涉及到向下转型的问题，比如下面用了as!。...Number).value } } 因此在swift的世界中使用子类相比较而言并不是一个更好抽象机制，使用面向协议的方式有以下好处： 除了引用类型，值类型也可以使用，更加灵活 类型信息得以保障...同时在swift中不光支持extension一个已有的class，连protocol也支持扩展，简直业界良心 从swift 2开始，也可以对于协议使用where进行类型限定，这一系列的特性也让我们在开发过程中如虎添翼...当然，我们在开发过程当中也并不意味着所有的都要采用面向协议的方式，有些需要使用class的时候还是应该坚定不移的使用。
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
腾讯会议
云直播
