再论闭包

--再论闭包 --

 

 

下面这个例子 引自 《Groovy in action》 第五章。

 

一段 Java 代码，

interface ResourceUser {
    void use(Resource resource)
}
resourceHandler.handle(new ResourceUser(){
    public void use (Resource resource) {
        resource.doSomething()
    }
});

 

下面是一段等价 Groovy 的代码。

resourceHandler.handle { resource -> resource.doSomething() }

 

惊叹吧 ？  8行JAVA代码居然被 Groovy 如此 easy 地实现了。

惊叹！ 惊叹之余再来反思。。。

 

(1)，为何能如此简单（Groovy）：因为它在使用闭包。

        Groovy中 行为元素（函数，过程）作为一级元素。

        像resource -> resource.doSomething() 就是一个匿名函数。

        参数 为 resource，返回值 为 resource.doSomething()。

 

(2)，为何如此复杂（Java）：因为它在模拟闭包。

        函数咱没有，那就包装一下，模拟一下，但好像臃肿了点。。

 

(3)，易理解吗？

       Groovy ：资源处理器 （名词：resourceHandler）处理 （动词：handle）一个函数 （匿名函数：resource ->  

                      resource.doSomething()）。

       模拟闭包的Java ：资源处理器 （名词：resourceHandler）处理 （动词：handle）一个资源用户 （名词：new

                      ResourceUser(){...}）。

       资源处理器应该只处理资源啊。。。

 

(4)， 重新造句 （Java）

       OO的Java ：资源处理器 （名词：resourceHandler）处理 （动词：handle）一个资源 （名词：resource）。

 

new ResourceHandler(){
	protected void handle(Resource resource){
		//doSomething ....
		resource.doSomething();
		//doSomething ....
	}
}.handle(request);

 

 

个人观点 ：

 

一种功能如果可以用FP中的闭包来实现，

那它必然也可以用OO中的对象来实现， 而且更贴近于人的思维。

有必要用对象模拟闭包吗？个人感觉没必要，

用对象模拟的闭包 来实现一种功能，感觉相比上诉两种情况更复杂。

 

 

评论

44 楼 步行者 2009-06-24  

幸存者 写道

步行者 写道

闭包是对象吗，它有属性和方法吗？

闭包为什么不能是对象？它为什么不能有属性和方法？

以C#为例：

class Program {
    static void Main(string[] args) {
        ShowClosure(a => a + 1);
    }

    static void ShowClosure(Func<int, int> f) {
        Console.WriteLine(f.Method);
        Console.WriteLine(f.ToString());
    }
}

闭包是一个有状态的函数，是FP中的概念
我不熟悉 c#，
但看得出来 f 是一个对象，
如果a => a + 1是一个闭包
那 f 算是一个封装了闭包的对象
已不是单纯的闭包

43 楼 幸存者 2009-06-24  

步行者 写道

闭包是对象吗，它有属性和方法吗？

闭包为什么不能是对象？它为什么不能有属性和方法？

以C#为例：

class Program {
    static void Main(string[] args) {
        ShowClosure(a => a + 1);
    }

    static void ShowClosure(Func<int, int> f) {
        Console.WriteLine(f.Method);
        Console.WriteLine(f.ToString());
    }
}

42 楼 步行者 2009-06-24  

幸存者 写道

维基百科 写道

面向对象程序设计（英语：Object-oriented programming，缩写：OOP），指一种程序设计范型，同时也是一种程序开发的方法论。它将对象作为程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性。

麻烦你指出这句话中哪几个字或词说明了闭包与OO的冲突。

步行者 写道

Alan Kay估计早都听到这种言论了，好像没听说他的牙已经离开他的牙床了
不要把你的感觉 附加到别人身上

看来你连小学语文修辞手法都没学好，如何能学好编程语言呢？

闭包是对象吗，它有属性和方法吗？

你不会以为 我真的认为你的牙被笑掉了吧。。
那你得测测智商了

41 楼 幸存者 2009-06-24  

维基百科 写道

面向对象程序设计（英语：Object-oriented programming，缩写：OOP），指一种程序设计范型，同时也是一种程序开发的方法论。它将对象作为程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性。

麻烦你指出这句话中哪几个字或词说明了闭包与OO的冲突。

步行者 写道

Alan Kay估计早都听到这种言论了，好像没听说他的牙已经离开他的牙床了
不要把你的感觉 附加到别人身上

看来你连小学语文修辞手法都没学好，如何能学好编程语言呢？

40 楼 步行者 2009-06-24  

幸存者 写道

大家都知道世界公认的OO语言的鼻祖，第一种纯OO的语言smalltalk都支持闭包，我不知道那些宣称闭包与OO格格不入的人论据何在？
事实上我发现所有倒闭包派的观点几乎都一样——闭包与OO冲突。不过可笑的是，没有一个人给出论据和论证过程，只有结论。这种话要是说给OO的创始人Alan Kay听，估计他老人家都要笑掉大牙了。

“闭包与OO格格不入的人论据何在”
请你看看OO的基本概念

Alan Kay估计早都听到这种言论了，好像没听说他的牙已经离开他的牙床了
不要把你的感觉 附加到别人身上

39 楼 幸存者 2009-06-24  

大家都知道世界公认的OO语言的鼻祖，第一种纯OO的语言smalltalk都支持闭包，我不知道那些宣称闭包与OO格格不入的人论据何在？
事实上我发现所有倒闭包派的观点几乎都一样——闭包与OO冲突。不过可笑的是，没有一个人给出论据和论证过程，只有结论。这种话要是说给OO的创始人Alan Kay听，估计他老人家都要笑掉大牙了。

38 楼 icewubin 2009-06-24  

步行者 写道

herryhcm 写道

没有闭包的java 就是打肿脸充胖子.

没有闭包的java 可能真的由于大量模拟闭包 打肿脸充胖子。
无论是模拟还是真正引入闭包 变成了 所谓的胖子
这里讨论的是 非要变成这样的胖子吗
变成胖子就比以前好了吗

OOPL 模拟 FP中的闭包 感觉就是打肿脸，
为啥用 OOPL 来模拟 闭包 啊？
OOP 来实现啊

那请教一下，swing中的事件方式，必须要使用内部类的方式，有没有替代方式呢？

37 楼 unsid 2009-06-24  

java从来没有闭包，无名内隐类不是闭包，也许jdk7要加入闭包，闭包与面向对象格格不入，不赞同java中加入闭包，要用闭包去用脚本语言

36 楼 步行者 2009-06-23  

herryhcm 写道

没有闭包的java 就是打肿脸充胖子.

没有闭包的java 可能真的由于大量模拟闭包 打肿脸充胖子。
无论是模拟还是真正引入闭包 变成了 所谓的胖子
这里讨论的是 非要变成这样的胖子吗
变成胖子就比以前好了吗

OOPL 模拟 FP中的闭包 感觉就是打肿脸，
为啥用 OOPL 来模拟 闭包 啊？
OOP 来实现啊

35 楼 步行者 2009-06-23  

<div class="quote_title">treblesoftware 写道</div>
<div class="quote_div">
<div class="quote_title">步行者 写道</div>
<div class="quote_div">
<div class="quote_title">whaosoft 写道</div>
<div class="quote_div">其实好多人不知道闭包 我也不是很了解</div>
<p> </p>
<p><span>
</span></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"><span style="color: #0000ff;">  闭包</span> <span style="color: #ff0000;"> </span> </strong>是可以包含<span style="color: #0000ff;">自由（未绑定）变量</span> 的代码块；这些变量不是在这个代码块或者任何全局上下文中定义的，而是在定义代码块的环境中定义。“闭包” 一词来源于以下两者的结合：要执行的代码块（由于自由变量的存在，相关变量引用没有释放）和为自由变量提供绑定的计算环境（作用域）。</p>
<p style="padding: 0px; margin: 0px;">    可能上面的定义有点晦涩，下面看一下<span style="color: #0000ff;">《Python 核心编程》</span> 对 <strong style="font-weight: bold;"><span style="color: #0000ff;">闭包 <span style="font-weight: normal;"><span style="color: #000000;">的解释。</span></span></span></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"><span><span style="font-weight: normal;">    如果在一个内部函数里，对在外部作用域（但不是在全局作用域）的变量进行引用，那么内部函数就被定义为<strong style="font-weight: bold;"><span style="color: #0000ff;">闭包</span> </strong>。定义在外部函数内的但由内部函数引用或者使用的变量被称为<span style="color: #0000ff;">自由变量</span> 。</span></span></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"></strong></p>
<p style="padding: 0px; margin: 0px;"> </p>
<p> </p>
</div>
<p> </p>
<p>听了您的解释，还是没听明白，能给个自己总结的简单明了的例子吗？直接用JAVA模拟写个吧。<img src="/images/smiles/icon_biggrin.gif" alt="">谢谢！</p>
</div>
<p> </p>
<p><span style=""><a href="/topic/406229">http://www.iteye.com/topic/406229</a> 中有一个python闭包的例子，挺简单的，应该可以看懂，</span></p>
<p> </p>
<p>java模拟闭包 主要通过内部类实现，</p>
<p>通过 内部类对象 持有 外部类中定义的变量或属性</p>
<p>来模拟 内部函数 持有 外部函数中定义的变量</p>
<p> </p>
<p>下面是一个java 模拟闭包的例子（可能不是很生动）</p>
<p> </p>
<p> </p>
<pre name="code" class="java">interface IncrHolder{
public int incr();
}
class Counter { 
    public static IncrHolder getIncrHolder(final int startAt){
    final int[] count = new int[]{startAt};
    return new IncrHolder(){
public int incr(){
return ++ count[0];
}
    };
    }
}  </pre>
<p> </p>
<p> </p>
<p>运行</p>
<p> </p>
<p> </p>
<pre name="code" class="java">IncrHolder h1 = Counter.getIncrHolder(5);
System.out.println(h1.incr());
System.out.println(h1.incr());</pre>
<p> </p>
<p> </p>
<p>打印出：</p>
<p> </p>
<p>     6</p>
<p>     7</p>
<p> </p>
<p> </p>
<p> </p>
<p> </p>

34 楼 icewubin 2009-06-23  

我也举个例子，照楼主分析的过程和逻辑，AOP和CGLIB字节码增强都类似于闭包，可读性“不佳”，“破坏”OO，难道为了pure的Java楼主也不推荐使用AOP和CGLIB么？

33 楼 madbluesky 2009-06-23  

匿名内部类 传的还是一个对象

32 楼 herryhcm 2009-06-23  

没有闭包的java 就是打肿脸充胖子.

31 楼 kenees 2009-06-23  

没看明白啥意思...哈哈

30 楼 treblesoftware 2009-06-23  

<div class="quote_title">步行者 写道</div>
<div class="quote_div">
<div class="quote_title">whaosoft 写道</div>
<div class="quote_div">其实好多人不知道闭包 我也不是很了解</div>
<p> </p>
<p><span>
</span></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"><span style="color: #0000ff;">  闭包</span> <span style="color: #ff0000;"> </span> </strong>是可以包含<span style="color: #0000ff;">自由（未绑定）变量</span> 的代码块；这些变量不是在这个代码块或者任何全局上下文中定义的，而是在定义代码块的环境中定义。“闭包” 一词来源于以下两者的结合：要执行的代码块（由于自由变量的存在，相关变量引用没有释放）和为自由变量提供绑定的计算环境（作用域）。</p>
<p style="padding: 0px; margin: 0px;">    可能上面的定义有点晦涩，下面看一下<span style="color: #0000ff;">《Python 核心编程》</span> 对 <strong style="font-weight: bold;"><span style="color: #0000ff;">闭包 <span style="font-weight: normal;"><span style="color: #000000;">的解释。</span></span></span></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"><span><span style="font-weight: normal;">    如果在一个内部函数里，对在外部作用域（但不是在全局作用域）的变量进行引用，那么内部函数就被定义为<strong style="font-weight: bold;"><span style="color: #0000ff;">闭包</span> </strong>。定义在外部函数内的但由内部函数引用或者使用的变量被称为<span style="color: #0000ff;">自由变量</span> 。</span></span></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"></strong></p>
<p style="padding: 0px; margin: 0px;"><strong style="font-weight: bold;"></strong></p>
<p style="padding: 0px; margin: 0px;"> </p>
<p> </p>
</div>
<p> </p>
<p>听了您的解释，还是没听明白，能给个自己总结的简单明了的例子吗？直接用JAVA模拟写个吧。<img src="/images/smiles/icon_biggrin.gif" alt="">谢谢！</p>

29 楼 步行者 2009-06-23  

对象是状态和行为的封装
闭包是封装状态的行为

不要在这个“闭包是不是对象”的问题上拍砖了

28 楼 icefishc 2009-06-23  

visitor 写道

幸存者 写道

visitor 写道

无可奈何 写道

闭包就是函数对象，何必整的那么复杂的概念？

闭包 支持 重载，覆盖，继承吗？
混淆概念啊。。

对象支持重载，覆盖，继承吗？
到底是谁混淆概念？

闭包 可以作为 OO 中的对象吗？
OO 不支持重载，覆盖，继承特性吗？
到底是谁混淆概念？问问自己

类 对象
这样友好多了
纯水。。。。。。。

27 楼 visitor 2009-06-23  

幸存者 写道

visitor 写道

无可奈何 写道

闭包就是函数对象，何必整的那么复杂的概念？

闭包 支持 重载，覆盖，继承吗？
混淆概念啊。。

对象支持重载，覆盖，继承吗？
到底是谁混淆概念？

闭包 可以作为 OO 中的对象吗？
OO 不支持重载，覆盖，继承特性吗？
到底是谁混淆概念？问问自己

26 楼 iaimstar 2009-06-23  

幸存者 写道

visitor 写道

无可奈何 写道

闭包就是函数对象，何必整的那么复杂的概念？

闭包 支持 重载，覆盖，继承吗？
混淆概念啊。。

对象支持重载，覆盖，继承吗？
到底是谁混淆概念？

对于这里我很有兴趣。。继续丫

25 楼 幸存者 2009-06-23  

visitor 写道

无可奈何 写道

闭包就是函数对象，何必整的那么复杂的概念？

闭包 支持 重载，覆盖，继承吗？
混淆概念啊。。

对象支持重载，覆盖，继承吗？
到底是谁混淆概念？