Swift 中的元组和函数参数

Question

在 Swift 中，元组与函数参数有什么关系？

在下面的两个示例中，函数返回相同的类型，即使一个采用元组，而另一个采用两个参数。从调用者的角度来看（不看代码），函数接受元组参数还是常规参数没有区别。

函数参数在某些方面与元组相关吗？

例如

func testFunctionUsingTuple()->(Int, String)->Void {
    func t(x:(Int, String)) {
        print("\(x.0) \(x.1)")
    }

    return t
}

func testFuncUsingArgs()->(Int, String)->Void {
    func t(x:Int, y:String) {
        print("\(x) \(y)")
    }

    return t
}

do {
    var t = testFunctionUsingTuple()
    t(1, "test")
}

do {
    var t = testFuncUsingArgs()
    t(1, "test")
}

在常规函数（而不是返回函数）中在函数参数中声明元组时，行为也存在不一致：

func funcUsingTuple(x:(Int, String)) {
    print("\(x.0) \(x.1)")
}

func funcUsingArgs(x:Int, _ y:String) {
    print("\(x) \(y)")
}

// No longer works, need to call funcUsingTuple((1, "test")) instead
funcUsingTuple(1, "test")   
funcUsingArgs(1, "test3")

更新：

Chris Lattner 对元组的澄清：

"x.0" 其中 x 是一个标量值产生该标量值，由于奇 涉及标量和标量之间过度隐式转换的行为 元组。这是一个待修复的错误。

在“let x = (y)”中，x 和 y 具有相同的类型，因为 (x) 是 括号（即分组）运算符的语法，而不是元组 编队运算符。没有单一元素这样的东西 未标记的元组值。

在“(foo: 42)”中——最常见于参数列表中—— 您正在生成一个带有元素标签的单个元素元组。 编译器目前正在努力消除它们并降级 它们是标量，但不一致（这也是一个错误）。 也就是说，单元素标记的元组是一回事。

Answer 1

每个函数都只接受一个包含函数参数的元组。这包括没有参数的函数，它们将 () - 空元组 - 作为其一个参数。

以下是 Swift 编译器如何将各种括号形式转换为内部表示：

() -> Void
(x) -> x
(x, ...) -> [Tuple x ...]

并且，如果有 tuple? 函数，它将在以下位置返回 true：Void、X、[Tuple x ...]。

这是你的证明：

let t0 : () = ()
t0.0 // error

let t1 : (Int) = (100)
t1.0 -> 100
t1.1 // error

let t2 : (Int, Int) = (100, 200)
t2.0 -> 100
t2.1 -> 200
t2.2 // error

[大胆声明，目前没有 Swift 解释器。]

来自AirSpeedVelocity

但是等等，你会问，如果我传入除了元组以外的东西怎么办？ 好吧，我回答（以一种深刻的哲学语气），什么是真正的 如果不是一个元素的元组，变量？ Swift 中的每个变量都是 1 元组。事实上，每个非元组变量都有一个 .0 属性，即 该变量的值。4 打开一个游乐场并尝试一下。因此，如果 你传入一个非元组变量到 TupleCollectionView，它是合法的 让它像一个集合一样。如果您不相信，请阅读 用听起来很真实的人的声音再次证明了这一点 自信。

记住“哲学语气”，因为我们已经达到了“我说土豆；你说土豆的阶段。

Answer 2

Swift 中的函数接受一个元组作为参数，它可以包含零个或多个值。无参数函数接受一个没有值的元组，一个有一个参数的函数接受一个有1个值的元组，等等。

您可以通过单独传递参数或将它们分组到一个不可变元组中来调用一个函数。例如，所有这些调用都是等价的：

do {
    let t1 = testFunctionUsingTuple()
    let t2 = testFuncUsingArgs()

    let params = (1, "tuple test")

    t1(params)
    t1(2, "test")

    t2(params)
    t2(3, "test")
}