主页 / coding / 问题 / 77899784
Accepted
Roman
Asked: 2024-01-29 20:41:28 +0800 CST

Swift 中带有可变参数的“some”关键字

  • 772
protocol myProtocol {}

func doSomething(with params: (some myProtocol)...) {
    // Implementation goes here
}

extension Int: myProtocol {}

doSomething(with: 1, 2, 3)

func 声明行出现编译错误：

“某些”类型仅允许在属性、下标和函数中使用

我可以简单地完全省略关键字，但默认情况下它被认为是“any”。因此，我无法将参数传递给需要[some SyntaxProtocol]作为参数的函数。

swift

2 个回答

  1. 使用泛型可以获得相同的结果，some并且只允许一种符合协议的特定类型

    func doSomething<ProtocolType: myProtocol>(with params: (ProtocolType)...) {
    // Implementation goes here
}
    • 3
  2. Best Answer

    为什么不能some在可变参数中使用

    禁止在可变参数中使用不透明类型（some Protocol）是语言开发人员有意识的决定。因为它会与另一个提议的语言功能冲突，称为variadic generics：

    可变参数泛型

    不透明类型不能在可变参数中使用：

    func acceptLots(_: some P...)

    之所以存在此限制，是因为如果 Swift 获得了可变泛型，则此提案所隐含的语义可能不是适当的语义。具体来说，该提案本身隐含的语义（没有可变参数泛型）相当于：

    func acceptLots<_T: P>(_: _T...)

    其中acceptLots要求所有参数具有相同的类型：

    acceptLots(1, 1, 2, 3, 5, 8)          // okay
acceptLots("Hello", "Swift", "World") // okay
acceptLots("Swift", 6)                // error: argument for `some P` could be either String or Int

    使用可变泛型，可以将隐式泛型参数设置为泛型参数包，如下所示：

    func acceptLots<_Ts: P...>(_: _Ts...)

    在这种情况下，acceptLots接受任意数量的参数，所有参数可能具有不同的类型：

    acceptLots(1, 1, 2, 3, 5, 8)          // okay, Ts contains six Int types
acceptLots("Hello", "Swift", "World") // okay, Ts contains three String types
acceptLots(Swift, 6)                  // okay, Ts contains String and Int

    来源：https://github.com/apple/swift-evolution/blob/main/proposals/0341-opaque-parameters.md#variadic-generics

    所以，这不是错误，也不是疏忽。它正在按预期工作。

    参数类型声明中该关键字的含义some到底是什么？

    但是你应该如何处理你的代码呢？好吧，我们首先要检查一下为什么要添加该语言功能，以及它“在幕后”做了什么：

    引入它是为了使大量使用泛型的函数变得“更轻”并且更易于阅读。

    将代码转为：

    func horizontal<V1: View, V2: View>(_ v1: V1, _ v2: V2) -> some View {
  HStack {
    v1
    v2
  }
}

    进入这个：

    func horizontal(_ v1: some View, _ v2: some View) -> some View {
  HStack {
    v1
    v2
  }
}

    这两个片段是等效的，some View编译期间的版本只是变成通用函数版本。

    与不透明结果类型一样，some P表示未命名且仅通过其约束得知的类型：它符合协议P。当参数类型中出现不透明类型时，它将被（未命名的）泛型参数替换。例如，给定的函数：

    func f(_ p: some P) { }

    等价于如下描述的泛型函数，带有合成的（不可命名的）类型参数 _T：

    func f<_T: P>(_ p: _T)

    资料来源：https ://github.com/apple/swift-evolution/blob/main/proposals/0341-opaque-parameters.md#propose-solution

    你该怎么办

    正如之前所说：这种语法糖对于可变参数显然不可用。因此，唯一明显的解决方案是退回到“无糖”语法并使用通用参数：

    func doSomething<P: myProtocol>(with params: P...) {
// Implementation goes here
}

    它会按预期工作（如果您希望变量列表中的所有参数都应具有完全相同的类型，则确认myProtocol, ofc ）。

    • 2

相关问题