Lua 造成的代码冗余太严重了， 这个现状怎么改善?

OwnWaterloo

starwing83 发表于 2012-11-21 01:19
3. if protect(function()
   -- code 1
end)(...) then
   -- code 2
end
等价：
try {
  -- code 1
} finially {
  -- code 2
}

finally可是无论是否发生异常都会执行。 你前面的代码是这样吗？

starwing83 发表于 2012-11-21 01:19
1. newtry(function()
    -- code1
end)(function()
   -- code2
end)
等价
try {
  -- code2
} catch(...) {
  -- code1
}

那

1. 
   
2. try {
   
3.       // code2
   
4. } catch (X ) {
   
5.       // code1
   
6. } catch (Y ) {
   
7.       // code3
   
8. }
   

复制代码

？


这都不是重点。 重点是： 异常的优势不是用try/catch去代替status code。 那样没有任何优势， 反而让代码更难写。
异常的优势在于： 对不需要或者无法处理错误的地方就不去检测。
下面均假设一个代码片段无法处理错误。

1. 
   
2. R1 r1 = acquire_r1(...);
   
3. at_scope_exit(release_r1, r1);
   
4. // code 1
   
5. R2 r2 = acquire_r2(...);
   
6. at_scope_exit(release_r2, r2);
   
7. // code 2
   
8. R3 r3 = acquire_r3(...);
   
9. at_scope_exit(release_r3, r3);
   
10. // code 3
    

复制代码

如果有错误发生了， 无论发生在哪个地方， 会继续往上报告。 并且动作总会被正确回滚。

Python有with, C#有using。 只有java那货才必须用try+finally（不过java8也加入了using了）。

对，它们都有一些隐性的约定。 比如close什么的。 这是无法否认的。
那么再降一级，只要支持first class function， 实现

1. 
   
2. with_file("filename", "mode", function(file)
   
3.   -- do somthing with file
   
4.   with_connection(..., function(connection)
   
5.     -- do someting with file and connection
   
6.     end)
   
7.   end)
   

复制代码

并不是难事， 而且非常简单吧？
哪怕这个与传统社区里理解的异常处理不同， 但这同样可以只关注逻辑， 让能处理错误的地方去处理错误。 （当然， 和Python的with, C#/Java的using一样难免嵌套， 不像C++那样可以平级的写）。

这种pattern，Haskell做了（不过Haskell还有其他异常处理方式， 很多， 我很晕）。
甚至连scheme都做了： http://www.schemers.org/Document ... tml#%_toc_%_sec_6.6
Lua必然有这个潜力， 问题是Lua做了没有？


因为这些种种原因， 我猜测Lua社区里依然以local ok_or_result, other_result, more_result ... = f(...) 为主。
如果猜错了， 我认错， 我再也不说"Lua不支持异常了"。
如果猜对了， 哪怕说服我"Lua支持异常"， 那又怎样？ 就为了骗骗小朋友？
至于这个猜测准不准， 还得靠你的统计数据了， 如果你有这个闲心的话。

reiase

我认为，链接和基于文件名的多态可以解决问题

starwing83

回复 121# OwnWaterloo


    网吧，我简单回一下。

是的，都支持。

newtry/protect机制的初衷，就是为了不用在每个调用上判断错误，因为这是在socket编程上非常普遍的事情。

这么说你明白了？

我想我知道你的误会在哪儿了。我可以明确的告诉你：Lua社区目前对于错误处理，的确依然还是local err, ... = f(...)这种。

那么我为什么说Lua本身已经支持异常了呢？我告诉你重点在哪儿，重点在：不是每个调用的地方，你都必须得这么写。

明白了没？只有在你需要处理错误的时候，你才需要这么写，这就是Lua版本的catch。

如果你暂时不知道如何处理错误，或者不喜欢处理错误，直接写这个函数调用即可，不用传递返回值。

你明白了吗？

顺带说一句，newtry/protect完全支持finially的语意。可以支持一段代码，无论如何都能被执行。