1、定义(A为true,B为false)
and:逻辑与操作符。 若 A 为 false,则返回 A,否则返回 B。例如(A and B)为 false
or:逻辑或操作符。 若 A 为 true,则返回 A,否则返回 B。例如(A or B) 为 true
not:逻辑非操作符。与逻辑运算结果相反,如果条件为 true,逻辑非为 false。例如not(A and B)为 true
2、理解
Lua 里逻辑运算符认为 false 和 nil 是为 false,其他为 true。and 和 or 的运算结果不是 true 和 false,而是和它的两个操作数相关。
这个应该是和“短路求值”相关。因为: a and b: 如果a为false,那么b的结果是false还是true已经不重要,因为整个表达式的结果已经是false了,所以直接返回a就可以了同理,a or b:如果a为true,那么b的结果是false还是true已经不重要,因为整个表达式的结果已经是true了,所以直接返回a就可以了这是一种优化,避免不必要的计算(例如b是一个较复杂的表达式,就可以省掉这个计算过程)。至于为什么返回参数本身,我想是因为类型的隐式转换,返回参数本身已经达到了和返回bool值一样的效果。
3、特殊用法
and连接多个操作数时,表达式的返回值就是从左到右第一个为假的值,若所有操作数值都不为假,则表达式的返回值为最后一个操作数对于运算符and来说,如果它的第一个操作数为假,就返回第一个操作数;不然返回第二个操作数。因此:a = b and c 等价于
if not b then
a = b
else
a = c
end
or连接多个操作数时,表达式的返回值就是从左到右第一个不为假的值,若所有操作数值都为假,则表达式的返回值为最后一个操作数 因此:a = b or c 等价于
if b then
a = b
else
a = c
end
4、三目运算
Lua 原生的语义并没有实现三目运算,一般是通过逻辑运算符 and 和 or 来模拟三目运算符的。
local a, b, ret;
ret = a > b and a or b
//解析:
//1、a > b 时:
//a > b and a –> true
//a or b –> a
//2、a <= b: a> b and a –> false
//a or b –> b
5、三目运算符陷阱
三目运算的一般形式为a and b or c。
//b = true
// a = true
// a and b –> true
// b or c –> b
//
// a = false
// a and b –> false
// b or c –> c
//
//b = false
// a = true
// a and b –> false
// b or c –> c
// a = false
// a and b –> false
// b or c –> c
可以看到当 b = false 时,Lua模拟的 a and b or c 始终返回 c 并不能还原三目运算符的原貌。《Lua程序设计》也建议这种情况使用 if-else 来避免。那么有没有办法可以解决 b = false 失效的问题呢?
这时就想到了lua中万能的table,能不能把a,b,c都放到table中来改变b的存在呢?要注意{nil}也是一个为true的对象。a,b,c都替换为table:{a} and {b} or {c}。三目运算中a是条件,结果是b或者c。其实a并不需要放入table中,否则{a}就始终为true了,失去了条件的意义。而{b} or {c}的结果也必然是一个table,该table只有一个元素。那么通过[1]即可访问。
综上所述,更一般化的Lua三目运算为:(a and {b} or {c})[1]