应一位程序员朋友要求，写了这篇fastm engine内部实现原理的技术文档。
递归分解-- Fastm Match Engine
Matching Rule
Fastm Template是一个树形结构。Dynamic下面包含Static Text, Variable, Dynamic三种节点。
Fastm Template里面除了静态文本，动态部分只有两类，Dynamic Block 和 Variable。
Fastm 的 Template DOM + Data的匹配过程，很类似于XSL的Pattern Match的递归组合。
Match ( Template Node, Current Data) {
Switch(Template Node)
Case Static Text: 直接显示
Case Variable: 从当前数据层根据Variable名称获取数据并显示
Case Dynamic: 从当前数据层根据Dynamic名称获取数据（下一层子数据），作为当前数据层，并且展开并且一个一个遍历当前数据，对于每一个数据项，Dynamic向下走一层，开始一个个遍历所有孩子节点。
（注意，这一步没有显示动作，只有非常复杂的数据展开和模板展开的动作。并进行n * m匹配的逻辑。n是数据子项的个数，m是Dynamic孩子的个数）
}
注意，重中之重。
从当前数据层根据Dynamic名称获取数据（下一层子数据），作为当前数据层，并且展开并且一个一个遍历当前数据，对于每一个数据项，Dynamic向下走一层，开始一个个遍历所有孩子节点。
这是整个匹配过程中，最核心的动作。这是理解整个匹配引擎的关键。
注意，这是3步动作。
第一步动作，遇到Dynamic，根据Dynamic Name从当前数据层，获取属性（子数据），然后把这个子数据作为当前数据。
第二步动作，就把子数据作为当前的数据展开：如果是Array, Collection，就一个一个展开。
第三步动作，对于其中每一个数据项，Dynamic的所有孩子都和分别这个数据项进行匹配。
这可以看作是两重循环。
Case Dynamic:
Property = get Property From (Current Data, Dynamic Name)
Current Data = Property
for each Item in the Current Data { // Current Data may be an array, a collection, etc
for each Template Node in the Current Dynamic Node {
match (Template Node, Item); // 递归调用Match
}
}
好了，我们来看整个递归过程。
Match ( Template Node, Current Data) {
Switch(Template Node)
Case Static Text: 直接显示
Case Variable: 从当前数据层根据Variable名称获取数据并显示
Case Dynamic:
Property = get Property From (Current Data, Dynamic Name)
Current Data = Property
for each Item in the Current Data { // Current Data may be an array, a collection, etc
for each Template Node in the Current Dynamic Node {
match (Template Node, Item); // 递归调用Match
}
}
}
简化起来看起来是这样。
Match(){
.. Match();
}
自己调用自己，形成了递归。
递归步骤分解
f() {
..f()..
}
叫做递归。
f() {
..g()..
}
g(){
f()
}
也叫做递归。所不同的只是，分成了2个函数。
f() {
..g()..
}
g(){
h()
}
h() {
..f()..
}
也叫做递归。所不同的只是，分成了3个函数。
我们把上面的Match ()分解。
分解步骤1：分出forEachDataItem
Match ( Template Node, Current Data) {
Switch(Template Node)
Case Static Text: 直接显示
Case Variable: 从当前数据层根据Variable名称获取数据并显示
Case Dynamic:
Property = get Property From (Current Data, Dynamic Name)
Current Data = Property
forEachDataItem(Current Dynamic Node, Current Data);
}
forEachDataItem(DynamicNode, Current Data){
for each Item in the Current Data { // Current Data may be an array, a collection, etc
for each Template Node in the Current Dynamic Node {
match (Template Node, Item); // 递归调用Match
}
}
}
现在的递归关系是
Match{
.. forEachDataItem()..
}
forEachDataItem{
..Match()..
}
分解步骤2：分出forEachDynamicChild
Match ( Template Node, Current Data) {
Switch(Template Node)
Case Static Text: 直接显示
Case Variable: 从当前数据层根据Variable名称获取数据并显示
Case Dynamic:
Property = get Property From (Current Data, Dynamic Name)
Current Data = Property
forEachDataItem(Current Dynamic Node, Current Data);
}
forEachDataItem(DynamicNode, Current Data){
for each Item in the Current Data { // Current Data may be an array, a collection, etc
forEachDynamicChildren(Dynamic Node, Item);
}
}
forEachDynamicChildren(Dynamic Node, Current Data){
for each Template Node in the Current Dynamic Node {
match (Template Node, Item); // 递归调用Match
}
}
现在的递归关系变成，
Match{
.. forEachDataItem()..
}
forEachDataItem{
..forEachDynamicChildren()..
}
forEachDynamicChildren{
..Match()..
}
递归步骤合并
递归步骤既然可以分解，自然可以合并。
我们把forEachDynamicChildren 和 Match合并。
forEachDataItem(DynamicNode, Current Data){
for each Item in the Current Data { // Current Data may be an array, a collection, etc
forEachDynamicChildren(Dynamic Node, Item);
}
}
forEachDynamicChildren(Dynamic Node, Current Data){
for each Template Node in the Current Dynamic Node {
Switch(Template Node)
Case Static Text: 直接显示
Case Variable: 从当前数据层根据Variable名称获取数据并显示
Case Dynamic:
Property = get Property From (Current Data, Dynamic Name)
Current Data = Property
forEachDataItem(Current Dynamic Node, Current Data);
}
}
现在的递归调用关系就变成
forEachDataItem{
..forEachDynamicChildren()..
}
forEachDynamicChildren{
.. forEachDataItem ()..
}
为什么我最后保留了这种递归形势。
首先是为了保证两层循环分别在不同的两个函数里面。其次为了尽量减少递归函数的个数。
数据分支代表逻辑分支
Fastm Template为什么不需要逻辑分支？
Fastm利用数据分支来表示逻辑分支。
0个数据，表示不显示当前Dynamic Block。（if false）
1个数据，表示显示当前Dynamic Block。(if true)
n个数据，重复n次表示显示当前Dynamic Block。(for, while).
这种分支动作只发生在Dynamic Block上面。
这里是理解的关键。
Case Dynamic:
Property = get Property From (Current Data，Dynamic Name)
Current Data = Property
forEachDataItem(Current Dynamic Node, Current Data);
程序根据Dynamic Name获取Property，
如果获取的Property为空（Null or Empty），forEachDataImte就什么都不做。这就相当于不显示当前分支；如果Property里面只有一个元素（或者Property不是集合或者数组类型，那么元素就是Property本身），就显示一次；如果Property里面有n（ > 1）个元素（Property是元素个数为n的集合或者数组），那么就显示n次。
发表于 @ 2006年07月03日 08:15:00|评论(loading...)|编辑