草庐IT

swift - Swift(UI) 中的 "some"关键字是什么？

coder 2023-07-14 原文

新款SwiftUI tutorial有以下代码:

struct ContentView: View {
    var body: some View {
        Text("Hello World")
    }
}

第二行字some ，并在他们的网站上突出显示，就好像它是一个关键字。

Swift 5.1 似乎没有 some作为关键字，我看不出还有什么词some可以在那里做，因为它会去到类型通常去的地方。是否有新的未宣布的 Swift 版本？它是以我不知道的方式在类型上使用的函数吗？

关键字some是什么意思做？

最佳答案

some View是 an opaque result type由 SE-0244 介绍并且在 Swift 5.1 和 Xcode 11 中可用。您可以将其视为“反向”通用占位符。

与调用者满足的常规通用占位符不同:

protocol P {}
struct S1 : P {}
struct S2 : P {}

func foo<T : P>(_ x: T) {}
foo(S1()) // Caller chooses T == S1.
foo(S2()) // Caller chooses T == S2.

一个不透明的结果类型是一个由实现满足的隐式通用占位符，所以你可以这样想:
func bar() -> some P {
  return S1() // Implementation chooses S1 for the opaque result.
}

看起来像这样:
func bar() -> <Output : P> Output {
  return S1() // Implementation chooses Output == S1.
}

事实上，这个特性的最终目标是允许以这种更明确的形式进行反向泛型，这也可以让你添加约束，例如 -> <T : Collection> T where T.Element == Int . See this post for more info .

最重要的是，函数返回 some P是一种返回符合 P 的特定单个具体类型的值的方法。 .尝试在函数内返回不同的符合类型会产生编译器错误:
// error: Function declares an opaque return type, but the return
// statements in its body do not have matching underlying types.
func bar(_ x: Int) -> some P {
  if x > 10 {
    return S1()
  } else {
    return S2()
  }
}

由于隐式通用占位符不能被多种类型满足。

这与返回 P 的函数形成对比。 , 可用于表示 S1和 S2因为它代表一个任意 P符合值:
func baz(_ x: Int) -> P {
  if x > 10 {
    return S1()
  } else {
    return S2()
  }
}

好的，那么不透明结果类型有什么好处-> some P超过协议(protocol)返回类型 -> P ?

1. 不透明结果类型可以与 PAT 一起使用

当前协议(protocol)的一个主要限制是 PAT(具有关联类型的协议(protocol))不能用作实际类型。尽管这一限制可能会在该语言的 future 版本中取消，因为不透明结果类型实际上只是通用占位符，它们现在可以与 PAT 一起使用。

这意味着您可以执行以下操作:
func giveMeACollection() -> some Collection {
  return [1, 2, 3]
}

let collection = giveMeACollection()
print(collection.count) // 3

2. 不透明的结果类型有标识

因为不透明的结果类型强制返回单个具体类型，所以编译器知道对同一函数的两次调用必须返回两个相同类型的值。

这意味着您可以执行以下操作:
//   foo() -> <Output : Equatable> Output {
func foo() -> some Equatable { 
  return 5 // The opaque result type is inferred to be Int.
}

let x = foo()
let y = foo()
print(x == y) // Legal both x and y have the return type of foo.

这是合法的，因为编译器知道 x和 y具有相同的具体类型。这是 == 的重要要求，其中类型为 Self 的两个参数.
protocol Equatable {
  static func == (lhs: Self, rhs: Self) -> Bool
}

这意味着它需要两个与具体符合类型相同类型的值。即使 Equatable可用作类型，您将无法比较两个任意 Equatable使值(value)观相互一致，例如:
func foo(_ x: Int) -> Equatable { // Assume this is legal.
  if x > 10 {
    return 0
  } else {
    return "hello world"      
  }
}

let x = foo(20)
let y = foo(5)
print(x == y) // Illegal.

由于编译器无法证明任意两个Equatable值具有相同的底层具体类型。

以类似的方式，如果我们引入另一个不透明类型的返回函数:
//   foo() -> <Output1 : Equatable> Output1 {
func foo() -> some Equatable { 
  return 5 // The opaque result type is inferred to be Int.
}

//   bar() -> <Output2 : Equatable> Output2 {
func bar() -> some Equatable { 
  return "" // The opaque result type is inferred to be String.
}

let x = foo()
let y = bar()
print(x == y) // Illegal, the return type of foo != return type of bar.

该示例变得非法，因为尽管 foo和 bar返回 some Equatable ，它们的“反向”通用占位符 Output1和 Output2可以满足不同的类型。

3. 不透明的结果类型由通用占位符组成

与常规协议(protocol)类型值不同，不透明结果类型与常规通用占位符组合得很好，例如:
protocol P {
  var i: Int { get }
}
struct S : P {
  var i: Int
}

func makeP() -> some P { // Opaque result type inferred to be S.
  return S(i: .random(in: 0 ..< 10))
}

func bar<T : P>(_ x: T, _ y: T) -> T {
  return x.i < y.i ? x : y
}

let p1 = makeP()
let p2 = makeP()
print(bar(p1, p2)) // Legal, T is inferred to be the return type of makeP.

如果 makeP，这将不起作用刚回来P , 作为两个 P值可能有不同的底层具体类型，例如:
struct T : P {
  var i: Int
}

func makeP() -> P {
  if .random() { // 50:50 chance of picking each branch.
    return S(i: 0)
  } else {
    return T(i: 1)
  }
}

let p1 = makeP()
let p2 = makeP()
print(bar(p1, p2)) // Illegal.

为什么在具体类型上使用不透明的结果类型？

此时你可能会想，为什么不把代码写成:
func makeP() -> S {
  return S(i: 0)
}

好吧，使用不透明的结果类型可以让您创建类型 S仅公开 P 提供的接口(interface)的实现细节，让您可以灵活地稍后更改具体类型，而不会破坏任何依赖于该函数的代码。

例如，您可以替换:
func makeP() -> some P {
  return S(i: 0)
}

和:
func makeP() -> some P { 
  return T(i: 1)
}

不破坏任何调用 makeP() 的代码.

见 the Opaque Types section语言指南和 the Swift evolution proposal有关此功能的更多信息。

关于swift - Swift(UI) 中的 "some"关键字是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/56433665/

amp关键codebrreturnswiftswiftuiswift5

有关swift - Swift(UI) 中的 "some"关键字是什么？的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  3. ruby - 其他文件中的 Rake 任务 - 2

    我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

  4. ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2

    作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代

  5. ruby - i18n Assets 管理/翻译 UI - 2

    我正在使用i18n从头开始​​构建一个多语言网络应用程序，虽然我自己可以处理一大堆yml文件，但我说的语言(非常)有限，最终我想寻求外部帮助帮助。我想知道这里是否有人在使用UI插件/gem(与django上的django-rosetta不同)来处理多个翻译器，其中一些翻译器不愿意或无法处理存储库中的100多个文件，处理语言数据。谢谢&问候，安德拉斯(如果您已经在ruby​​onrails-talk上遇到了这个问题，我们深表歉意) 最佳答案 有一个rails3branchofthetolkgem在github上。您可以通过在Gemfi

  6. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou

  7. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  8. ruby-on-rails - Rails 3 中的多个路由文件 - 2

    Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题

  9. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  10. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

随机推荐