EL表达式语法介绍

1.1 EL表达式：

EL表达式规定为：eval-expression和literal-expression,同时E L表达式支持Compositeexpressions,很多EL表达式（eval-ex pressions和literal-expressions）被聚合在一起。

EL表达式被解析成数值表达式和方法表达式。其中，取值表达式去引用一个值，而方法表达式则是关联一个方法。一旦被解析之后，表达式能够被优化地计算一次或多次。

下面我们来分为：eval-expression、literal-expression、Compo siteexpressions来讲述

1.1.1Eval-expression

Eval-expression是以使用${expr}或者#{expr}结构的形式构成。两种方式都是相同的方式，能很好被解析和计算，尽管它们在使用时有着不同的意义从技术方面来说。

从J2EE层规范协定来说，${expr}结构是直接计算而#{expr}结构则是延期计算，这种界定符号指出了在J2EE层两种表达式类型的语义上面的区别。#{expr}这种界定符号被称为延迟计算是因为直到系统需要的时候才计算。而${expr}这种界

定符号则是在JSP页面编译的时候就计算，就是为什么叫做直接计算的原因。

1.1.1.1作为取值表达式的计算表达式

当解析成一个取值表达式的时候，eval-expression能被计算成左值和右值。若在EL中有等号操作符号出现，右值是类型出现在等号的右边的表达式，左值同理。

右值比如：

以下面这个例子为例：

id="email"

value="#{checkOutFormBean.email}"

size="25"maxlength="125"

validator="#{checkOutFormBean.validateEmail}"/>

当表单被提交的时候，在申请计算的阶段，Faces计算EL表达式#{checkOutFormBean.validateEmail}作为一个数据接口

的引用，这个数据结构的数值是被一个表单相关联的输入参数设置。因此，表达式的结果表现成一个数据结构的引用，或者为一个左值。

在翻译阶段，那个相同的表达式被计算，它产生特殊值关联右值对象，作为JSP实例。

一个左值合法语法是右值合法语法的子集。在特殊情况，一个左值只能由单个变量（比如${name})或者一个从某个对象中解析属性的组成，通过. 或[]操作符（比如${employee.n ame}

在解析取值表达式时，一个预期的类型是被提供的。拿右值为例，预期的类型是表达式计算被强制的结果。以左值为例，预期的类型是被忽略的，并且在属性被设置之前，提供的值是被强制为一个表达式指向实际的属性类型。在后面提供了类型转换

1.1.1.2作为方法表达式的计算表达式

在某种情况，计算表达式会描述成引用一个方法而不是模型对象。

比如，在JSF中，组建标记也提供了引用方法的属性的集合，这些方法能够执行特定为组建标签关联的函数。为了支持这些类型的表达式，EL定义了方法表达式（ELclass MethodE xpresssion)

id="email"

value="#{checkOutFormBean.email}"

size="25"maxlength="125"

validator="#{checkOutFormBean.validateEmail}"/>

以上面的例子，validator属性使用了关联方法表达式类型的表达式。做为一个取值表达式，表达式的计算（调用函数）

被延期并且在生命周期内的合理的瞬间能够被底层的技术处理。

方法表达共享相同的左值语法，它只能由单个变量（比如${n ame})或者一个从某个对象中解析属性的组成，通过. 或[]操作符（比如${https://www.360docs.net/doc/057751990.html,}）。关于预期返回值类型和参数类型的信息提供在方法被解析的时候。

方法表达式被计算在其引用的方法的调用时候或者获取引用的方法信息。计算之上，ELAPI 验证方法必须一致于预期方法的签名在解析时候。因此，没有方法表达式的强制

1.1.2字面表达式

一个字面表达式不使用${expr}或者#{expr}结构并且简单地计算String类型文本表达式。在EL上，一个预期某个类型不止提供String。比如：

表达式：Aloha！类型：String 结果：Aloha！

true Boolean Boolean.True

为了生成字面值包括字符串"${"或者"#{"，开发人员能够选择使用组合表达式比如下面：

${'${'}exprA}

#{'#{'}exprB}，这里结果是${exprA}和#{exprB}。

两者选一个，使用转义字符\$和\#能够被用于转义，否则，会被处理为取值表达式。

\${exprA}

\#{exprB},这里结果是${exprA}和#{exprB}。

字符表达式能够用在任何取值表达式使用的地方。一个字符表达式也能使用一个必须要有返回值的方法。若他们的返回值不是String类型，他们会强制类型转换。

1.1.3.组合表达式：

在多个EL表达式被组合一起的地方，EL也支持组合表达式。取值表达式从左到右北计算，强制成String类型，并且连接任何一个插入字面表达式。

举个例子，组合表达式"${firstName}${lastName}"是由三个EL表达式组合而成，取值表达式"${firstName}"、"${lastNa me}"，表达式""。

一旦EL计算，结果会按照EL类型转换规则把从预期的类型强制成String类型。

混合${}和#{}的结构在组合表达式中是非法的。这种限制的导入是为了避免用户想要使${expr}还是#{expr}指令来计算

表达式的含糊不清。举个例子，前面我们提到了，${}是直

接计算并且#{}是延迟计算在J2EEweb层规范的协定中，这

就意味这EL表达式在J2EEweb层，开发人员不能强制直接计算那些组合表达式和间接计算的其余部分。这种限定可能会在未来的版本中回取消，从而为更高级的EL应用模式得

到允许。

组合表达式能够在任何EL表达式除了方法表达式之外的地

方使用。仅仅单个取值表达式中能解析方法表达式。

1.1.4.语法约束

取值表达式精确地被解析和被计算，在底层的技术导入约束，在EL表达式出现时，语法在使用遵循这些约束。

比如，在JSP2.1，#{}表达式都只能使标签属性接受延迟表

达式才被允许，若使用#{}在其他的地发挥报错误。

1.2. 字面值

有一些字面值作为boolean，integer，floatingpoint,string和n ull类型在取值表达之中。

Boolean true 和false

Integer - 参看integerLiteral

Floating point -参看FloayPointLiteral

String - 单引号和双引号' 转义成\', " 转义成\",和\ 转义

成\\。引号只是需要需要转义在string封装值在相同的引号类型。

1.3. 错误，警告、默认值

表达式语言已经被设计出来作为web表示层应用程序。在使用时，经验建议最重要的是能够提供尽可能好的表述来设计，甚至在页面中有的一点错误。为了达到这个需求，EL不提

供警告，只是提供默认值和错误。默认值都是类型正确的值，这些值被子表达式赋值当有问题时候。一个错误是异常的抛出（通过EL使用的环境来处理异常）。

1.4.解析模型对象和他们的属性

一个核心的概念在EL中，就是计算模型对象名称到一个对象，并且在一个表达式中分离属性应用于对象（操作符. 和[]）。

EL API提供一个一般化机制，解析器，通过底层技术实现并且定义了规则，它管理模型对象名称的解析和他们关联属性。

1.5. 操作符[]和.

EL遵照的ECMAScript来统一处理.和[] 操作符

expr-a.identifier-b 等于expr-a["identifier-b"];验证器identifier -b被用于构造一个字面的值作为一个验证器。

计算expr-a[expr-b]:

?计算expr-a的值放到value-a。

?若vaule-a等于null：

如果expr-a[expr-b]作为末尾的一个属性被解析：

若表达式一个值表达式并且ValueExpression.getValue(contex t)被调用

，作为初始化表达式计算，返回null。

否则，抛出PropertyNotFoundException的异常.(尝试着去分离引用null 作为左值）

否则，返回null

?计算expr-b的值放到value-b

?若value-b等于null;

o如果expr-a[expr-b]作为末尾的一个属性被解析：

?若表达式是一个取值表达式并且ValueExpression.getVa lue (context)方法被调用去初始化表达式

的计算，返回null。

?否则，抛出一个PropertyNotFoundException.

?否则返回一个null

若表达式是一个取值表达式：

?如果expr-a[expr-b]作为末尾的一个属性被解析：

?若ValueExpression.getValue(context)方法被调用去初始化表达式的计算，则调用elResolver.getValue(conte

xt.value-a,value-b)方法。

?若ValueExpression.getType(context)方法被调用，调用elResolver.getType(context,value-a,value-b)方法。

?若ValueExpression.isReadOnly(context)方法被调用，则调用elResolver.isReadOnly(context,value-a,value-b)

方法。

?若ValueExpression.setValue(context,val)被调用，则调用elResolver.setValue(context,value-a,value-b,val)方法。

?否则，调用elResolver.getValue(value-a,value-b)。

否则，表达式则是一个方法表达式：

o若expr-a[expr-b]作为末尾的一个属性被解析：

?强制value-b转化成String。

?在解析时，寻找对象vaule-a上的value-b方法和提供预想的方法参数类型集合。如果不存在这些，或者返回的类型不能匹配预想的回返类型（即方法签名不同），则抛出一MethodNotFoundException。

?若MethodExpression.invoke(context,params)被调用，则通过传递过来参数来调用相应的方法。

?若MethidExpression.getMethodInfo(context)被调用，构建和返回一个MethodInfo对象。

o否则，调用elResolver.getValue(value-a,value-b)。

1.6算术操作符号：

算术操作只被在Integer(BigInteger和Long)类型和浮点(BigD ecimal和双精度型）值.有五个操作符：

加法：+

减法：-

乘法：*

除法：/and div

求余：%and mod

算术操作符的计算在下面的章节中描述。A和B作为计算的字表达式。

1.6.1 二元操作符- A {+ ，-，*} B

?若 A 和B 都是null,则返回(Long)0

?若 A 或B 属于BigDecimal类型，或者都是,那么: o若操作符为+，返回a.add(b)

o若操作符为-，返回a.subtract(b)

o若操作符为*，返回a.multiply(b)

?若 A 或B 属于Float, Double,或者包含Stri ng，e或则E，

o若A或B属于BigInteger类型，把A和B强制转化成Bi gDecimal类型并且应用操作符

o否则，A和B强制成Double类型并且申请操作符

?若 A 或B 属于BigInteger类型，强制他们成为BigInteger类型，然后：

o若操作符为+，返回a.add(b)

o若操作符为-，返回a.subtract(b)

o若操作符为*，返回a.multiply(b)

?否侧，把A和B强制成Integer，并且应用符操作符。

?若操作符产生异常，那么报错误。

1.6.2 二元操作符- A {/，div} B

?若 A 和B 都是null,则返回(Long)0

?若A 或B 一个属于BigDecimal或一个属于Big Integer，都强制成BigDecimal并且返回A.divde(B,BigDeci mal.ROUND_HALF_UP)。

?否则，A和B都强制成为Double类型并且申请操作符

?若操作符产生异常，那么报错误。

1.6.3 二元操作符- A {% ，mod} B

?若 A 和B 都是null,则返回(Long)0

?若 A 或B 属于Float, Double,或者包含Stri ng。e或则E，都强制成Double并且申请操作符。

?若 A 或B 属于BigInteger类型，都强制成BigI nteger返回A.remainer(B)。

?否则强制成Long并且申请操作符。

?若操作符产生异常，那么报错误。

1.6.4 一元操作符-A

?若 A 是null,则返回(Long)0

?若 A 属于BigDecimal类型或则BigInteger类型，或则A.negate()。

?若 A 是String类型：

o若A 含有e或E，强制成Double类型并申请操作符

o否则强制成Long类型并申请操作符

o操作符产生异常，那么报错误。

?若A属于Byte，Short，Integer，Long，Float，D ouble

o保留原类型，并且申请操作符

o若操作符产生异常，那么报错误。

否则，报错误

1.7 关系操作符

== 和eq

!= 和ne

< 和lt

> 和gt

<= 和le

<= 和ge

后面四种第二的版本符号提供使用是为了避免在XML语法

中中使用实体引用和含有相同的行为，比如<行为与lt一样，以此类推。

1.7.1 A { <, > <= , >= , lt , gt , le , ge } B

o若 A == B , 若<= , le , >= 或者ge 返回true。

o若 A 或B 是null，return f alse

o若 A 或B 属于BigDecemi al类型，他们都会强制转化成BigDecemial类型，并且使用https://www.360docs.net/doc/057751990.html,pareTo(B)方法的返回值作为返回值。

o若 A 或B 属于Float 或

Double 都强制成为Double类型并且申请操作符

o若 A 或B 属于BigInteger，都强制成BigInteger类型并且使用https://www.360docs.net/doc/057751990.html,pareTo(B)方法的返回值作为返回值。

o若 A 或B 属于Byte，Sho rt，Character，Integer，或者Long等类型都强制成为Lo ng类型并且申请操作符。

o若 A 或B 属于字符型强制成String 类型，比较字符：

o若A属于Comparable类型，那么：

若https://www.360docs.net/doc/057751990.html,pareTo(B)抛出异常，错误。

?否则利用https://www.360docs.net/doc/057751990.html,pareTo(B)结果

o若B属于Comparable类型，那么：

?若https://www.360docs.net/doc/057751990.html,pareTo(A)抛出异常，错误。

?否则利用https://www.360docs.net/doc/057751990.html,pareTo(A)结果

o否则，报错误

1.7.2 A { == ，!=, eq , ne } B

o若 A == B，申请操作

o若 A 或B 属于BigDecemial类型，他们都会强制转化成BigDecemial类型，然后：

?若操作符为== 或者eq ,返回A.equals(B)

?若操作符为!= 或者eq ,返回!A.equals(B)

o若 A 或B 属于Float 或

Double 都强制成为Double类型并且申请操作符

o若 A 或B 属于BigInteger，都强制成BigInteger类型，然后：

?若操作符为== 或者eq ,返回A.equals(B)

?若操作符为!= 或者eq ,返回!A.equals(B)

o若 A 或B 属于Byte，Sho rt，Character，Integer，或者Long等类型都强制成为Lo ng类型并且申请操作符。