📅 最后修改于: 2020-11-04 09:04:14 🧑 作者: Mango
有时可能需要存储各种类型的值的集合。 Elm为我们提供了一个称为元组的数据结构，可满足此目的。
元组表示值的异构集合。换句话说，元组可以存储不同类型的多个字段。元组存储固定数量的值。当您想从一个函数返回多个不同类型的值时，元组很有用。这些数据结构像elm中的其他类型一样是不可变的。
(data1,data2)
一个简单的例子如下所示-
> ("TuotrialsPoint",5,True,"Hyderabad")
("TuotrialsPoint",5,True,"Hyderabad") : ( String, number, Bool, String )
在接下来的部分中，我们将学习不同的元组操作。
此操作从元组提取第一个值。
Tuple.first tuple_name
> Tuple.first
: ( a1, a2 ) -> a1
> Tuple.first (10,"hello")
10 : number
第二元组操作从元组中提取第二个值。
Tuple.second tuple_name
> Tuple.second
: ( a1, a2 ) -> a2
> Tuple.second (10,"hello")
"hello" : String
列表可以存储元组。如果在列表内使用元组，请确保它们均具有相同的数据类型并具有相同数量的参数。
> [("hello",20),("world",30)]
[("hello",20),("world",30)] : List ( String, number )
一个函数可以返回元组。另外，元组可以作为参数传递给函数。
以下示例定义了一个函数fn_checkEven。该函数接受一个整数值作为参数并返回一个元组。
> fn_checkEven no = \
if no%2 == 0 then \
(True,"The no is Even")\
else \
(False,"No is not even")
: Int -> ( Bool, String )
> fn_checkEven 10
(True,"The no is Even") : ( Bool, String )
> fn_checkEven 11
(False,"No is not even") : ( Bool, String )
>
以下将元组作为参数传递给函数。
> fn_add (a,b) = \
| a+b
: ( number, number ) -> number
> fn_add (10,20)
30 : number
函数fn_add接受具有2个数值的元组，并返回它们的总和。
销毁涉及将元组分解为单个值。要访问具有三个或更多元素的元组中的单个值，我们使用解构。在这里，我们将元组中的每个值分配给不同的变量。使用_可以为将被忽略或跳过的值定义占位符。
> (first,_,_) = (10,20,30)
10 : number
> first
10 : number
在此示例中，我们将使用let..in块语法进行结构分解。 let块包含变量，in块包含应求值的表达式和应返回的值。
> t1 = (10,20,30)
(10,20,30) : ( number, number1, number2 )
> let \
(a,b,c) = t1 \
in\
a + b +c
60 : number
我们在let子句中声明变量abc，并使用in子句访问它们。