5-2+序偶和元组.pptVIP

序偶和元组 更快的表排序 作为一个有意义的例子，我们设计一个比插入排序更有效的排序。 一个好的算法是合并排序。它的算法思想如下： 如果表是空或只有一个元素，它已是有序的，否则， 将表分为两个子表，每个大概包含原始表一半的数据。 排序两个子表。 合并两个子表到一个单个的有序的表。 合并排序(MergeSort)的第一版实现 下面是算法的实现： Merge的定义 下面是merge函数的定义： SplitAt函数 函数splitAt返回两个子表 一个子表元素上至索引参数。 一个子表元素由索引参数开始 表返回在序偶(pair)中 绕道而行：序偶(pair)和元组(tuples) 序偶由x和y组成，在Scala中写作(x,y)。 例 上面序偶的类型是(String,Int)。 序偶也可被用作模式： 元组与序偶类似，只不过包含元素多于两个。 元组的变换 一个元组类型(T1,…,Tn)是下面参数化类型的简略写法。 一个元组表达式(e1,…,en)是等价于下面的函数应用。 一个元组模式(p1,…,pn)是等价于下面的构造子模式。 元组类 所有的Tuplen类都类似于下面的模式： 元组的元素都可以使用名字访问：_1,_2,… 所以替代模式绑定 我们也可以写作： 但模式匹配的形式更为常用。 练习 例子中的merge函数使用了嵌套的模式匹配。 这没有反映出merge算法内在的对称性。 使用序偶之上的模式