Lua的逻辑运算符为什么要这么设计? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
xatest
VEX    Lua

Lua的逻辑运算符为什么要这么设计?

  •  
  •   xatest 2013 年 1 月 23 日 7498 次点击
    这是一个创建于 4784 天前的主题,其中的信息可能已经有所发展或是发生改变。
    逻辑运算符and,当第一个参数为false时,返回第一个参数;否则返回第二个参数。
    逻辑运算符or,当第一个参数为true时,返回第一个参数;否则返回第二个参数。

    与其他语言差别很大,为什么要这样设计呢?初学Lua,求指教。
    6 条回复    1970-01-01 08:00:00 +08:00
    lyric
        1
    lyric  
       2013 年 1 月 23 日   1
    没有问题吧,别的语言的行为也是一样的:
    and:依次计算各个参数,直到所有参数计算完毕(返回真)或者有某一个参数为假(返回假)
    or:依次计算所有参数,直到所有参数计算完毕(返回假)或者有某一个参数为真(返回真)
    phuslu
        2
    phuslu  
       2013 年 1 月 23 日   1
    python 也是呀, 高效的.

    比如
    如下的 python 代码
    value = a if a else b
    可以简写为
    value = a or b
    tioover
        3
    tioover  
       2013 年 1 月 23 日   1
    这有什么不对吗
    真值表相同呀
    jackyz
        4
    jackyz  
       2013 年 1 月 23 日   1
    不熟悉 lua 但这种东西在其他语言里也有,比如 erlang 。这种设计叫做 shortcut 因为最终的判断结果是相同的,所以,后面的表达式就不用运行了,这样可以节约一点运算资源。

    if (false and veryslow()) {
    dosomething();
    }

    考虑一下,比如,veryslow 需要跑 1 个小时才能得到 true 或 false,这种情况下 shortcut 的效果就体现出来了吧。
    Cofyc
        5
    Cofyc  
       2013 年 1 月 23 日   1
    代码执行逻辑大多是一样的。

    差别应该是有的语言是“返回 true/false"(比如 php),而 lua 返回是某个参数吧?

    主要是可以简化一些代码编写。

    比如:a = foo() or bar()
    xatest
        6
    xatest  
    OP
       2013 年 1 月 23 日
    @lyric @phuslu @tioover @jackyz @Cofyc
    感谢,我明白了,貌似这叫做短路语法short circuit syntax,是一种对于多条件组合的判断优化~
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2934 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 26ms UTC 07:24 PVG 15:24 LAX 23:24 JFK 02:24
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86