头等函数
✍ dations ◷ 2025-07-08 16:41:04 #数据类型,函数式编程,程序设计语言理论,子程序
头等函数(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开始支持了匿名函数与闭包。
相关
- 对象对象(Object),可能指
- 鼬水獭亚科 Lutrinae
獾亚科 Melinae
蜜獾亚科 Mellivorinae
美洲獾亚科 Taxidiinae
鼬亚科 Mustelinae鼬科,又名貂科(学名:Mustelidae)是哺乳动物下食肉目熊型总科中的一个科。鼬
- 皇朝三通清三通,即《皇朝文献通考》、《皇朝通典》、《皇朝通志》三书,清朝亡后,改名《清朝通典》、《清朝通志》、《清朝文献通考》。“清三通”是“续三通”的续作,体例大致沿袭杜佑《
- 国籍法国籍法(英语:Nationality law),为规范国籍之取得、丧失、回复与撤销的法律。参考各国立法趋势,并基于男女平等的原则,将国籍取得由原始父系的血统主义改为父母双系的血统主义外,并
- 纵裂甲藻纲原甲藻目(学名:Prorocentrales)为藻类植物中的一目。该植物在植物分类表上,归于双鞭毛虫门(Pyrrophyta)横裂甲藻纲(Dinophyceae)。其特点是其二个鞭毛是在身体顶端,而不像其他同门生
- 基隆级驱逐舰基隆级驱逐舰是中华民国海军所操作、一系列为数共四艘的导弹驱逐舰。2005年起陆续成军的基隆级原为美国海军基德级驱逐舰(Kidd class),这是种以史普鲁恩斯级(Spruance-class)驱逐
- 水金九水金九(与台湾话“媠真久(suí tsin kú)”读音近似),是指位在新北市北海岸的三个地区,即“水湳洞”、“金瓜石”、“九份”。水金九以黄金博物馆(昔日台湾金属矿业股份有限公司
- 肋果茶科参见正文肋果茶科又名毒药树科,包括2属3种,生长在东南亚和东非。中国有1属1种,生长在云南。本科植物为乔木,小枝有毛;叶革质;花的花瓣5数。1981年的克朗奎斯特分类法将其列在山茶
- 森祇晶森 祇晶(もり まさあき、1937年1月9日 - )岐阜县岐阜市出身的前职棒棒球选手(捕手)・指导者・监督、球评。旧名为“森 昌彦”(もり まさひこ)。现在则是居住在美国夏威夷。在读卖
- 五位七十五法最初僧伽
├ 大众部
├ 一说部
├ 说出世部
├ 灰山住部
├ 多闻部
├ 说假部
└ 制多部
└ 上座部
├ 雪山部
├ 说一切有部
├ 说转部
└ 经