头等函数
✍ dations ◷ 2025-07-07 07:59:12 #数据类型,函数式编程,程序设计语言理论,子程序
头等函数(first-class function)是指在程序设计语言中,函数被当作头等公民。这意味着,函数可以作为别的函数的参数、函数的返回值,赋值给变量或存储在数据结构中。 有人主张应包括支持匿名函数(函数字面量,function literals)。在这样的语言中,函数的名字没有特殊含义,它们被当作具有函数类型的普通的变量对待。1960年代中期,克里斯托弗·斯特雷奇在“functions as first-class citizens”中提出这一概念。
头等函数是函数式程序设计所必须的。通常要使用高阶函数。就是一个高阶函数,其实参是一个函数及一个list,返回结果是把作为参数的函数作用于list的每个元素后的结果形成的list。
把函数作为函数参数与函数返回值会遇到特别的困难。特别是存在非局部变量(英语:non-local variable)与嵌套函数(英语:nested function)、匿名函数。历史上,这被称作函数参数问题(英语:funarg problem)。 早期的命令式编程语言,或者不支持函数作为结果类型(如ALGOL 60, Pascal),或者忽略嵌套函数与非局部变量(如C语言)。早期的函数式语言Lisp采取了动态作用域方法,把非局部变量绑定到函数执行点最近的变量定义。Scheme语言支持词法作用域的头等函数,把对函数的引用绑定到闭包(closure)而不是函数指针,这使得垃圾收集成为必须。
在这一节,比较把函数视作头等公民的典型的函数式语言Haskell与把函数视作二等公民的命令式编程的C语言的有关概念。
具有函数参数的函数,称为高阶函数。函数式语言如Haskell:
map :: (a -> b) -> -> map f = map f (x:xs) = f x : map f xs
函数不是头等公民的程序设计语言可以使用函数指针或delegate,实现函数作为参数。C语言例子:
void map(int (*f)(int), int x, size_t n) { for (int i = 0; i < n; i++) x = f(x);}
匿名与嵌套函数
更多信息:匿名函数和嵌套函数
对于支持匿名函数的语言:
main = map (\x -> 3 * x + 1)
对于不支持匿名函数的语言,必须把函数绑定到一个名字上:
int f(int x) { return 3 * x + 1;}int main() { int list = {1, 2, 3, 4, 5}; map(f, list, 5);}
非局部变量与闭包
更多信息:非局部变量和闭包 (计算机科学)
一旦有了匿名函数与嵌套函数,引用函数体之外的变量(非局部变量)就很自然了:
main = let a = 3 b = 1 in map (\x -> a * x + b)
如果函数只能用函数指针表示,如何把函数体之外的值传递给函数就是个问题。可以手工建立一个闭包,但显然这不能算作头等函数:
typedef struct { int (*f)(int, int, int); int *a; int *b;} closure_t;void map(closure_t *closure, int x, size_t n) { for (int i = 0; i < n; ++i) x = (*closure->f)(*closure->a, *closure->b, x);}int f(int a, int b, int x) { return a * x + b;}void main() { int l = {1, 2, 3, 4, 5}; int a = 3; int b = 1; closure_t closure = {f, &a, &b}; map(&closure, l, 5);}
注意这里的map
是特化为使用当前环境外的两个int
。即使f
是个嵌套函数,仍然要面对同样问题,这也是C语言不支持嵌套函数的理由。
返回结果为函数时,实际上返回的是该函数的闭包。对于C语言,函数退出时其局部变量也退出了各自的作用域,这使得构建闭包变得困难。这被称为向上的函数参数问题(英语:upwards funarg problem)。
把函数赋值给变量面临着把函数当作返回结果一样的困难:构建该函数的闭包:
f :: -> ]f = let a = 3 b = 1 in
函数的相等
判断两个函数是否相等,有不同的判据:
对于类型论,函数类型接受值类型并返回值类型可写为 → 或。根据柯里-霍华德对应,函数类型可对应于逻辑蕴涵,lambda抽象对应于discharging hypothetical assumptions,函数调用对应于肯定前件推理规则。类型论还使用头等函数建模关联数组与类似的数据结构。
对于范畴论,头等函数对应于closed category(英语:closed category)设置。例如,简单类型λ演算 对应于笛卡儿闭范畴(CCC)的内部语言。
函数式程序设计语言,如Scheme、ML、Haskell、F#、Scala,都具有完整的头等函数。Lisp作为最早的函数式语言在当初设计时对头等函数各方面还没有适当的理解,导致了采用动态作用域。后来的Common Lisp已经改为使用词法作用域的头等函数。
许多脚本语言,如Perl、Python、PHP、Lua、Tcl/Tk、JavaScript、Io,有头等函数。
指令式程序设计语言,Algol及Pascal族系、C族系,与现代有垃圾收集的语言非常不同。Algol族系允许嵌套函数与高阶函数作为参数,但不允许函数作为返回值(除了Algol 68)。因为当时还不清楚如何处理内嵌函数作为返回值时的非局部变量问题(Algol 68对此会产生运行期错误)。
C族系允许函数作为参数与函数作为返回值,但由于不支持嵌套函数而避开了相关问题。因为返回嵌套函数并捕获所使用的非局部变量被认为才是真正有用,因此C族系不被认为有头等函数。
现代指令式编程语言由于有垃圾收集功能而使得头等函数成为可能。很多语言的后续版本开始支持头等函数,如C# 2.0,Apple公司的C、C++与Objective-C的Block扩展。C++11开始支持了匿名函数与闭包。
相关
- 土力土力工程学,又名岩土工程学、大地工程学,主要研究泥土构成物质的工程特性。土力工程师会研究从工地采集的泥土样本和岩石样本中的数据,然后计算工地上的建筑所需的格构。地基、
- 马修·卡索维茨马修·卡索维茨(Mathieu Kassovitz,1967年8月3日-),法国电影演员及导演制片人编剧,27岁便凭法国电影《恨》获得戛纳电影节最佳导演奖。他还出演过电影《天使艾米丽》中的男主角。
- 罗脱伊莱休·鲁特(英语:Elihu Root,1845年2月15日-1937年2月7日),美国律师、政府官员、外交家。曾任美国国务卿和美国战争部长。他在任内进行了一系列改革,设立总参谋部和参谋长室,创立
- 乙型轉化生長因子 ( TGF-β )乙型转化生长因子(Transforming Growth Factor Beta, TGF-β)是存在于每个人体内的免疫调节因子,帮助改善过敏体质、调节免疫系统正常发展。TGF-β有三种异构物,其中‘TGF-β2’
- 全日空锦标赛全日空锦标赛(ANA Inspiration)是一项女子职业高尔夫球巡回赛赛事,是LPGA巡回赛的五大满贯赛事之一。纳贝斯克锦标赛总奖金为280万美金,冠军自动获得年底美国女子职业高尔夫巡回
- 楢崎教子楢崎教子(1972年9月27日-)是一名日本女子柔道运动员。她在1996年亚特兰大夏季奥林匹克运动会中,参加了女子柔道比赛并获得52公斤级铜牌。
- 齐格蒙特一世齐格蒙特一世(波兰语:Zygmunt I Stary;立陶宛语:Žygimantas II Senasis;1467年1月1日—1548年4月1日),雅盖隆王朝成员,在1506年至1548年间为波兰国王与立陶宛大公。此前齐格蒙特一
- 维力食品维力食品工业股份有限公司(简称:维力、维力食品,英语:Wei Lih Food Industrial Co., Ltd.)是台湾知名的食品公司,成立于1970年,总部位于彰化县田中镇。其主要产品为速食面,另有生产
- 戈德曼古梅或戈德曼;英文:Merle Goldman((1931年3月12日-) 是一名美国历史学家、现代中国研究者,曾经长时期担任波士顿大学教授。1953年毕业于莎拉·劳伦斯学院,并且在拉德克利夫学院取得
- 达科塔·约翰逊达科塔·玛亦·约翰逊(英语:Dakota Mayi Johnson,1989年10月4日-)是一位美国女模特儿以及演员,其父母分别为演员唐·约翰逊以及梅拉尼·格里菲思。她的萤幕首演是跟她的母亲在1999