ByAI：Swift 中的不可复制类型

1. 不可复制类型的引入

• 背景: Swift 中的值类型（如结构体）默认是可复制的，这意味着我们可以轻松地将一个值赋值给多个变量或常量。然而，某些场景下，我们希望限制值的复制行为，确保某个值只能被使用一次。

• 新特性: Swift 引入了不可复制类型（Non-Copyable Types），通过移除对 Copyable 协议的隐式遵循，禁止值的复制。

• 示例代码:

  swift

  复制

  struct Token: ~Copyable {
      var value: String
  }
  

  • 解释：通过 ~Copyable 语法，Token 类型被标记为不可复制。

2. 不可复制类型的行为

• 特性: 不可复制类型的值不能被复制，但可以通过“消耗”（consuming）的方式转移到另一个变量或函数参数中。转移后，原始变量将无法再使用。

• 示例代码:

  swift

  复制

  let token = Token(value: "abc")
  let newToken = token // ❌ 错误：不可复制类型不能赋值
  

  • 解释：尝试复制 token 会导致编译错误。

3. 函数参数中的不可复制类型

• 特性: 使用 consuming 关键字标记函数参数，表示该参数在传递给函数后会被“消耗”，无法再使用。

• 示例代码:

  swift

  复制

  func use(token: consuming Token) {
      print("Token used: (token.value)")
  }
  
  let token = Token(value: "abc")
  use(token: token)
  print(token.value) // ❌ 错误：'token' 已被消耗
  

  • 解释：token 被传递给 use(token:) 函数后，无法再访问其值。

4. 完整示例代码

• 代码:

  swift

  复制

  import Foundation
  
  struct Token: ~Copyable {
      var value: String
  }
  
  func getToken() -> Token {
      return Token(value: "abc")
  }
  
  func use(token: consuming Token) {
      print("Token used: (token.value)")
  }
  
  let token = getToken()
  use(token: token)
  print(token.value) // ❌ 错误：'token' 已被消耗
  

• 解释：

  1. 定义了一个不可复制的 Token 类型。
  2. getToken() 函数返回一个 Token 实例。
  3. use(token:) 函数消耗了 token，之后 token 无法再使用。

总结

• 不可复制类型：通过 ~Copyable 语法，禁止值类型的复制行为。
• 消耗语义：使用 consuming 关键字标记函数参数，确保值在传递后被消耗，无法重复使用。
• 适用场景：适用于需要确保值只能被使用一次的场景，如一次性令牌、资源管理等。

这一特性增强了 Swift 的类型安全性，帮助开发者更好地控制值类型的行为。

原文链接

www.swiftwithvincent.com/blog/introd…