lua 也短路不？

fallening_cu

在看一本 "Lua Cookbook"(https://github.com/lua-cookbook/ ... k/en_US/00-intro.md)，发现有这样一处：

1. 
   
2. a > 0 and b > 0 or a == 0 and b < 0
   

复制代码

In this expression, > and == evaluate first, followed by and, and then or. So the explicit form would be:

1. ((a > 0) and (b > 0)) or ((a == 0) and (b < 0))

复制代码

敢问这里是否有问题？

starwing83

显然短路。字节码是这样的：

1. luac -l -l  -- "noname\2012-11-05-1.lua"
   
2. 
   
3. main <noname\2012-11-05-1.lua:0,0> (15 instructions at 006C7CF8)
   
4. 0+ params, 2 slots, 1 upvalue, 1 local, 3 constants, 0 functions
   
5.         1       [1]     GETTABUP        0 0 -1  ; _ENV "a"
   
6.         2       [1]     LT              0 -2 0  ; 0 -
   
7.         3       [1]     JMP             0 3     ; to 7
   
8.         4       [1]     GETTABUP        0 0 -3  ; _ENV "b"
   
9.         5       [1]     LT              1 -2 0  ; 0 -
   
10.         6       [1]     JMP             0 7     ; to 14
    
11.         7       [1]     GETTABUP        0 0 -1  ; _ENV "a"
    
12.         8       [1]     EQ              0 0 -2  ; - 0
    
13.         9       [1]     JMP             0 3     ; to 13
    
14.         10      [1]     GETTABUP        0 0 -3  ; _ENV "b"
    
15.         11      [1]     LT              1 0 -2  ; - 0
    
16.         12      [1]     JMP             0 1     ; to 14
    
17.         13      [1]     LOADBOOL        0 0 1
    
18.         14      [1]     LOADBOOL        0 1 0
    
19.         15      [1]     RETURN          0 1

复制代码

所以明显这个描述错误了。

另外，manual里面是这么描述的：

The negation operator not always returns false or true. The conjunction operator and returns its first argument if this value is false or nil; otherwise, and returns its second argument. The disjunction operator or returns its first argument if this value is different from nil and false; otherwise, or returns its second argument. Both and and or use short-cut evaluation; that is, the second operand is evaluated only if necessary.

fallening_cu

starwing83 发表于 2012-11-05 03:00
显然短路。字节码是这样的：所以明显这个描述错误了。

另外，manual里面是这么描述的：

这条语句有多少执行路径？

1. 
   
2. a > 0 and b > 0 or a == 0 and b < 0
   

复制代码

starwing83

回复 3# fallening_cu


    都告诉你短路了，自己分析嘛，这可是苦差事……