Lua 是一種輕量小巧的腳本語言，用標準C語言編寫并以源代碼形式開放， 其設計目的是為了嵌入應用程序中，從而為應用程序提供靈活的擴展和定制功能。

三目運算

熟悉 C/C++ 的老司機都知道三目運算 a ? b : c，這種寫法替換簡單的條件判斷語句可以在不增加閱讀難度的情況下，使代碼盡量保持簡潔。

int a, b, ret;
//if-elseif (a > b)
   ret = a;else   ret = b;

//三目運算符
ret = a > b ? a : b;

Lua 中的三目運算

Lua 原生的語義并沒有實現三目運算，一般是通過邏輯運算符 and 和 or 來模擬三目運算符的。

Lua 中 and 和 or 都使用”短路求值(short_cur evaluation)”，也就是說，它們只會在需要時才去評估第二個操作數。

local a, b, ret;
ret = a > b and a or b

窮舉所有可能性：

a > b 時:

a > b and a –> truea or b –> a

a

a > b and a –> falsea or b –> b

完美！

Lua 中的三目運算符陷阱

按照從特殊到一般的原則:

• 三目運算的一般形式a ? b : c

  a = true,結果為b a = false,結果為c

• 對應Lua中的a and b or c

• a = true
• a = false
• a and b –> false
• b or c –> c
• a and b –> false
• b or c –> c
• a = true
• a = false
• a and b –> true
• b or c –> b
• a and b –> false
• b or c –> c
• b = true
• b = false

可以看到當 b = false 時，Lua模擬的 a and b or c 始終返回 c 并不能還原三目運算符的原貌。

一般化的 a and b or c

那么有沒有辦法可以解決 b = false 失效的問題呢？

由此我聯想到 C 語言有一道常規的考題：請使用宏定義寫一個返回兩個值中較小值的方法。

在校時第一次看到本題，第一反應如下：

#define MIN(A,B) A

然而這種寫法在很多嵌套的使用環境中都不能返回正確的結果。比如：2 * MIN(3, 4)展開為 2 * 3

#define MIN(A,B) ((A)

還有好奇心的同學可以參考：宏定義的正確寫法，三目運算的宏定義

從這個示例中，我就在想如何能保證 a and b or c 中 b 為真或者 b 不產生歧義呢？

1. and的運算優先級高于or，簡單的改變運算順序并沒有用。
2. 這時就想到了lua中萬能的table，能不能把a,b,c都放到table中來改變b的存在呢？要注意{nil}也是一個為true的對象。 a,b,c都替換為table：{a} and {b} or {c}。
3. 三目運算中a是條件，結果是b或者c。其實a并不需要放入table中，否則{a}就始終為true了，失去了條件的意義。而{b} or {c}的結果也必然是一個table，該table只有一個元素。那么通過[1]即可訪問。
4. 綜上所述，更一般化的Lua三目運算為：(a and {b} or {c})[1]