Fork me on GitHub

模板引擎

  • 简洁友好的模板语法
  • 精益求精的性能优化
  • 高质量的设计与实现

语法

此文档详细说明了HTTL的核心功能,如果你打算用HTTL开发,请详读。

测试通过的语法示例模板:src/test/resources/comment/templates

测试输出结果参见同名文件:src/test/resources/comment/results

基本语法

和Velocity类似,不同点参见:Velocity对比

<html>
    <body>
        #if(books)
        <table>
            #for(Book book : books)
            <tr>
                <td>${book.title}</td>
            </tr>
            #end
        </table>
        #end
    </body>
</html>

注释语法

指令两边可以套上HTML注释,以免干扰原生HTML页面。

HTTL在解析时,将自动去除指令边上的HTML注释符。(缺省已开启过滤)

<html>
    <body>
        <!--#if(books)-->
        <table>
            <!--#for(Book book : books)-->
            <tr>
                <td>${book.title}</td>
            </tr>
            <!--#end-->
        </table>
        <!--#end-->
    </body>
</html>

缺省使用HTML注释符:(缺省值,不用配置)

comment.left=<!--
comment.right=-->

如果你用HTTL生成Java代码,你也可以改为:

comment.left=/*
comment.right=*/

属性语法

基于Html标签属性: (指令和表达式与注释语法相同)

<html>
    <body>
        <table if="books">
            <tr for="Book book : books">
                <td>${book.title}</td>
            </tr>
        </table>
    </body>
</html>

需要配置:

template.filters+=httl.spi.filters.AttributeSyntaxFilter

属性语法需要用到jericho包解析HTML标签:

jericho-html-3.1.jar

<dependency>
	<groupId>net.htmlparser.jericho</groupId>
	<artifactId>jericho-html</artifactId>
	<version>3.1</version>
</dependency>

如果属性和其它框架冲突,可以添加名称空间:

attribute.namespace=httl

名称空间写法如:

<tr httl:for="book : books" />

在没有标签的地方,你可以同时使用上面的注释语法。

兼容语法

HTTL提供兼容Velocity语法的支持,只需配置:(从1.0.8版本开始支持)

template.filters+=httl.spi.filters.VelocitySyntaxFilter

在兼容模式下,你依然可以使用HTTL的标准语法,便于逐步迁移。

指令

HTTL只有 #set, #if, #else, #for, #break, #macro 六个指令,以及输出占位和注释转义,保持最小指令集,以后也不会增加指令。

不识别的指令名,将以文本输出,比如HTML颜色:#FF00EE。

如果指令名和文本相接,如:#elseTEXT,可用无参括号隔开,如:#if(x)AAA#else()BBB#end()CCC

输出指令

${}过滤输出

输出表达式的计算结果,并进行过滤,比如:过滤变量中的HTML标签。

格式:
${expression}

示例:
${user.name}

注:HTTL缺省开启了EscapeXmlFilter,以防止HTML注入攻击,参见:安全示例。如果你需要更强的过滤,请自行实现Filter,并配置到value.filters。此处为运行时热点,请注意性能。

如果输出变量的类型为Template,则缺省不过滤,比如:${include("foo.httl")}

$!{}不过滤输出

原样输出表达式的计算结果,不进行任何过滤,通常用于输出HTML片段。

格式:
$!{expression}

示例:
$!{body}

注意:使用不过滤输出,请确保内容是开发者确定的安全内容,而不是由用户提交的内容,以防止HTML注入攻击,参见:安全示例

变量指令

#set变量类型

声明变量的类型,模板内部其它变量类型基于此类型推导。

格式:
#set(type name, type name)

示例:
#set(User user, List<Book> books)

注:暂时只支持List和Map的一级泛型,多级泛型能解析,但不能推导。

如果有全局的变量,可以用配置全局导入变量类型声明,就不需要在每个模板声明:

import.variables+=User loginUser

缺省已导入:(可以在模板中直接使用)

import.variables=Context parent,Template super,Template this,Engine engine

如果使用的是HTTL内置的MVC集成,在集成中已缺省导入一些相关的常用变量,详见配置-导入变量类型声明一节。

如果未声明的变量,缺省为Object:(如果是直接输出变量,可不声明类型)

default.variable.type=java.lang.Object
${obj} // 直接输出,不取属性,不做运算,不需要声明类型

如果你的系统中,大部分为String类型操作,你也可以改成缺省String类型:

default.variable.type=java.lang.String

多次设置变量的类型,如果类型为父子关系,以子类型优先:

#set(ParentClass var1)
#set(ChildClass var1)

不管先后顺序,都以子类型优先:

#set(ChildClass var1)
#set(ParentClass var1)

如果是两个完全不同的类型,将报错:

#set(OriginClass var1)
#set(DiffrentClass var1)

#set变量赋值

将表达式的计算结果存入变量中。

格式:
#set(name = expression)
#set(type name = expression)

#set(name := expression)
#set(type name := expression)

示例:
#set(price = book.price * book.discount)
#set(int price = book.price * book.discount)

注意,为了简化模板的书写,#set的变量全模板有效,不限制在块指令内:

#if(xxx)
	#set(var ="value") // 变量全模板有效,而不是if块内有效
#end
${var} // 可以访问到if块内var的值

不需要像Java那样:

#set(var = null)
#if(xxx)
	#set(var ="value")
#end
${var}

类型的声明,同时可以用作强制转型,比如:

#set(Book book = bookentry.value)

如果bookentry.value的类型丢失,上面的写法可以恢复book的类型。

一个set指令可同时有多个类型声明或赋值,用逗号分隔,但类型声明和赋值要分开写,如:

#set(User user, List<Book> books)
#set(price = book.price, discount = book.discount)

赋值会在生成局部变量的同时,写入当前Context中, 如果有include()子模板,在子模板中也可以读到该变量。

如果你要在父模板中拿到include子模板中的变量,或者你想在模板渲染之后拿到变量, 因模板渲染完,它的Context已pop(),所以需在模板中将变量写到上级Conetxt才能在外面读到。 如果你需要用向上级Context中赋值,可以用“:=”赋值,它将变量写入Context.getParent()中, 比如:

#set(price := book.price * book.discount)

你可以在模板渲染后,通过Context.getContext().get("price");拿到上面的变量。

注意:

// 你可以把入参设成不可修改的Map,不会影响运行。
Map<String, Object> parameters = Collections.unmodifiableMap(parameters);

// 传入的parameters在渲染过程中总是不会被修改,
// 确保渲染过程无副作用,以及多次渲染的幂等性。
template.render(parameters, writer);

// 模板中的#set(price = x)变量是put到Context的临时集合中的。
Context.getContext().put("price", x);

// 先在#set临时集合中查找,再到原生传入的parameters中查找,然后到上一级Context查找。
Context.getContext().get("price");

条件指令

#if条件

如果条件表达式计算结果为真或非空,则输出指令所包含的块。

注意:对于非Boolean值:非零数字,非空字串,非空集合,非null对象,为真。

格式:
#if(expression)

示例:
#if(user.role =="admin")
    ...
#end

#else条件否则

如果前面的#if条件不为真,则输出#else指令所包含的块。

注意:#else指令可以直接带条件,以减少#if条件的组合。

格式:
#else
#else(expression)

示例:
#if(user.role =="admin")
    ...
#else(user.role =="member")
    ...
#else
    ...
#end

循环指令

#for循环

迭代表达式产生的集合,以集合中的每项值,重复输出指令所包含的块。

格式:
#for(name : expression)
#for(type name : expression)

示例:
#for(book : books)
    ...
    ${for.index} //当前循环次数
    ${for.size} //循环集合大小
    ${for.first} //是否为第一次
    ${for.last} //是否为最后一次
#end

多级#for循环,可以用${for.parent.index}或${for.parent.parent.index}获取状态。

类型的声明,同时可以用作强制转型,比如:

#for(Book book : booklist)
    ${book.title}
#end

如果booklist的泛型丢失,上面的写法可以恢复book的类型。

在迭代前,可以对集合做操作,如:

## 执行9次
#for(9)

## 字面序列集合,输出1到9的数字
#for(i : 1..9)

## 字面离散集合,输出10,20,30三个数字
#for(i : [10, 20, 30])

## 取一个非空集合迭代,如果books1不为空,则迭代books1,否则迭代books2
#for(book : books1 || books2)

## 集合相加后,再迭代
#for(book : books1 + books2)

## 集合排序后,再迭代
#for(book : books.sort)

## 递归迭代,比如Menu有一个getChildren()方法返回子列表:
#for(Menu menu : menus.recursive("getChildren"))

#break循环中断

当条件表达式为真或非空时,中断当前迭代过程。

注意:#break可以直接带条件参数:#break(i == j),不用写成:#if(i == j) #break #end

格式:
#break
#break(expression)

示例:
#for(book : books)
    ...
    #break(for.index == 10)
    ...
#end

#else循环否则

如果前面的#for集合为空,则输出#else指令所包含的块。

注意:#for指令可以直接和#else联合使用,可以减少#if不为空判断条件的书写。

格式:
#else
#else(expression)

示例:
#for(book : books)
    ...
#else
    ...
#end

模板指令

#macro模板片段

将指令块封装成可复用的模板片段,它可当作变量传递,可重复执行输出,可被继承覆盖。

格式:
#macro(name)
#macro(name(name, name))
#macro(name(type name, type name))

示例:
#macro(xxx)
    ...
#end

${xxx} 以变量执行宏
${xxx(arg1, arg2)} 以方法执行宏

模板继承宏覆盖,参见:继承示例

在宏定义的同时,可以在定义的位置同时输出宏,或将宏赋值给变量,以及定义宏的参数,以简化书写。

格式:
#macro($name)
#macro($name(name, name))
#macro($name(type name, type name))

#macro(var = name)
#macro(var = name(name, name))
#macro(var = name(type name, type name))

#macro($name => cache)
#macro($name(name, name) => cache)
#macro($name(type name, type name) => cache)

#macro(var = name => cache)
#macro(var = name(name, name) => cache)
#macro(var = name(type name, type name) => cache)

示例:
#macro($xxx)
    ...
#end

#macro(xxx = xxx)
    ...
#end

组合语法等价关系:

#macro($xxx)
    ...
#end

等价于:(在宏定义的位置同时输出)

#macro(xxx)
    ...
#end
${xxx}
#macro(aaa = xxx)
    ...
#end

等价于:(在宏定义的同时执行,并将结果赋值给指定变量)

#macro(xxx)
    ...
#end
#set(aaa = xxx)
#macro($xxx => cache)
    ...
#end

等价于:(在宏定义的位置同时输出)

#macro(xxx)
    ...
#end
${cache(xxx)}
#macro(aaa = xxx => cache)
    ...
#end

等价于:(在宏定义的同时执行,并将结果赋值给指定变量)

#macro(xxx)
    ...
#end
#set(aaa = cache(xxx))

#break模板中断

当条件表达式为真或非空时,中断当前模板或宏的执行。

注意:不在#for指令中的#break,表示中断模板或宏的执行。

格式:
#break
#break(expression)

示例:
#break(debug)

注释指令

##行注释

隐藏行注释的内容,以换行符结束,用于注解过程,或屏蔽指令内容。

格式:
## line comment

示例:
## This is line comment

#**#块注释

隐藏块注释内容,可包含换行符,用于注解过程,或屏蔽指令内容。

格式:
#* block comment *#

示例:
#* 
   This is block comment
*#

转义指令

#[]#不解析块

原样输出模板内容,用于输出纯文本内容,或批量转义块中的特殊符。

格式:
#[ no parse block ]#

示例:
#[ This is no parse block: #if ${name} ]#

\#\$特殊符转义

原样输出指令特殊符,用于输出纯文本内容。

格式:
\#, \$, \\

示例:
\#xxx
\${xxx}
\\${xxx}

表达式

基于Java表达式和扩展方法。

支持Java所有表达式,以下只列出与Java不同的点:

  • 所有null值的操作均返回null,比如:${foo.bar.blabla},如果foo为null,后面所有的操作最终为null,而不会空指针。
  • 双等号"=="会被解析成equals()方法比较,而不是比内存地址。
  • 单双引号都将生成字符串:'a'或"a"都是String类型,如果要字面声明char,请使用反单引号:`a`为char类型。
  • 加号"+"数字优先,${1 +"2"}输出3,而不是12,字符串拼接尽量用${s1}${s2},而不是${s1 + s2}
  • Bean属性会解析成getter方法调用,${user.name}等价于${user.getName()}
  • 所有实现Comparable的对象都支持比较运算符,比如:#if(date1 < date2),可以比较日期的先后。
  • 所有对象都支持逻辑与或,分别返回空值或非空值,比如:${list1 || list2},如果list1不为空则返回list1,否则返回list2。
  • List和Map可以方括号取值,比如:list[0]等价于list.get(0),map["abc"]等价于map.get("abc")
  • 大写3L将生成java.lang.Long值,小写3l将生成long值。
  • 支持is操作符,与instanceof相同,来源C#。

属性查找顺序,以${obj.foo}为例:(编译时决定,不影响性能)

  • 首先查找有没有导入obj类型的foo()静态方法
  • 再查找obj.getFoo()函数
  • 再查找obj.isFoo()函数
  • 再查找obj.foo()函数
  • 再查找obj.foo属性

操作符表达式

集合操作符

${list[0]} 等价于:${list.get(0)}

${map.abc} 等价于:${map.get("abc")}

${map["a.b.c"]} 等价于:${map.get("a.b.c")}

序列生成: 1..3
比如:
#for(i : 1..10)
${i}
#end

List生成: [123,"abc", var]
比如:
#for(color : ["red","yellow","blue"])
${color}
#end

Map生成: ["xxx": 123,"yyy":"abc","zzz": var]
比如:(此Map保持声明时的顺序)
#for(entry : ["red":"#FF0000","yellow":"#00FF00"])
${entry.key} = ${entry.value}
#end

集合相加:list1 + list2
比如:
#for(item : list1 + list2)
${item}
#end

逻辑操作符

#if(object)
等价于:
#if(object != null)

#if(string)
等价于:
#if(string!= null && string.length() > 0)

#if(list)
等价于:
#if(list != null && list1.size() > 0)

#for(item : list1 || list2)
等价于:
#for(item : list1 != null && list1.size() > 0 ? list1 : list2)

日期操作符

date1 > date2
date1 >= date2
date1 < date2
date1 <= date2

函数表达式

转型函数

obj.to("com.foo.Bar")
obj.toMap
num.toDate
str.toDate
str.toDate("yyyy-MM-dd HH:mm:ss")
str.toChar
str.toBoolean
str.toByte
str.toInt
str.toLong
str.toFloat
str.toDouble
str.toClass
str.toLocale

集合函数

数组和List一样可以用size方法获取大小
array.size
list.size
map.size

list.sort
#for(item : list.sort)
#end

list.toCycle
#set(colors = ["red","blue","green"].toCycle)
#for(item : list)
${colors.next}
#end

文件函数

继承模板,以当前模板中的宏,替换父模板中的同名宏,执行父模板,输出到当前位置。
${extends("/layout.httl")}
${extends("/layout.httl","UTF-8")}
${extends("../layout.httl")}
${extends("../layout.httl","UTF-8")}

包含模板,执行目标模板,输出到当前位置。
${include("/template.httl")}
${include("/template.httl","UTF-8")}
${include("/template.httl", ["arg":"value"])}
${include("../template.httl")}
${include("../template.httl","UTF-8")}

包含模板中的宏,执行目标宏,输出到当前位置。
${include("/template.httl#macro")}
${include("/template.httl#macro","UTF-8")}
${include("/template.httl#macro")}
${include("/template.httl#macro", ["arg":"value"])}

读取目标文件中的内容,输出到当前位置。
${read("/text.txt")}
${read("/text.txt","UTF-8")}

国际化函数

${"key".message} 或 ${message("key")}
在localized=true时,依次查找下面文件中的key配置:
basename_zh_CN.properties
basename_zh.properties
basename.properties

${include("template.httl")}
在localized=true时,依次查找以下文件是否存在:
template_zh_CN.httl
template_zh.httl
template.httl

httl.properties相关配置:

# 国际化信息配置文件前缀,将从Loader中查找/WEB-INF/messages_zh_CN.properties
message.basename=/WEB-INF/messages

# 国际化信息格式,支持message和string
# 分别对应MessageFormat.format()和String.format()
message.format=message

# 用户可以直接用UTF-8文件保存国际化信息,而不需要ascii2native
message.encoding=UTF-8

# 开启国际化查找
localized=true

# 缺省区域信息
locale=zh_CN

格式化函数

num.format("###,##0")
num.format("###,##0.##")
date.format("yyyy-MM-dd")
date.format("yyyy-MM-dd HH:mm:ss")

转义函数

str.escapeXml
str.unescapeXml
str.escapeUrl
str.unescapeUrl
str.escapeString
str.unescapeString
str.escapeBase64
str.unescapeBase64

JSON函数

# 将对象转成JSON串
obj.encodeJson

# 将JSON串解析成Map对象
str.decodeJson.toMap

# 将JSON串解析成对象
str.decodeJson("com.foo.Bar").to("com.foo.Bar")

缺省使用内置的解析器转码JSON串。

如需使用fastjson进行转码,需配置:

httl.properties:

json.codec=httl.spi.codecs.FastjsonCodec

pom.xml:

fastjson-1.1.25.jar

<dependency>
    <groupId>com.alibaba</groupId>
    <artifactId>fastjson</artifactId>
    <version>1.1.25</version>
</dependency>

XML函数

# 将对象转成XML串
obj.encodeXml

# 将XML串解析成对象
str.decodeXml.to("com.foo.Bar")

缺省使用java.beans.XMLEncoder进行转码。

如需使用xstream进行转码,需配置:

httl.properties:

xml.codec=httl.spi.codecs.XstreamCodec

pom.xml:

xstream-1.4.3.jar

<dependency>
    <groupId>com.thoughtworks.xstream</groupId>
    <artifactId>xstream</artifactId>
    <version>1.4.3</version>
</dependency>

摘要函数

# 生成MD5码
str.md5

# 生成SHA码
str.sha

# 生成指定类型的摘要码
str.digest("MD5")
str.digest("SHA")

命名转换函数

# 转成下划线分隔命名
str.toUnderlineName

# 转成驼峰分隔命名 (首字母小写)
str.toCamelName

# 转成大写分隔命名 (首字母大写)
str.toCapitalName

系统函数

# 当前时间
${now()}

# 随机数
${random()}

# 唯一码
uuid()

Velocity对比

如果你用过Velocity模板,可以查看以下对比,加深了解:

语法对比

  1. HTTL指令中的变量不加$符,只支持#if(x == y),不支持#if($x == $y),因为指令中没有加引号的字符串就是变量,和常规语言的语法一样,加$有点废话,而且容易忘写。

  2. HTTL占位符必需加大括号,只支持${aaa},不支持$aaa,因为$在JavaScript中也是合法变量名符号,而${}不是,减少混淆,也防止多人开发时,有人加大括号,有人不加,干脆没得选,都加,保持一致。

  3. HTTL占位符当变量为null时输出空白串,而不像Velocity那样原样输出指令原文,即${aaa},等价于Velocity的$!{aaa},以免开发人员忘写感叹号,泄漏表达式源码,如需原样输出,可使用转义\${aaa}, 在HTTL中,${aaa}表示不对内容进行过滤,用于原样输出HTML片段。

  4. HTTL支持在所有使用变量的地方,进行表达式计算,也就是你不需要像Velocity那样,先#set($j = $i + 1)到一个临时变量,再输出临时变量${j},HTTL可以直接输出${i + 1},其它指令也一样,比如:#if(i + 1 == n)。

  5. HTTL采用扩展Class原生方法的方式,如:${"a".toChar},而不像Velocity的Tool工具方法那样:$(StringTool.toChar("a")),这样的调用方式更直观,更符合代码书写习惯。

指令对比

Velocity HTTL 异同 功能 变化
${xxx.yyy}
$xxx.yyy
${xxx.yyy} 相同 输出占位符 HTTL大括号必需
$!{xxx.yyy}
$!xxx.yyy
$!{xxx.yyy} 不同 空值不显示源码 VM为空值不显示源码
HTTL改为不过滤输出
## ...
#* ... *#
## ...
#* ... *#
相同 不显示注释块
#[[ ... ]]# #[ ... ]# 相似 不解析文本块 HTTL少一对方括号
\# \$ \\ \# \$ \\ 相同 特殊符转义
#set($xxx = $yyy) #set(xxx = yyy)
#set(Type xxx = yyy)
#set(Type xxx)
相同 给变量赋值 HTTL可带类型声明
#if($xxx == $yyy) #if(xxx == yyy) 相同 条件判断
#elseif($xxx == $yyy) #else(xxx == yyy) 相似 否则条件判断 HTTL复用#else指令
#else #else 相同 否则判断
#end #end
#endif
#end(if)
相同 结束指令 HTTL可带配对指令名
#foreach($item in $list) #for(item : list)
#for(Type item : list)
相似 列表循环 HTTL改为Java格式
#break #break
#break(xxx == yyy)
相同 中断循环 HTTL可以直接带条件
#stop #break
#break(xxx == yyy)
相似 停止模板解析 HTTL复用#break指令
#macro($xxx) #macro(xxx) 不同 可复用模板片段宏 VM将宏作为指令执行
HTTL作为函数执行
#define($xxx) #macro(xxx = xxxmacro) 相似 捕获块输出到变量中 HTTL复用#macro指令
#include("xxx.txt") ${read("xxx.txt")} 相似 读取文本文件内容 HTTL改为函数扩展
#parse("xxx.vm") ${include("xxx.httl")} 相似 包含另一模板输出 HTTL改为函数扩展
#evaluate("${1 + 2}") ${render("${1 + 2}")} 相似 模板求值 HTTL改为函数扩展