在canal的源碼模塊中有子模塊canal.filter。其中都是基于aviator的各種filter

Aviator的簡(jiǎn)介
Aviator是一個(gè)高性能、輕量級(jí)的 java 語(yǔ)言實(shí)現(xiàn)的表達(dá)式求值引擎, 主要用于各種表達(dá)式的動(dòng)態(tài)求值?,F(xiàn)在已經(jīng)有很多開(kāi)源可用的 java 表達(dá)式求值引擎,為什么還需要 Avaitor 呢?Aviator的設(shè)計(jì)目標(biāo)是輕量級(jí)和高性能,相比于Groovy、JRuby的笨重, Aviator非常小, 加上依賴包也才450K,不算依賴包的話只有 70K; 當(dāng)然, Aviator的語(yǔ)法是受限的, 它不是一門完整的語(yǔ)言, 而只是語(yǔ)言的一小部分集合。其次, Aviator的實(shí)現(xiàn)思路與其他輕量級(jí)的求值器很不相同, 其他求值器一般都是通過(guò)解釋的方式運(yùn)行, 而Aviator則是直接將表達(dá)式編譯成Java 字節(jié)碼, 交給JVM去執(zhí)行。簡(jiǎn)單來(lái)說(shuō), Aviator的定位是介于Groovy這樣的重量級(jí)腳本語(yǔ)言和IKExpression這樣的輕量級(jí)表達(dá)式引擎 之間。Aviator支持大部分運(yùn)算操作符, 包括算術(shù)操作符、關(guān)系運(yùn)算符、邏輯操作符、位運(yùn)算符、正則匹配操作符(=~)、三元表達(dá)式(?:), 并且支持操作符的優(yōu)先級(jí)和括號(hào)強(qiáng)制優(yōu)先級(jí), 具體請(qǐng)看后面的操作符列表, 支持自定義函數(shù).
####依賴加入
<dependency>
<groupId>com.googlecode.aviator</groupId>
<artifactId>aviator</artifactId>
<version>2.2.1</version>
</dependency>
使用
Aviator的使用都是集中通過(guò)com.googlecode.aviator.AviatorEvaluator
這個(gè)入口類來(lái)處理, 最簡(jiǎn)單的例子, 執(zhí)行一個(gè)計(jì)算1+2+3的表達(dá)式:
package com.alibaba.otter.canal.filter;
import com.googlecode.aviator.AviatorEvaluator;
public class TestAviator {
@Test
public void test_simple() {
Long result = (Long) AviatorEvaluator.execute("1+2+3");
System.out.println(result);
}
}
運(yùn)行結(jié)果
細(xì)心的朋友肯定注意到結(jié)果是Long,而不是Integer。這是因?yàn)锳viator的數(shù)值類型僅支持Long和Double, 任何整數(shù)都將轉(zhuǎn)換成Long, 任何浮點(diǎn)數(shù)都將轉(zhuǎn)換為Double, 包括用戶傳入的變量數(shù)值。這個(gè)例子的打印結(jié)果將是正確答案6。
使用變量
想讓Aviator對(duì)你say hello嗎? 很簡(jiǎn)單, 傳入你的名字, 讓Aviator負(fù)責(zé)字符串的相加:
@Test
public void test_string() {
String yourName = "Michael";
Map<String, Object> env = new HashMap<String, Object>();
env.put("yourName", yourName);
String result = (String) AviatorEvaluator.execute(" 'hello ' + yourName ", env);
System.out.println(result); // hello Michael
}
上面的例子演示了怎么向表達(dá)式傳入變量值, 表達(dá)式中的yourName是一個(gè)變量, 默認(rèn)為null, 通過(guò)傳入Map<String,Object>的變量綁定環(huán)境, 將yourName
設(shè)置為你輸入的名稱。 env 的key是變量名, value是變量的值。上面例子中的'hello '是一個(gè)Aviator的String, Aviator的String是任何用單引號(hào)或者雙引號(hào)括起來(lái)的字符序列, String可以比較大小(基于unicode順序), 可以參與正則匹配, 可以與任何對(duì)象相加, 任何對(duì)象與String相加結(jié)果為String。 String
中也可以有轉(zhuǎn)義字符,如\n、\、'等。
AviatorEvaluator.execute(" 'a\"b' "); // 字符串 a"b
AviatorEvaluator.execute(" \"a\'b\" "); // 字符串 a'b
AviatorEvaluator.execute(" 'hello ' + 3 "); // 字符串 hello3
AviatorEvaluator.execute(" 'hello '+ unknow "); // 字符串 hello null
exec 方法
Aviator 2.2 開(kāi)始新增加一個(gè)exec
方法, 可以更方便地傳入變量并執(zhí)行, 而不需要構(gòu)造env這個(gè)map了:
@Test
public void test_exec() {
@Test
public void test_exec() {
String name = "dennis";
System.out.println(AviatorEvaluator.exec(" 'hello ' + yourName ", name)); // hello dennis
}
}
調(diào)用函數(shù)
Aviator 支持函數(shù)調(diào)用, 函數(shù)調(diào)用的風(fēng)格類似 lua, 下面的例子獲取字符串的長(zhǎng)度:
string.length('hello')是一個(gè)函數(shù)調(diào)用, string.length是一個(gè)函數(shù), 'hello'是調(diào)用的參數(shù)。再用string.substring來(lái)截取字符串:
@Test
public void test_substring() {
System.out.println(AviatorEvaluator.execute("string.contains(\"test\", string.substring('hello', 1, 2))"));
}
自定義函數(shù)
Aviator 除了內(nèi)置的函數(shù)之外,還允許用戶自定義函數(shù),只要實(shí)現(xiàn)com.googlecode.aviator.runtime.type.AviatorFunction接口, 并注冊(cè)到AviatorEvaluator即可使用. AviatorFunction接口十分龐大, 通常來(lái)說(shuō)你并不需要實(shí)現(xiàn)所有的方法, 只要根據(jù)你的方法的參 數(shù)個(gè)數(shù), 繼承AbstractFunction類并override相應(yīng)方法即可??梢钥匆粋€(gè)例子,我們實(shí)現(xiàn)一個(gè)add函數(shù)來(lái)做數(shù)值的相加:
@Test
public void test_user_function() {
//注冊(cè)函數(shù)
AviatorEvaluator.addFunction(new AddFunction());
System.out.println(AviatorEvaluator.execute("add(1, 2)")); // 3.0
System.out.println(AviatorEvaluator.execute("add(add(1, 2), 100)")); // 103.0
}
class AddFunction extends AbstractFunction {
@Override
public AviatorObject call(Map<String, Object> env, AviatorObject arg1, AviatorObject arg2) {
Number left = FunctionUtils.getNumberValue(arg1, env);
Number right = FunctionUtils.getNumberValue(arg2, env);
return new AviatorDouble(left.doubleValue() + right.doubleValue());
}
public String getName() {
return "add";
}
}
注冊(cè)函數(shù)通過(guò)AviatorEvaluator.addFunction方法, 移除可以通過(guò)removeFunction。
編譯表達(dá)式
上面提到的例子都是直接執(zhí)行表達(dá)式, 事實(shí)上 Aviator 背后都幫你做了編譯并執(zhí)行的工作。 你可以自己先編譯表達(dá)式, 返回一個(gè)編譯的結(jié)果, 然后傳入不同的env來(lái)復(fù)用編譯結(jié)果, 提高性能, 這是更推薦的使用方式:
@Test
public void test_user_compile() {
String expression = "a-(b-c)>100";
// 編譯表達(dá)式
Expression compiledExp = AviatorEvaluator.compile(expression);
Map<String, Object> env = new HashMap<String, Object>();
env.put("a", 100.3);
env.put("b", 45);
env.put("c", -199.100);
// 執(zhí)行表達(dá)式
Boolean result = (Boolean) compiledExp.execute(env);
System.out.println(result); // false
}
通過(guò)compile方法可以將表達(dá)式編譯成Expression的中間對(duì)象, 當(dāng)要執(zhí)行表達(dá)式的時(shí)候傳入env并調(diào)用Expression的execute方法即可。 表達(dá)式中使用了括號(hào)來(lái)強(qiáng)制優(yōu)先級(jí), 這個(gè)例子還使用了>用于比較數(shù)值大小, 比較運(yùn)算符!=、==、>、>=、<、<=不僅可以用于數(shù)值, 也可以用于String、Pattern、Boolean等等, 甚至是任何用戶傳入的兩個(gè)都實(shí)現(xiàn)了java.lang.Comparable接口的對(duì)象之間。編譯后的結(jié)果你可以自己緩存, 也可以交給 Aviator 幫你緩存, AviatorEvaluator內(nèi)部有一個(gè)全局的緩存池, 如果你決定緩存編譯結(jié)果, 可以通過(guò):
public static Expression compile(String expression, boolean cached)
將cached設(shè)置為true即可, 那么下次編譯同一個(gè)表達(dá)式的時(shí)候?qū)⒅苯臃祷厣弦淮尉幾g的結(jié)果。
使緩存失效通過(guò):
public static void invalidateCache(String expression)
方法。
訪問(wèn)數(shù)組和集合
可以通過(guò)中括號(hào)去訪問(wèn)數(shù)組和java.util.List對(duì)象, 可以通過(guò)map.key訪問(wèn)java.util.Map中key對(duì)應(yīng)的value, 一個(gè)例子:
@Test
public void test_map_list() {
final List<String> list = new ArrayList<String>();
list.add("hello");
list.add(" world");
final int[] array = new int[3];
array[0] = 0;
array[1] = 1;
array[2] = 3;
final Map<String, Date> map = new HashMap<String, Date>();
map.put("date", new Date());
Map<String, Object> env = new HashMap<String, Object>();
env.put("list", list);
env.put("array", array);
env.put("mmap", map);
System.out.println(AviatorEvaluator.execute("list[0]+list[1]", env)); // hello world
System.out.println(AviatorEvaluator.execute("'array[0]+array[1]+array[2]=' + (array[0]+array[1]+array[2])", env)); // array[0]+array[1]+array[2]=4
System.out.println(AviatorEvaluator.execute("'today is ' + mmap.date ", env)); // today is Wed Feb 24 17:31:45 CST 2016
}
debug日志,可以看一下轉(zhuǎn)換過(guò)程
hello world
array[0]+array[1]+array[2]=4
10:34:57.264 [main] DEBUG o.a.c.b.converters.BooleanConverter - Setting default value: false
10:34:57.272 [main] DEBUG o.a.c.b.converters.BooleanConverter - Converting 'Boolean' value 'false' to type 'Boolean'
10:34:57.273 [main] DEBUG o.a.c.b.converters.BooleanConverter - No conversion required, value is already a Boolean
10:34:57.280 [main] DEBUG o.a.c.b.converters.ByteConverter - Setting default value: 0
10:34:57.280 [main] DEBUG o.a.c.b.converters.ByteConverter - Converting 'Integer' value '0' to type 'Byte'
10:34:57.280 [main] DEBUG o.a.c.b.converters.ByteConverter - Converted to Byte value '0'
10:34:57.282 [main] DEBUG o.a.c.b.c.CharacterConverter - Setting default value:
10:34:57.282 [main] DEBUG o.a.c.b.c.CharacterConverter - Converting 'Character' value ' ' to type 'Character'
10:34:57.282 [main] DEBUG o.a.c.b.c.CharacterConverter - No conversion required, value is already a Character
10:34:57.284 [main] DEBUG o.a.c.b.converters.DoubleConverter - Setting default value: 0
10:34:57.284 [main] DEBUG o.a.c.b.converters.DoubleConverter - Converting 'Integer' value '0' to type 'Double'
10:34:57.284 [main] DEBUG o.a.c.b.converters.DoubleConverter - Converted to Double value '0.0'
10:34:57.287 [main] DEBUG o.a.c.b.converters.FloatConverter - Setting default value: 0
10:34:57.288 [main] DEBUG o.a.c.b.converters.FloatConverter - Converting 'Integer' value '0' to type 'Float'
10:34:57.288 [main] DEBUG o.a.c.b.converters.FloatConverter - Converted to Float value '0.0'
10:34:57.290 [main] DEBUG o.a.c.b.converters.IntegerConverter - Setting default value: 0
10:34:57.291 [main] DEBUG o.a.c.b.converters.IntegerConverter - Converting 'Integer' value '0' to type 'Integer'
10:34:57.291 [main] DEBUG o.a.c.b.converters.IntegerConverter - No conversion required, value is already a Integer
10:34:57.292 [main] DEBUG o.a.c.b.converters.LongConverter - Setting default value: 0
10:34:57.292 [main] DEBUG o.a.c.b.converters.LongConverter - Converting 'Integer' value '0' to type 'Long'
10:34:57.292 [main] DEBUG o.a.c.b.converters.LongConverter - Converted to Long value '0'
10:34:57.294 [main] DEBUG o.a.c.b.converters.ShortConverter - Setting default value: 0
10:34:57.294 [main] DEBUG o.a.c.b.converters.ShortConverter - Converting 'Integer' value '0' to type 'Short'
10:34:57.294 [main] DEBUG o.a.c.b.converters.ShortConverter - Converted to Short value '0'
10:34:57.297 [main] DEBUG o.a.c.b.c.BigDecimalConverter - Setting default value: 0.0
10:34:57.297 [main] DEBUG o.a.c.b.c.BigDecimalConverter - Converting 'BigDecimal' value '0.0' to type 'BigDecimal'
10:34:57.297 [main] DEBUG o.a.c.b.c.BigDecimalConverter - No conversion required, value is already a BigDecimal
10:34:57.298 [main] DEBUG o.a.c.b.c.BigIntegerConverter - Setting default value: 0
10:34:57.298 [main] DEBUG o.a.c.b.c.BigIntegerConverter - Converting 'BigInteger' value '0' to type 'BigInteger'
10:34:57.298 [main] DEBUG o.a.c.b.c.BigIntegerConverter - No conversion required, value is already a BigInteger
10:34:57.298 [main] DEBUG o.a.c.b.converters.BooleanConverter - Setting default value: false
10:34:57.298 [main] DEBUG o.a.c.b.converters.BooleanConverter - Converting 'Boolean' value 'false' to type 'Boolean'
10:34:57.298 [main] DEBUG o.a.c.b.converters.BooleanConverter - No conversion required, value is already a Boolean
10:34:57.299 [main] DEBUG o.a.c.b.converters.ByteConverter - Setting default value: 0
10:34:57.299 [main] DEBUG o.a.c.b.converters.ByteConverter - Converting 'Integer' value '0' to type 'Byte'
10:34:57.299 [main] DEBUG o.a.c.b.converters.ByteConverter - Converted to Byte value '0'
10:34:57.299 [main] DEBUG o.a.c.b.c.CharacterConverter - Setting default value:
10:34:57.299 [main] DEBUG o.a.c.b.c.CharacterConverter - Converting 'Character' value ' ' to type 'Character'
10:34:57.299 [main] DEBUG o.a.c.b.c.CharacterConverter - No conversion required, value is already a Character
10:34:57.299 [main] DEBUG o.a.c.b.converters.DoubleConverter - Setting default value: 0
10:34:57.300 [main] DEBUG o.a.c.b.converters.DoubleConverter - Converting 'Integer' value '0' to type 'Double'
10:34:57.300 [main] DEBUG o.a.c.b.converters.DoubleConverter - Converted to Double value '0.0'
10:34:57.303 [main] DEBUG o.a.c.b.converters.FloatConverter - Setting default value: 0
10:34:57.303 [main] DEBUG o.a.c.b.converters.FloatConverter - Converting 'Integer' value '0' to type 'Float'
10:34:57.303 [main] DEBUG o.a.c.b.converters.FloatConverter - Converted to Float value '0.0'
10:34:57.303 [main] DEBUG o.a.c.b.converters.IntegerConverter - Setting default value: 0
10:34:57.304 [main] DEBUG o.a.c.b.converters.IntegerConverter - Converting 'Integer' value '0' to type 'Integer'
10:34:57.304 [main] DEBUG o.a.c.b.converters.IntegerConverter - No conversion required, value is already a Integer
10:34:57.304 [main] DEBUG o.a.c.b.converters.LongConverter - Setting default value: 0
10:34:57.304 [main] DEBUG o.a.c.b.converters.LongConverter - Converting 'Integer' value '0' to type 'Long'
10:34:57.304 [main] DEBUG o.a.c.b.converters.LongConverter - Converted to Long value '0'
10:34:57.304 [main] DEBUG o.a.c.b.converters.ShortConverter - Setting default value: 0
10:34:57.304 [main] DEBUG o.a.c.b.converters.ShortConverter - Converting 'Integer' value '0' to type 'Short'
10:34:57.304 [main] DEBUG o.a.c.b.converters.ShortConverter - Converted to Short value '0'
10:34:57.305 [main] DEBUG o.a.c.b.converters.StringConverter - Setting default value:
10:34:57.305 [main] DEBUG o.a.c.b.converters.StringConverter - Converting 'String' value '' to type 'String'
10:34:57.324 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Z@7b09a4dc
10:34:57.324 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'boolean[]' value '[Z@7b09a4dc' to type 'boolean[]'
10:34:57.324 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a boolean[]
10:34:57.324 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [B@3626a69f
10:34:57.325 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'byte[]' value '[B@3626a69f' to type 'byte[]'
10:34:57.325 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a byte[]
10:34:57.325 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [C@23852c7f
10:34:57.325 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'char[]' value '[C@23852c7f' to type 'char[]'
10:34:57.325 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a char[]
10:34:57.325 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [D@7c2c5810
10:34:57.326 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'double[]' value '[D@7c2c5810' to type 'double[]'
10:34:57.326 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a double[]
10:34:57.326 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [F@4349c220
10:34:57.326 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'float[]' value '[F@4349c220' to type 'float[]'
10:34:57.326 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a float[]
10:34:57.326 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [I@1f67e563
10:34:57.338 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'int[]' value '[I@1f67e563' to type 'int[]'
10:34:57.338 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a int[]
10:34:57.338 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [J@5e04d6b0
10:34:57.338 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'long[]' value '[J@5e04d6b0' to type 'long[]'
10:34:57.338 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a long[]
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [S@faaed09
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'short[]' value '[S@faaed09' to type 'short[]'
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a short[]
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.math.BigDecimal;@1eaff1e8
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'BigDecimal[]' value '[Ljava.math.BigDecimal;@1eaff1e8' to type 'BigDecimal[]'
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a BigDecimal[]
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.math.BigInteger;@7c6aa5ee
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'BigInteger[]' value '[Ljava.math.BigInteger;@7c6aa5ee' to type 'BigInteger[]'
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a BigInteger[]
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Boolean;@590713ac
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Boolean[]' value '[Ljava.lang.Boolean;@590713ac' to type 'Boolean[]'
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Boolean[]
10:34:57.339 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Byte;@279c6035
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Byte[]' value '[Ljava.lang.Byte;@279c6035' to type 'Byte[]'
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Byte[]
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Character;@79866b99
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Character[]' value '[Ljava.lang.Character;@79866b99' to type 'Character[]'
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Character[]
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Double;@796e33ac
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Double[]' value '[Ljava.lang.Double;@796e33ac' to type 'Double[]'
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Double[]
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Float;@44d64315
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Float[]' value '[Ljava.lang.Float;@44d64315' to type 'Float[]'
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Float[]
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Integer;@4583e712
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Integer[]' value '[Ljava.lang.Integer;@4583e712' to type 'Integer[]'
10:34:57.340 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Integer[]
10:34:57.341 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Long;@25b7715d
10:34:57.341 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Long[]' value '[Ljava.lang.Long;@25b7715d' to type 'Long[]'
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Long[]
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Short;@2a14d8c8
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Short[]' value '[Ljava.lang.Short;@2a14d8c8' to type 'Short[]'
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Short[]
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.String;@13766d9c
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'String[]' value '[Ljava.lang.String;@13766d9c' to type 'String[]'
10:34:57.343 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a String[]
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.lang.Class;@441626bf
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Class[]' value '[Ljava.lang.Class;@441626bf' to type 'Class[]'
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Class[]
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.util.Date;@7a407909
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Date[]' value '[Ljava.util.Date;@7a407909' to type 'Date[]'
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Date[]
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.util.Calendar;@33c76cab
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'Calendar[]' value '[Ljava.util.Calendar;@33c76cab' to type 'Calendar[]'
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a Calendar[]
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.io.File;@7b1da1d1
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'java.io.File[]' value '[Ljava.io.File;@7b1da1d1' to type 'java.io.File[]'
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a java.io.File[]
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.sql.Date;@2767237
10:34:57.344 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'java.sql.Date[]' value '[Ljava.sql.Date;@2767237' to type 'java.sql.Date[]'
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a java.sql.Date[]
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.sql.Time;@725122f2
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'java.sql.Time[]' value '[Ljava.sql.Time;@725122f2' to type 'java.sql.Time[]'
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a java.sql.Time[]
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.sql.Timestamp;@7ba01bb6
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'java.sql.Timestamp[]' value '[Ljava.sql.Timestamp;@7ba01bb6' to type 'java.sql.Timestamp[]'
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a java.sql.Timestamp[]
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - Setting default value: [Ljava.net.URL;@42683e68
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - Converting 'java.net.URL[]' value '[Ljava.net.URL;@42683e68' to type 'java.net.URL[]'
10:34:57.345 [main] DEBUG o.a.c.b.converters.ArrayConverter - No conversion required, value is already a java.net.URL[]
today is Mon Dec 12 10:34:56 CST 2016
三元操作符
Aviator 不提供if else語(yǔ)句, 但是提供了三元操作符?:用于條件判斷,使用上與 java 沒(méi)有什么不同:
AviatorEvaluator.exec("a>0? 'yes':'no'", 1); // yes
Aviator 的三元表達(dá)式對(duì)于兩個(gè)分支的結(jié)果類型并不要求一致,可以是任何類型,這一點(diǎn)與 java 不同。
正則表達(dá)式匹配
Aviator 支持類 Ruby 和 Perl 風(fēng)格的表達(dá)式匹配運(yùn)算,通過(guò)=~操作符, 如下面這個(gè)例子匹配 email 并提取用戶名返回:
String email = "killme2008@gmail.com";
Map<String, Object> env = new HashMap<String, Object>();
env.put("email", email);
String username = (String) AviatorEvaluator.execute("email=~/([\\w0-8]+)@\\w+[\\.\\w+]+/ ? $1 : 'unknow' ", env);
System.out.println(username); // killme2008
email與正則表達(dá)式/([\w0-8]+@\w+[\.\w+]+)/通過(guò)=~操作符來(lái)匹配,結(jié)果為一個(gè) Boolean 類 型, 因此可以用于三元表達(dá)式判斷,匹配成功的時(shí)候返回$1,指代正則表達(dá)式的分組 1,也就是用戶名,否則返回unknown。Aviator 在表達(dá)式級(jí)別支持正則表達(dá)式,通過(guò)//括起來(lái)的字符序列構(gòu)成一個(gè)正則表達(dá)式,正則表 達(dá)式可以用于匹配(作為=~的右操作數(shù))、比較大小,匹配僅能與字符串進(jìn)行匹配。匹配成功后, Aviator 會(huì)自動(dòng)將匹配成功的分組放入$num的變量中,其中$0 指代整個(gè)匹配的字符串,而$1表示第一個(gè)分組,以此類推。Aviator 的正則表達(dá)式規(guī)則跟 Java 完全一樣,因?yàn)閮?nèi)部其實(shí)就是使用java.util.regex.Pattern做編譯的。
變量的語(yǔ)法糖
Aviator 有個(gè)方便用戶使用變量的語(yǔ)法糖, 當(dāng)你要訪問(wèn)變量a中的某個(gè)屬性b, 那么你可以通過(guò)a.b訪問(wèn)到, 更進(jìn)一步, a.b.c將訪問(wèn)變量a的b屬性中的c屬性值, 推廣開(kāi)來(lái)也就是說(shuō) Aviator 可以將變量聲明為嵌套訪問(wèn)的形式。TestAviator類符合JavaBean規(guī)范, 并且是 public 的,我們就可以使用語(yǔ)法糖:
int i;
float f;
Date date;
public TestAviator(int i, float f, Date date) {
this.i = i;
this.f = f;
this.date = date;
}
public int getI() {
return i;
}
public void setI(int i) {
this.i = i;
}
public float getF() {
return f;
}
public void setF(float f) {
this.f = f;
}
public Date getDate() {
return date;
}
public void setDate(Date date) {
this.date = date;
}
@Test
public static void main(String[] args) {
TestAviator foo = new TestAviator(100, 3.14f, new Date());
Map<String, Object> env = new HashMap<String, Object>();
env.put("foo", foo);
System.out.println(AviatorEvaluator.execute("'foo.i = '+foo.i", env)); // foo.i = 100
System.out.println(AviatorEvaluator.execute("'foo.f = '+foo.f", env)); // foo.f = 3.14
System.out.println(AviatorEvaluator.execute("'foo.date.year = '+(foo.date.year+1990)", env)); // foo.date.year = 2106
}
nil 對(duì)象
nil是 Aviator 內(nèi)置的常量,類似 java 中的null,表示空的值。nil跟null不同的在于,在 java 中null只能使用在==、!=的比較運(yùn)算符,而nil還可以使用>、>=、<、<=等比較運(yùn)算符。 Aviator 規(guī)定,任何對(duì)象都比nil大除了nil本身。用戶傳入的變量如果為null,將自動(dòng)以nil替代。
@Test
public void test_nil() {
AviatorEvaluator.execute("nil == nil"); //true
AviatorEvaluator.execute(" 3> nil"); //true
AviatorEvaluator.execute(" true!= nil"); //true
AviatorEvaluator.execute(" ' '>nil "); //true
AviatorEvaluator.execute(" a==nil "); //true, a 是 null
}
nil與String相加的時(shí)候,跟 java 一樣顯示為 null
日期比較
Aviator 并不支持日期類型,如果要比較日期,你需要將日期寫字符串的形式,并且要求是形如 “yyyy-MM-dd HH:mm:ss:SS”的字符串,否則都將報(bào)錯(cuò)。 字符串跟java.util.Date比較的時(shí)候?qū)⒆詣?dòng)轉(zhuǎn)換為Date對(duì)象進(jìn)行比較:
@Test
public void test_date() {
Map<String, Object> env = new HashMap<String, Object>();
final Date date = new Date();
String dateStr = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss:SS").format(date);
env.put("date", date);
env.put("dateStr", dateStr);
Boolean result = (Boolean) AviatorEvaluator.execute("date==dateStr", env);
System.out.println(result); // true
result = (Boolean) AviatorEvaluator.execute("date > '2010-12-20 00:00:00:00' ", env);
System.out.println(result); // true
result = (Boolean) AviatorEvaluator.execute("date < '2200-12-20 00:00:00:00' ", env);
System.out.println(result); // true
result = (Boolean) AviatorEvaluator.execute("date==date ", env);
System.out.println(result); // true
}
也就是說(shuō)String除了能跟String比較之外,還能跟nil和java.util.Date對(duì)象比較。
大數(shù)計(jì)算和精度
從 2.3.0 版本開(kāi)始,aviator 開(kāi)始支持大數(shù)字計(jì)算和特定精度的計(jì)算, 本質(zhì)上就是支持java.math.BigInteger和java.math.BigDecimal兩種類型, 這兩種類型在 aviator 中簡(jiǎn)稱 為big int和decimal類型。 類似99999999999999999999999999999999這樣的數(shù)字在 Java 語(yǔ)言里是沒(méi)辦法編譯通過(guò) 的, 因?yàn)樗^(guò)了Long
類型的范圍, 只能用BigInteger來(lái)封裝。但是 aviator 通過(guò)包裝,可 以直接支持這種大整數(shù)的計(jì)算,例如:
@Test
public void test_bigdecimal() {
System.out.println(AviatorEvaluator.exec("99999999999999999999999999999999N + 99999999999999999999999999999999N"));
}
結(jié)果為類型big int的: 199999999999999999999999999999998
字面量表示
big int和decimal的表示與其他數(shù)字不同,兩條規(guī)則:
以大寫字母N為后綴的整數(shù)都被認(rèn)為是big int,如1N,2N,9999999999999999999999N等, 都是big int類型。超過(guò)long范圍的整數(shù)字面量都將自動(dòng)轉(zhuǎn)換為big int類型。以大寫字母M為后綴的數(shù)字都被認(rèn)為是decimal, 如1M,2.222M, 100000.9999M等, 都是decimal類型。用戶也可以通過(guò)變量傳入這兩種類型來(lái)參與計(jì)算。
運(yùn)算
big int和decimal的運(yùn)算,跟其他數(shù)字類型long,double沒(méi)有什么區(qū)別,操作符仍然是一樣的。 aviator重載了基本算術(shù)操作符來(lái)支持這兩種新類型
@Test
public void test_bigdecimal_operate() {
Object rt = AviatorEvaluator.exec("9223372036854775807100.356M * 2");
System.out.println(rt + " " + rt.getClass()); // 18446744073709551614200.712 class java.math.BigDecimal
rt = AviatorEvaluator.exec("92233720368547758074+1000");
System.out.println(rt + " " + rt.getClass()); // 92233720368547759074 class java.math.BigInteger
BigInteger a = new BigInteger(String.valueOf(Long.MAX_VALUE) + String.valueOf(Long.MAX_VALUE));
BigDecimal b = new BigDecimal("3.2");
BigDecimal c = new BigDecimal("9999.99999");
rt = AviatorEvaluator.exec("a+10000000000000000000", a);
System.out.println(rt + " " + rt.getClass()); // 92233720368547758089223372036854775807 class java.math.BigInteger
rt = AviatorEvaluator.exec("b+c*2", b, c);
System.out.println(rt + " " + rt.getClass()); // 20003.19998 class java.math.BigDecimal
rt = AviatorEvaluator.exec("a*b/c", a, b, c);
System.out.println(rt + " " + rt.getClass()); // 2.951479054745007313280155218459508E+34 class java.math.BigDecima
}
輸出結(jié)果
18446744073709551614200.712 class java.math.BigDecimal
92233720368547759074 class java.math.BigInteger
92233720368547758089223372036854775807 class java.math.BigInteger
20003.19998 class java.math.BigDecimal
2.951479054745007313280155218459508E+34 class java.math.BigDecimal
類型轉(zhuǎn)換和提升
當(dāng)big int或者decimal和其他類型的數(shù)字做運(yùn)算的時(shí)候,按照l(shuí)ong < big int < decimal < double的規(guī)則做提升, 也就是說(shuō)運(yùn)算的數(shù)字如果類型不一致, 結(jié)果的類型為兩者之間更“高”的類型。例如:
- 1 + 3N, 結(jié)果為big int的4N
- 1 + 3.1M,結(jié)果為decimal的4.1M
- 1N + 3.1M,結(jié)果為decimal的 4.1M
- 1.0 + 3N,結(jié)果為double的4.0
- 1.0 + 3.1M,結(jié)果為double的4.1
decimal 的計(jì)算精度
Java 的java.math.BigDecimal通過(guò)java.math.MathContext支持特定精度的計(jì)算,任何涉及到金額的計(jì)算都應(yīng)該使用decimal類型。默認(rèn) Aviator 的計(jì)算精度為MathContext.DECIMAL128,你可以自定義精度, 通過(guò):
AviatorEvaluator.setMathContext(MathContext.DECIMAL64);
即可設(shè)置,更多關(guān)于decimal的精度問(wèn)題請(qǐng)看java.math.BigDecimal的 javadoc 文檔。
強(qiáng)大的 seq 庫(kù)
aviator 擁有強(qiáng)大的操作集合和數(shù)組的 seq 庫(kù)。整個(gè)庫(kù)風(fēng)格類似函數(shù)式編程中的高階函數(shù)。在 aviator 中, 數(shù)組以及java.util.Collection下的子類都稱為seq,可以直接利用 seq 庫(kù)進(jìn)行遍歷、過(guò)濾和聚合等操作。
例如,假設(shè)我有個(gè) list:
@Test
public void test_seq() {
Map<String, Object> env = new HashMap<String, Object>();
ArrayList<Integer> list = new ArrayList<Integer>();
list.add(3);
list.add(20);
list.add(10);
env.put("list", list);
Object result = AviatorEvaluator.execute("count(list)", env);
System.out.println(result); // 3
result = AviatorEvaluator.execute("reduce(list,+,0)", env);
System.out.println(result); // 33
result = AviatorEvaluator.execute("filter(list,seq.gt(9))", env);
System.out.println(result); // [10, 20]
result = AviatorEvaluator.execute("include(list,10)", env);
System.out.println(result); // true
result = AviatorEvaluator.execute("sort(list)", env);
System.out.println(result); // [3, 10, 20]
AviatorEvaluator.execute("map(list,println)", env);
}
我們可以:
- 求長(zhǎng)度: count(list)
- 求和: reduce(list,+,0), reduce函數(shù)接收三個(gè)參數(shù),第一個(gè)是seq,第二個(gè)是聚合的函數(shù),如+等,第三個(gè)是聚合的初始值
- 過(guò)濾: filter(list,seq.gt(9)), 過(guò)濾出list中所有大于9的元素并返回集合; seq.gt函數(shù)用于生成一個(gè)謂詞,表示大于某個(gè)值
- 判斷元素在不在集合里: include(list,10)
- 排序: sort(list)
- 遍歷整個(gè)集合: map(list,println), map接受的第二個(gè)函數(shù)將作用于集合中的每個(gè)元素,這里簡(jiǎn)單地調(diào)用println打印每個(gè)元素
兩種運(yùn)行模式
默認(rèn) AviatorEvaluator 以執(zhí)行速度優(yōu)先:
AviatorEvaluator.setTrace(true);
方便用戶做跟蹤和調(diào)試。默認(rèn)是輸出到標(biāo)準(zhǔn)輸出,你可以改變輸出指向:
AviatorEvaluator.setTraceOutputStream(new FileOutputStream(new File("aviator.log")))
語(yǔ)法手冊(cè)
下面是 Aviator 詳細(xì)的語(yǔ)法規(guī)則定義。
- 數(shù)據(jù)類型
-
Number類型: 數(shù)字類型,支持四種類型,分別是long,double,java.math.BigInteger(簡(jiǎn)稱 big int)和java.math.BigDecimal(簡(jiǎn) 稱 decimal),規(guī)則如下:
- 任何以大寫字母 N 結(jié)尾的整數(shù)都被認(rèn)為是 big int
- 任何以大寫字母 M 結(jié)尾的數(shù)字都被認(rèn)為是 decimal
- 其他的任何整數(shù)都將被轉(zhuǎn)換為 Long
- 其他任何浮點(diǎn)數(shù)都將被轉(zhuǎn)換為 Double
- 超過(guò) long 范圍的整數(shù)字面量都將自動(dòng)轉(zhuǎn)換為 big int 類型
- 其中 big int 和 decimal 是 2.3.0 版本開(kāi)始引入的。數(shù)字還支持十六進(jìn)制(以0x或者0X開(kāi)頭的數(shù)字), 以及科學(xué)計(jì)數(shù)法,如1e-3等。 不支持其他進(jìn)制。
String類型: 字符串類型,單引號(hào)或者雙引號(hào)括起來(lái)的文本串,如'hello world', 變量如果傳入的是String或者Character也將轉(zhuǎn)為String類型
Bool類型: 常量true和false,表示真值和假值,與 java 的Boolean.TRUE和Boolean.False對(duì)應(yīng)
Pattern類型: 正則表達(dá)式, 以//括起來(lái)的字符串,如/\d+/,內(nèi)部 實(shí)現(xiàn)為java.util.Pattern
變量類型: 與 Java 的變量命名規(guī)則相同,變量的值由用戶傳入
nil類型: 常量nil,類似 java 中的null,但是nil比較特殊,nil不僅可以參與==、!=的比較, 也可以參與>、>=、<、<=的比較,Aviator 規(guī)定任何類型都大于nil除了nil本身,nil==nil返回true。 用戶傳入的變量值如果為null,那么也將作為nil處理,nil打印為null
- 操作符
- 算術(shù)運(yùn)算符
Aviator 支持常見(jiàn)的算術(shù)運(yùn)算符,包括+ - * / % 五個(gè)二元運(yùn)算符,和一元運(yùn)算符-(負(fù))。其中- * / %和一元的-僅能作用于Number類型。+不僅能用于Number類型,還可以用于String的相加,或者字符串與其他對(duì)象的相加。Aviator 規(guī)定,任何類型與String相加,結(jié)果為String。 - 邏輯運(yùn)算符
Avaitor 的支持的邏輯運(yùn)算符包括,一元否定運(yùn)算符!,以及邏輯與的&&,邏輯或的||。邏輯運(yùn)算符的操作數(shù)只能為Boolean。&&和||都執(zhí)行短路規(guī)則。關(guān)系運(yùn)算符Aviator 支持的關(guān)系運(yùn)算符包括<, <=, >, >=以及==和!= 。關(guān)系運(yùn)算符可以作用于Number之間、String之間、Pattern之間、Boolean之間、變量之間以及其他類型與nil之間的關(guān)系比較, 不同類型除了nil之外不能相互比較。 - 位運(yùn)算符
Aviator 支持所有的 Java 位運(yùn)算符,包括&, |, ^, ~, >>, <<, >>>。 - 匹配運(yùn)算符
匹配運(yùn)算符=~用于String和Pattern的匹配,它的左操作數(shù)必須為String,右操作數(shù)必須為Pattern。 匹配成后,Pattern的分組將存于變量$num,num為分組索引。 - 三元運(yùn)算符
Aviator 沒(méi)有提供if else語(yǔ)句,但是提供了三元運(yùn)算符?:,形式為bool ? exp1: exp2。 其中bool必須為Boolean類型的表達(dá)式, 而exp1和exp2可以為任何合法的 Aviator 表達(dá)式,并且不要求exp1和exp2返回的結(jié)果類型一致。
內(nèi)置函數(shù)
| 函數(shù)名稱 | 說(shuō)明 |
|---|---|
| sysdate() | 返回當(dāng)前日期對(duì)象java.util.Date |
| rand() | 返回一個(gè)介于 0-1 的隨機(jī)數(shù),double 類型 |
| print([out],obj) | 打印對(duì)象,如果指定 out,向 out 打印, 否則輸出到控制臺(tái) |
| println([out],obj) | 與 print 類似,但是在輸出后換行 |
| now() | 返回 System.currentTimeMillis |
| long(v) | 將值的類型轉(zhuǎn)為 long |
| double(v) | 將值的類型轉(zhuǎn)為 double |
| str(v) | 將值的類型轉(zhuǎn)為 string |
| date_to_string(date,format) | 將 Date 對(duì)象轉(zhuǎn)化化特定格式的字符串,2.1.1 新增 |
| string_to_date(source,format) | 將特定格式的字符串轉(zhuǎn)化為 Date 對(duì) 象,2.1.1 新增 |
| string.contains(s1,s2) | 判斷 s1 是否包含 s2,返回 Boolean |
| string.length(s) | 求字符串長(zhǎng)度,返回 Long |
| string.startsWith(s1,s2) | s1 是否以 s2 開(kāi)始,返回 Boolean |
| string.endsWith(s1,s2) | s1 是否以 s2 結(jié)尾,返回 Boolean |
| string.substring(s,begin[,end]) | 截取字符串 s,從 begin 到 end,如果忽略 end 的話,將從 begin 到結(jié)尾,與 java.util.String.substring 一樣。 |
| string.indexOf(s1,s2) | java 中的 s1.indexOf(s2),求 s2 在 s1 中 的起始索引位置,如果不存在為-1 |
| string.split(target,regex,[limit]) | Java 里的 String.split 方法一致,2.1.1 新增函數(shù) |
| string.join(seq,seperator) | 將集合 seq 里的元素以 seperator 為間隔 連接起來(lái)形成字符串,2.1.1 新增函數(shù) |
| string.replace_first(s,regex,replacement) | Java 里的 String.replaceFirst 方法, 2.1.1 新增 |
| string.replace_all(s,regex,replacement) | Java 里的 String.replaceAll 方法 , 2.1.1 新增 |
| math.abs(d) | 求 d 的絕對(duì)值 |
| math.sqrt(d) | 求 d 的平方根 |
| math.pow(d1,d2) | 求 d1 的 d2 次方 |
| math.log(d) | 求 d 的自然對(duì)數(shù) |
| math.log10(d) | 求 d 以 10 為底的對(duì)數(shù) |
| math.sin(d) | 正弦函數(shù) |
| math.cos(d) | 余弦函數(shù) |
| math.tan(d) | 正切函數(shù) |
| map(seq,fun) | 將函數(shù) fun 作用到集合 seq 每個(gè)元素上, 返回新元素組成的集合 |
| filter(seq,predicate) | 將謂詞 predicate 作用在集合的每個(gè)元素 上,返回謂詞為 true 的元素組成的集合 |
| count(seq) | 返回集合大小 |
| include(seq,element) | 判斷 element 是否在集合 seq 中,返回 boolean 值 |
| sort(seq) | 排序集合,僅對(duì)數(shù)組和 List 有效,返回排 序后的新集合 |
| reduce(seq,fun,init) | fun 接收兩個(gè)參數(shù),第一個(gè)是集合元素, 第二個(gè)是累積的函數(shù),本函數(shù)用于將 fun 作用在集合每個(gè)元素和初始值上面,返回 最終的 init 值 |
| seq.eq(value) | 返回一個(gè)謂詞,用來(lái)判斷傳入的參數(shù)是否跟 value 相等,用于 filter 函數(shù),如filter(seq,seq.eq(3)) 過(guò)濾返回等于3 的元素組成的集合 |
| seq.neq(value) | 與 seq.eq 類似,返回判斷不等于的謂詞 |
| seq.gt(value) | 返回判斷大于 value 的謂詞 |
| seq.ge(value) | 返回判斷大于等于 value 的謂詞 |
| seq.lt(value) | 返回判斷小于 value 的謂詞 |
| seq.le(value) | 返回判斷小于等于 value 的謂詞 |
| seq.nil() | 返回判斷是否為 nil 的謂詞 |
| seq.exists() | 返回判斷不為 nil 的謂詞 |