F#学习之路(2) 深刻理解函数(下) - 面向对象网 f# 学习 对象 - 面向对象技术开发

面向对象技术开发

会员投稿 投稿指南 站长资讯通告:
您的位置: 首页 > OOP语言 > F# > 正文

F#学习之路(2) 深刻理解函数(下)

来源: www.bianceng.cn 阅读:

3、函数作用域

在F#中组织程序结构的方法有以下几种,使用类型 (type)来支持自定义数据类型,使用名称空间(namespace)来确保类型唯一,模块(module)则用来封装某一数据类型及其操作,而函数则封装了行为或业务逻辑。本文只简单介绍模块(module),其他内容将在下一主题中讨论。

函数是函数式语言中最基本的组成,是应用程序中具体业务逻辑的实现者,弄清其作用域非常必要。

在F#语言中,每一个源代码文件(本文仅指以.fs为扩展名的文件),其默认有一个以文件名首字母大写的模块名(module name),你在源代码中定义的常量、变量、类型、函数等其作用范围都在这个模块(module)中。

代码一:

Code

1(* 文件名:test.fs *)
2
3#light
4
5let c=10
6
7let mutable v=5.0
8
9let f c v=
10
11float c * v
12
13printfn "%.2f" (f c v)
14
15open System
16
17Console.ReadKey(true)
18

F#使用 (* *)来多行注释,//单行注释,代码一中定义的常量c,变量v以及函数f其作用范围默认为Test 模块中(module),注意代码假定源代码文件名为test.fs

本文以下讨论作用域均在模块范围以内,关于如何自定义模块,命名空间,以及多模块、命名空间之间如何访问等内容在下一主题中讨论

在一个模块中,我把函数以外的作用域称为顶级作用域,函数体内称为局部作用域,通常在静态语言中作用域指的是定义域,但在F#中作用域因为lambda表达式,更具体地说因为闭包(closure)而引入了运行时访问域的概念(我暂且这样称呼他)。

F#中顶级作用域中定义的标识符名称必须是唯一的。而在函数体内定义的标识符名称却可以重复定义,且后者隐藏前者。

在下面的代码二中,函数f外,顶级作用域定义的标识符有c,v,包括f。这三个标识符名称必须唯一,否则会编译出错。

代码二:

Code

1#light
2
3let c=10
4
5let mutable v=5.0
6
7let c="c" (*编译出错,值c重复定义 Duplicate define of value 'c'*)
8
9

但在函数体范围内却可以重复定义。

Tags:
相关文章列表: