2.4.2 差别联合类型(discriminated union type)
2014-09-02 17:30
134 查看
2.4.2 差别联合类型(discriminated union type)
在这一节,我们将关注差别联合(discriminated union)类型,它是一种基本的函数式类型。我们先用一个示例来说明了它的用处。假设要写一个处理形状图形的应用程序,我们将使用简化的形状表示,因此,就选择矩形、椭圆(由矩形边框的顶点定义),和由两个形状组合的形状。
如果使用面向对象的概念考虑这个问题,可能需要一个抽象类来表示形状(称它 Shape),和三个派生类表示三种不同的情况(椭圆、矩形和组合,Ellipse、Rectangle 和 Composed)。使用面向对象的概念,我们现在用四个类来描述这个问题。另外,我们还不知道用这些形状来做什么,有可能会把它们画出来,但还不知道需要哪些参数值来绘制,因此,也就无法写出 Shape 类的任何抽象方法。
我们最初的想法是比这种成熟的类层次结构更简单:只需要表示三种不同情况下的形状。我们想要定义一个简单的数据结构,用来表示形状,F# 正是这样做的:
type Shape =
|Rectangle of Point * Point
|Ellipse of Point * Point
|Composed of Shape * Shape
这段代码创建了差别联合类型 Shape,它更接近于我们最初开始描述这个问题时的意图。可以看到,这个类型声明包含三个例,涵盖了三种可能的形状表示。在 F# 中使用这个类型的值时,只要这样写代码,比如,Rectangle(pt1,pt2) 创建矩形。不同于在 C 语言中的联合(unions),这个值被标记了,这样,我们总是知道它代表了哪个选项。在下一节,我们会看到,这一点对于处理差别联合的值是相当的重要。
使用F# 进行开发,通常是先设计保存程序数据所需要的数据结构,我们将在第七章至第九章加详细探讨这一问题。在下一节,我们将介绍模式匹配,这个概念能使许多典型的函数编程任务更容易。虽然模式匹配看上去是与类型不相关的概念,但是,你会发现,它们之间是有一些重要的联系的,就不说其他事情,模式匹配是能够用来实现处理差别联合的函数。
在这一节,我们将关注差别联合(discriminated union)类型,它是一种基本的函数式类型。我们先用一个示例来说明了它的用处。假设要写一个处理形状图形的应用程序,我们将使用简化的形状表示,因此,就选择矩形、椭圆(由矩形边框的顶点定义),和由两个形状组合的形状。
如果使用面向对象的概念考虑这个问题,可能需要一个抽象类来表示形状(称它 Shape),和三个派生类表示三种不同的情况(椭圆、矩形和组合,Ellipse、Rectangle 和 Composed)。使用面向对象的概念,我们现在用四个类来描述这个问题。另外,我们还不知道用这些形状来做什么,有可能会把它们画出来,但还不知道需要哪些参数值来绘制,因此,也就无法写出 Shape 类的任何抽象方法。
我们最初的想法是比这种成熟的类层次结构更简单:只需要表示三种不同情况下的形状。我们想要定义一个简单的数据结构,用来表示形状,F# 正是这样做的:
type Shape =
|Rectangle of Point * Point
|Ellipse of Point * Point
|Composed of Shape * Shape
这段代码创建了差别联合类型 Shape,它更接近于我们最初开始描述这个问题时的意图。可以看到,这个类型声明包含三个例,涵盖了三种可能的形状表示。在 F# 中使用这个类型的值时,只要这样写代码,比如,Rectangle(pt1,pt2) 创建矩形。不同于在 C 语言中的联合(unions),这个值被标记了,这样,我们总是知道它代表了哪个选项。在下一节,我们会看到,这一点对于处理差别联合的值是相当的重要。
使用F# 进行开发,通常是先设计保存程序数据所需要的数据结构,我们将在第七章至第九章加详细探讨这一问题。在下一节,我们将介绍模式匹配,这个概念能使许多典型的函数编程任务更容易。虽然模式匹配看上去是与类型不相关的概念,但是,你会发现,它们之间是有一些重要的联系的,就不说其他事情,模式匹配是能够用来实现处理差别联合的函数。
相关文章推荐
- 联合类型(union type )
- Scala类型 10 :交集类型(intersection type)与联合类型(union type)
- 2.4.2 介绍差别联合类型
- C语言的联合(union)类型(27)
- C++ 学习笔记(19)new/delete表达式、定位new、typeid、dynamic_cast、type_info、枚举类型、成员函数指针、union、位域、volatile限定符、链接指示
- enum枚举类型与union联合类型
- C语言数据类型:联合(union)
- union联合 数据类型 详细说明
- C++:联合类型(union)
- 谈谈联合类型union的使用
- 理解对象的类(class)与对象的类型(type)之间的差别
- c语言联合union 的联合变量,联合标记,联合类型定义的区别
- 学点 C 语言(28): 数据类型 - 联合(union)
- union 联合数据类型(共用体)
- C语言数据类型:联合(union)
- 数据类型-联合(union)
- C语言数据类型:联合(union)
- javaScript判断数据类型以及typeof和intanceof的差别
- union联合 数据类型 详细说明
- C语言数据类型:联合(union)