C语言函数加里化和偏函数应用实例分析
导读:本文共2158.5字符,通常情况下阅读需要7分钟。同时您也可以点击右侧朗读,来听本文内容。按键盘←(左) →(右) 方向键可以翻页。
摘要: 【名词解释】Currying:因为是美国数理逻辑学家哈斯凯尔·加里(Haskell Curry)发明了这种函数使用技巧,所以这样用法就以他的名字命名为Currying,中文翻译为“加里化”。我感觉很多人都对函数加里化(Currying)和偏函数应用(Partial Application)之间的区别搞不清楚,尤其是在相似的上下文环境中它们同... ...
目录
(为您整理了一些要点),点击可以直达。【名词解释】Currying:因为是美国数理逻辑学家哈斯凯尔·加里(Haskell Curry)发明了这种函数使用技巧,所以这样用法就以他的名字命名为Currying,中文翻译为“加里化”。
我感觉很多人都对函数加里化(Currying)和偏函数应用(Partial Application)之间的区别搞不清楚,尤其是在相似的上下文环境中它们同时出现的时候。
偏函数解决这样的问题:如果我们有函数是多个参数的,我们希望能固定其中某几个参数的值。
几乎所有编程语言中都有非常明显的偏函数应用。在C语言中:
foo23
函数实际上就是一个foo
函数的偏函数应用,参数b
的值被固定为23。
当然,像这样明显的偏函数并没有太大的用处;我们通常会希望编程语言能提供我们某些偏函数特征。
例如,在Python语言中,我们可以这样做:
函数加里化(Currying)明显解决的是一个完全不同的问题:如果我们有几个单参数函数,并且这是一种支持一等函数(first-class)的语言,如何去实现一个多参数函数?函数加里化是一种实现多参数函数的方法。
下面是一个单参数的Javascript函数:
如果我们受限只能写单参数函数,可以像下面这样模拟出一个多参数函数:
通过这样调用它:(foo(3))(4)
,或直接 foo(3)(4)
。
注意,函数加里化提供了一种非常自然的方式来实现某些偏函数应用。如果你希望函数foo
的***个参数值被固定成5,你需要做的就是var foo5 = foo(5)
。这就OK了。函数foo5
就是foo
函数的偏函数。注意,尽管如此,我们没有很简单的方法对foo
函数的第二个参数偏函数化(除非先偏函数化***个参数)。
当然,Javascript是支持多参数函数的:
我们定义的bar
函数并不是一个加里化的函数。调用bar(5)
并不会返回一个可以输入12的函数。我们只能像bar(5,12)
这样调用这个函数。
在一些其它语言里,比如 Haskell 和 OCaml,所有的多参数函数都是通过加里化实现的。
下面是一个把上面的foo
函数用OCaml语言写成的例子:
下面是把上面的bar
函数用OCaml语言写成的例子:
头一个函数我们叫做“显式加里化”,第二个叫做“隐式加里化”。
跟Javascript不一样,在OCaml语言里,foo
函数和bar
函数是完全一样的。我们用完全一样的方式调用它们。
两个函数都能够通过提供一个参数值来创造一个偏函数:
事实上,我们可以把下面这个匿名函数:
当作是下面这个函数的简写:
C语言函数加里化和偏函数应用实例分析的详细内容,希望对您有所帮助,信息来源于网络。