第六章第三节 面向可维护的构造技术
基于状态的构造技术
状态模式（State Pattern）
备忘录模式（Memento Pattern）
Grammar-based construction
- 使用grammar判断字符串是否合法，并解析成程序里使用的数据结构 。
- 正则表达式
- 通常是递归的数据结构 。
terminals 终止节点、叶节点
nonterminal 非终止节点（遵循特定规则，利用操作符、终止节点和其他非终止节点，构造新的字符串）
三个基本语法的操作符：
连接，不是通过一个符号，而是一个空间：
x ::= y z //x等价于y后跟一个z
重复，以*表示：
x ::= y* // x等价于0个或更多个y
联合，也称为交替，如图所示 | ：
x ::= y | z //x等价于一个y或者一个z
三个基本操作符的组合：
可选（0或1次出现），由？表示：
x ::= y? //x等价于一个y或者一个空串
出现1次或多次：以+表示：
x ::= y+ //x等价于一个或者更多个y， 等价于 x ::= y y*
字符类[…]，表示长度的字符类，包含方括号中列出的任何字符的1个字符串：
x ::= [abc] //等价于 x ::= 'a' | 'b' | 'c'
否定的字符类[^…]，表示长度，包含未在括号中列出的任何字符的1个字符串：
x ::= [^abc] //等价于 x ::= 'd' | 'e' | 'f' | ... (all other characters in Unicode)
以URL为例构造语法树：
还可以有递归定义：
正则语法与正则表达式
举例子：
