lua 三目运算符

【1】lua语言中完整的三目运算符

 完整三目运算符形式：(a and {b} or {c})[1]

【2】分析原因

大部分C或C++程序员经常会用到三目运算符（三元运算符），形如 a ? b : c; 的逻辑，即a为真，表达式值为b，否则表达式值为c。

这样的逻辑在写lua的时候也常常需要用到，于是有人发明了形如 a and b or c 这种写法，下面来先来分析一下这个表达式的问题：

Lua语言中的逻辑操作符有and、or和not。所有的逻辑操作符将 false 或 nil 视为假，而将除此之外的任何东西视为真。

对于操作符and来说，若它的第一个操作数为假，就返回第一个操作数；否则返回第二个操作数。（即a与b，见假则假）

对于操作符or来说，如果它的第一个操作数为真，就返回第一个操作数；否则返回第二个操作数。（即a或b，见真则真）

lua的经典书籍《Lua程序设计》中还有一段写到：and和or都是用“短路求值”，也就是说，它们只会在需要时才会去判断第二个操作数。

短路求值可以确保像(type(result) == "table" and result["msg"] == "OK")这样的表达式不会导致运行错误。

“短路求值”可以保证在result不是table的情况，不会判断result["msg"] == "OK"的值而直接返回false。

另外书中还提到“a and b or c”是一种类似于C语言中的表达式 a ? b : c 的习惯写法，可是并未指出其中的问题。

但是，译者在此注明了观点，他指出如果要想让a and b or c等价于a ? b : c，前提是b表达式必须为真，也就是说b不能等于false或者nil。

最后译者给出了建议，那就是在无法确认b为真的情况下，最常用的办法还是使用正常的if-else语句。

说到这里可能有些人开始反迷糊，为什么b表达式的值必须为真呢？

这个时候你可以写个例子尝试一下，如果b == false，那么无论a的表达式为真或者假，整体都会返回c的值。

那么怎样才能保证b的值一直为真呢？实际的程序逻辑中是允许b为false或者nil的!

写到这里也是为了记录一下，好奇之余从其他人学到的技巧：

b表达式的外边包装一层table，写成{b}的形式，返回时再写成{b}[1]的形式就可以，那么整体的表达式就变成：(a and {b} or {c})[1]

这样就满足第二个表达式恒为真的前提，今后你可以在lua中愉快地写三目运算符了！

【3】示例

（3.1）示例程序1

local var_false = false

local var_true = true

-- 场景1：
local a = 2
local b = 1
print('a > b and a or b : ' .. (a > b and a or b))
print('a > b and false or b : ' .. (a > b and var_false or b))
--print('a > b and true or b : ' .. (a > b and var_true or b))  语法错误
print('(a > b and {a} or {b})[1] : ' .. (a > b and {a} or {b})[1])
print()

-- 场景2：
a = 3
b = 3
print('a > b and a or b : ' .. (a > b and a or b))
print('a > b and false or b : ' .. (a > b and var_false or b))
print('a > b and true or b : ' .. (a > b and var_true or b))
print('(a > b and {a} or {b})[1] : ' .. (a > b and {a} or {b})[1])
print()

-- 场景3：
a = 4
b = 5
print('a > b and a or b : ' .. (a > b and a or b))
print('a > b and false or b : ' .. (a > b and var_false or b))
print('a > b and true or b : ' .. (a > b and var_true or b))
print('(a > b and {a} or {b})[1] : ' .. (a > b and {a} or {b})[1])
print()

-- 运行结果：
--[[
a > b and a or b : 2
a > b and false or b : 1
(a > b and {a} or {b})[1] : 2

a > b and a or b : 3
a > b and false or b : 3
a > b and true or b : 3
(a > b and {a} or {b})[1] : 3

a > b and a or b : 5
a > b and false or b : 5
a > b and true or b : 5
(a > b and {a} or {b})[1] : 5
--]]

（3.2）示例程序2

local a = true
local b = false
-- 场景1：
print((a and {"true"})[1])
-- 场景2：语法错误
--print((b and {"true"})[1]) error: attempt to index a boolean value
-- 场景3：
print("a value : " .. (a and {"true"} or {"false"})[1])
print("b value : " .. (b and {"true"} or {"false"})[1])

--[[ 运行结果：
true
a value : true
b value : false
--]]

Good Good Study Day Day Up

顺序 选择 循环 总结