[foo, bar] = [“foo”, “bar”] 功能的名称是什么？

Question

我需要知道某些语言提供的这个很酷的功能的正确名称。

仅供参考：在某些语言中，可以通过将值结构分配给“变量”结构来进行多重分配。在问题标题的示例中，它将“foo”分配给 foo，将“bar”分配给 bar。

Answer 1

它通常在函数式语言（没有赋值）中称为“解构绑定”，在命令式语言中称为“解构赋值”。

有些语言提供该功能的子集，然后将其称为不同的名称。例如，在 Python 中，它适用于元组、列表或序列，称为“元组解包”、“列表解包”或“序列解包”，在 Ruby 中，它称为“元组解包”、“列表解包”或“序列解包”。与数组（或可转换为数组的对象）一起使用，称为并行赋值。

解构绑定可以变得任意复杂。例如，此（虚构的）绑定

[Integer(a), b, 2, c] = some_array

会将 some_array 的第一个元素分配给 a，将第二个元素分配给 b，将第四个元素分配给 c，但仅如果第一个元素是Integer，第三个元素等于2且长度为4。因此，这甚至包含了一些条件逻辑。

解构绑定是更通用的模式匹配的子集，它是 Haskell、ML、OCaml、F#、Erlang 和 Scala 等函数式语言的标准功能。不同之处在于，解构绑定仅允许您分解结构并将其组件绑定到变量，而模式匹配还匹配这些结构内的值并允许您做出决策，特别是允许您在绑定的上下文中运行任意代码。 （您可以将上面的假想绑定视为解构绑定和模式匹配之间的中间位置。）

以下是假想语言中的 reverse 函数的经典示例，使用模式匹配编写：

def reverse(l: List): List {
  match l {
    when []              { return [] }
    when [first :: rest] { return (reverse(rest) :: first) }
  }
}

Answer 2

在 Python 中，它被称为列表或序列解包：http://docs. python.org/tutorial/datastructs.html#tuples-and-sequences

my_list = ["foo", "bar"]
foo, bar = my_list

Answer 3

在 Ruby 和其他语言中这称为并行赋值。

Answer 4

Perl 和 PHP 称之为列表赋值

Perl:

my ($foo, $bar, $baz) = (1, 2, 3);

PHP:

list($foo, $bar, $baz) = array(1, 2, 3);

Answer 5

如果您将右侧视为元组，则可以将分配视为一种 元组拆包。

Answer 6

在 Erlang 中，它......好吧，这不是赋值，而是模式匹配（因为在 Erlang 中没有赋值）。

$ erl
Erlang R14B (erts-5.8.1) [source] [64-bit] [smp:2:2] [rq:2] [async-threads:0] [hipe] [kernel-poll:true]

Eshell V5.8.1  (abort with ^G)
1> [H1, H2, H3| Rest] = [1,2,3,4,5].
[1,2,3,4,5]
2> H1.
1
3> H2.
2
4> H3.
3
5> Rest.
[4,5]

为什么叫“模式匹配”？因为它实际上是匹配模式。看：

6> [1,2,3,4,A] = [1,2,3,4,5].
[1,2,3,4,5]
7> A.
5
8> [1,2,3,4,A] = [1,2,3,4,6].
** exception error: no match of right hand side value [1,2,3,4,6]

在第一个中，我们所做的实际上相当于一个断言，即列表将以 [1,2,3,4] 开头，并且第五个值可以是任何值，但请绑定它进入未绑定变量A。在第二个中，我们做了同样的事情，只是 A 现在已绑定，因此我们显式查找列表 [1,2,3,4,5] （因为 A 现在是 5）。

Answer 7

Mozilla 将其称为解构赋值。在Python中，它是序列解包；元组拆包是一种常见的特殊情况。

Answer 8

在 Clojure 中，它被称为“解构”。简单的例子：

(let [[foo bar] ["foo" "bar"]]
  (println "I haz" foo "and" bar))

它也经常用于函数定义中，例如以下将单点参数解构为 x 和 y 分量：

(defn distance-from-origin [[x y]]
  (sqrt (+ (* x x) (* y y))))

您还可以使用相同的技术来解构嵌套数据结构或键/值关联映射。