本帖最后由 Vir 于 2012-10-17 23:13 编辑 ' k) l0 K6 l" r; G2 N
" k& G% u4 p, E! H u手把手教你写脚本引擎(二)——命令脚本 陈梓瀚 华南理工大学软件本科05级
* f; h. D/ d4 W这次要实现的是一个形式最简单的脚本。这种脚本仅有命令、标号及跳转构成,看起来就跟汇编一样,不过好是比较好读的。虽然这种脚本语言的语法非常简单,但是最基本的要素还是要有的。
' N& H/ F- l. x* p8 I, o. D$ T' A M+ X1 x. G7 @
作为一个脚本引擎,为了可以在各种各样的合适的宿主程序中使用,脚本本身最好不要涉及到具体的领域。当然,如果这个脚本被创建的目的仅仅是为了某个领域的话,那就无所谓了。因此,一个脚本引擎需要一个检查和运行代码的机制、运行时环境的维护以及一个功能足够使用的插件系统。一个完整的脚本引擎至少需要如下部件:
' L( H1 p. `2 z# P4 Q0 |. ~9 z2 F( t, A* b2 ?& j w3 R2 J; K
1、代码数据结构。代码的数据结构用来存放经过分析的脚本代码。事实上解释型的脚本引擎,也就是边执行边分析代码字符串的脚本引擎是比较难做,而且效率也不高的。脚本代码经过事先分析,可以检查一出一些在运行之前就能够检查的错误。而且我们把脚本的代码重新处理成一个数据结构之后,执行也变得更加容易控制。
1 _3 j+ N4 \1 e" W$ W8 p0 Y. b. w& i$ D7 { q6 Y2 H
2、运行时环境。运行时环境用于存放脚本在运行的过程中产生的数据,譬如堆栈、变量和状态信息等。对于一个已知的代码,不同的运行时环境代表不同的脚本执行流程。为了让脚本可以同时(但不一定是并发)执行,将运行时环境独立出来也就显得必要了。
+ @, E/ D% v, m% F
* R, t* G' Z1 {/ k3、语法分析器。语法分析器用于将代码转换成等价的代码数据结构,并在发现代码出错的时候输出合适的错误信息。: A% r; x; o% f$ z( J' R
5 t$ e& ]& P9 Z. r3 Z6 t8 _$ E4、插件。插件是脚本与外部环境交互的途径之一。有了插件系统,我们可以为脚本引擎添加额外的、跟脚本引擎无关的功能,譬如文件操作、屏幕输入输出等。如果必要的话,插件系统可以将脚本引擎与领域信息互相隔离,系统将变得更加容易使用。3 K2 }, F! a8 D, i/ C
2 ^9 D" N) z! s3 N. G: T
5、虚拟机。虚拟机用于执行代码并返回相应的结果。我们在使用脚本引擎时直接跟虚拟机进行交互,虚拟机则协调上述4个部件的相互协作。# Y7 H4 s) k1 i: q
6 q) i+ z% M3 M3 F
在知道了这些之后,我们就可以开始开发一个基于命令的脚本引擎了。为了更加详细以及明确地讲述开发过程以及原理,在这里将构造一门简单的基于命令的语言。一门语言至少还是要有分支和循环的。但是为了简化,我们将分支和循环分解成判断与跳转。语言可以自由添加标号,标号将作为跳转的目标而出现。这门语言使用如下语法:
3 r( u5 s8 c* l+ ?
8 H- o" T; N% T6 H1 ]5 i$ b<值>:值可以是整数、小数、字符串或名字。$ R0 R5 M) i% a% n/ u5 E/ `
<名>:名可以是变量名或者标号等,使用字母与下划线开始,后接不定数量的字母、下划线与数字。
8 M" O; X8 s8 G. A<名>::名字后接冒号代表一个标号。这个标号代表着一个指令的位置,用于指定跳转目标。
A, l: ?% v& [/ q8 S8 y5 T0 Ggoto <名>:goto用于直接跳转到一个位置继续执行。
: w( \6 L" V X% d- ? Tset <名> <值>:set用于将一个值赋值给一个指定名字的变量。这个变量不存在则创建。! k6 O- N1 _% z3 W3 P
opcode <名> <值> <值>:opcode可以是add、minus、mul、div、idiv或mod。这6个命令将两个值进行加、减、乘、除、整除及求余,并将结果赋值给一个指定名字的变量。这个变量不存在则创建。
. L3 e2 u/ J, c: t( b- r' Mif <值>[ opcode <值>] goto <名>:if用于判断一个条件并在条件满足被满足的时候跳转到指定的地方。条件可以是一个值,这个值必须是整数,并且在这个值不为0的时候条件被满足。条件也可以是一个比较,这个时候opcode可以是is、is_not、less_than、greater_than、less_equal或greater_equal,分别在第一个值等于、不等于、小于、大于、小于或等于、大于或等于第二个值的时候满足条件。3 K0 @* G! E# c- w6 K5 C/ t% O- r* S
exit:结束执行
3 _6 J1 U- {0 j. i( Y$ d<名> <值>*:如果命令名称不是上面的5种的其中一种的话,那么这个命令将被传递给插件进行执行。这个时候,命令可以有任意的参数。6 B* A$ c5 T& e7 Z$ Q: m/ ?. r: u+ g
+ c- d8 [: w" [( q9 w在这种语法下,我们可以假设宿主程序给了我们write、writeln和read命令用于输入输出,并得到一个判断输入的数字是否质数的程序:+ j5 [$ Y1 n/ S- |7 o
write "请输入一个数字:"$ S2 f9 ?/ G I8 I
read Number
6 d6 X# a/ z4 Z4 V( z; rif Number less_then 2 goto FAIL
+ ^1 e; b; \* l* s6 fif Number is 2 goto SUCCESS; {( d( @* O# l: S
set Divisor 2+ L+ D7 a* x0 x1 L% H2 [0 a
LOOP_BEGIN:- `+ E( v, h4 G* E0 j2 K/ _8 U
if Number is Divisor goto SUCCESS v# o( Y$ M5 ^0 N
mod Remainder Number Divisor
: P' o* b4 \, _% [9 }, V) Hif Remainder is 0 goto FAIL
2 ]! f) P9 ]; E' ?' m" C2 H$ E6 ladd Divisor Divisor 1* N! O ?7 w7 F0 t( _+ F6 A
goto LOOP_BEGIN
& U- E3 @$ t% m; Q/ DSUCCESS:3 n5 q" T( c: @. l' J0 q
writeln Number "是质数。"3 h6 d* C6 Y( w$ s$ [+ ?0 C/ M
exit
1 k) V' |! a- a4 ]% sFAIL:
1 I/ N! C! B, Fwriteln Number "不是质数。"& p% j2 g7 q7 q+ A( h6 `" ~8 D. M
这个程序首先判断输入是不是小于等于2,如果不是的话则使用一种简单的方法来判断输入是不是质数。假设输入的数字为n,那么在n>2的时候,如果2到n-1中的任何一个数字能够整除n的话,那么n就不是质数了。下图是这个脚本的运行结果:
! X9 A6 J6 x4 J6 L+ I& u) u a2 q" s: F1 w; d' j- c1 d
现在开始实现它。) ^# y \* q! ~* f, }9 l
; e0 y: ~5 ?4 R5 T' `# Q
在真正开始读脚本之前,我们需要一个在内存中表达命令的方法。命令有两种,一种是跳转标号,另一种是普通的命令。于是我们可以大概给出一个数据结构。跳转标号表用于查询一个名字所指定的命令的位置,而一个命令就由一个名字和一个参数列表构成。参数列表中的参数不仅有内容,还有类型。主要用于区分字符串和名字:
1 k9 ~+ ^+ ^ xenum LexerType { ltString, ltName }; class LexerToken { public: LexerType Type; wstring Token; };
) s5 S0 X' C6 w2 s. _$ h8 i$ ?6 M' L, E9 t
class Command { public: wstring Name; vector<LexerToken> Parameters; };
7 ?: y# y5 |8 U) q" u至于命令与标号的表示方法则用如下代码:+ L/ g% G6 s, J4 ?) g
vector<Command> FCommands; map<wstring , size_t> FLabels;& Q# h$ w2 X# G6 ~3 U9 L. z
, ]3 J& G3 e2 z2 x1 K
好了,现在让我们看看一行代码应该如何分析。由于脚本支持字符串,所以我们不能简单地使用空格来分割。如果我们遇到了“ writeln Number "是质数。"”,那么我们期望的结果是这一行代码被拆分成三个部分,分别是writeln、Number和"是质数。"。于是我们可以写一个函数,一次取出一个部分。那么我们只要一直取道换行符或者字符串结束,就能获得一行的所有部分了。% [8 \) t& J6 H1 Z
' ]% I0 ^2 W* a3 |# U P q2 z
脚本代码由整数、小数、字符串、名字以及冒号组成。于是我们可以写很多类似的代码,然而格式都是int GetXXX(wchar_t*& Input);。这个函数检查Input是否由XXX开始,返回值代表XXX用掉了多少个字符,然后把Input参数往后推那么多个字符返回给你。举个例子:
2 j3 d9 q! `% j' _2 g! hwchar_t* Input=L”123vczh”;# Z% \, A, z8 r; u% D" l) {2 Q
int Chars=GetInt(Input);
% `9 x; X8 o" L' E这个时候Chars=3,而且Input已经往后推了三个字符,指向了”vczh”。
" B( k) I9 O: ?( h3 V# E6 T& P7 b. o
于是经过努力,我们就拥有了一些函数:GetInt、GetReal、GetName、GetString、GetColon、GetSpace和GetLineBreak。我们如何使用呢?首先,我们在每一次获得一个部分之前,我们都要调用GetSpace以过滤所有空格。然后就按如下顺序调用上面的5个函数:# }% K- d/ J$ i
GetColon6 K# w6 ~4 W: ^( p3 ~9 {
GetString) K" o' l( _3 S5 \. N0 W8 p& p; x( X
GetName
, V+ E. O5 G. b5 N& j QGetReal
% v) [; ~' [- m3 ~+ EGetInt6 g+ V$ O, D' h) c* x0 |; d2 R9 e
事实上只要GetInt在GetReal之下就好了。因为如果123.456被GetInt先吃掉了3个字符之后,剩下的就无法解释了。
( f g1 C9 O3 i
4 n: t; u" J! h如果全都失败(函数返回0,代表什么都没检查到)了,那么我们可以GetLineBreak。如果再次失败,那么证明这个输入的脚本就有问题了。那么报错吧。在示例代码的Lexer.h/Lexer.cpp中有一个非常类似的词法分析器用于将一行代码分段。
+ ?9 O% l1 ]# F! p6 _4 H! q" N* G* b! G, Z d
让我们把“ writeln Number "是质数。"”分行吧。# b/ E% C/ e4 V; u9 q
5 y: L! Q" ~: A3 p/ \首先调用GetSpace,字符串指向了“writeln Number "是质数。””,然后依次调用5个函数一直到GetName成功。GetName返回7,拿到了writeln,字符串指向了“” Number "是质数。””。5 k% K9 E0 A4 `0 Q
然后调用GetSpace,接着仍然到了GetName成功。GetName返回6,字符串指向了“"是质数。””。
# n; ~- m1 b2 u# r5 D6 J( S接着调用GetSpace,调用到GetString的时候就成功了。GetString返回6(注意我们用的是wchar_t),字符串指向了“”。# J3 Y/ V w, @; M) B! }3 P
后面所有的调用都失败了。我们意识到字符串已经用完了,于是对这一行代码的分析就到此为止了。" T4 m( V D. w* M9 ~: B
# z! X& ]+ ]( q5 A到了这里,我们把所有的行都分割成一堆东西了。于是下面可以在采取一个步骤。我们首先辨别出哪一些是标号,哪一些是命令,然后填入上面的代码中提到的vector<Command>和map<wstring , size_t>中。如果我们遇到了一个标号,那么就将标号名和命令表当前存在的命令的数量加入标号表,其余的都放进命令表。于是我们在goto的时候,就可以从标号表中查到命令在命令表中的位置,从而成功跳转了。* F! M4 {9 @+ \- W7 ?( p. G* v5 b" B% O- X
- U# S) Y2 ~: B B0 J2 S对于上面那段检查是否质数的代码,最终的分析结果如下:
+ u8 |( s& w3 f% T/ h标号表:
! _6 h x" J( W. F/ Z- u' A3 NLOOP_BEGIN: 05
; I* V) U: d: m) l6 F. TSUCCESS: 10
1 N) K. D2 X- RFAIL:12
) l7 z) }' t1 u% H5 ?命令表:4 d W9 } T* I
00 write "请输入一个数字:"
: j1 { z4 x o9 \7 ]# d01 read Number( |9 w4 E6 I, j$ J! ^
02 if Number less_then 2 goto FAIL' Z$ X( m. Y& h, v& D% D
03 if Number is 2 goto SUCCESS
9 \) K% B# X l: k4 _04 set Divisor 27 l; p/ B4 F: }
05 if Number is Divisor goto SUCCESS
7 F8 C" \0 V! q# s# |' t$ h06 mod Remainder Number Divisor3 F( D' o* Z0 G, F# Y
07 if Remainder is 0 goto FAIL
. ]: A/ U7 a" C- m5 R08 add Divisor Divisor 1+ ~& o# X4 c& J) z+ _
09 goto LOOP_BEGIN
, H# B+ s) e8 C* W& n3 ~10 writeln Number "是质数。"
6 B; F7 o! k2 b8 b) F11 exit9 g4 _0 j9 h; E
12 writeln Number "不是质数。": C) w1 L- j/ ?+ i. i. r
D5 d) h* ?- D9 k# O1 {& R! R命令表里面有13个项,每一个项都被分成了命令名和参数表两个部分。执行的时候可以通过命令名来做相应的工作。让我们来手工执行一下这个代码。
" T/ j @ B- ]0 y- }) N! O( R; s( ?0 T9 S* a
执行00,执行01,我们输入“5”。! E, O1 E/ A: m! ?2 ]9 n: w! Q
02条件失败,03条件失败,04设置变量Divisor为2。
+ f+ ^' z7 A# w( U: i Q3 M05条件失败,06设置Remainder=5%2=1,07条件失败,08 Divisor变成3,09跳转到05(LOOP_BEGIN)。
R) M8 ^. E+ L u% S05条件失败,06设置Remainder=5%3=2,07条件失败,08 Divisor变成4,09跳转。
* F% D7 [$ U6 g- v05条件失败,06设置Remainder=5%4=1,07条件失败,08 Divisor变成5,09跳转。 v& q- }/ ?/ q3 }- n9 a
05条件成功,跳转到10(SUCCESS)。4 G3 P4 I7 ?8 H: E4 A
10输出“是质数。”,11退出程序。
( E5 U9 l0 `; ?' G ^0 P( q& A7 ]2 r6 |+ l6 m
于是现在剩下了最后一个问题。write、writeln和read原本是不存在于脚本引擎的。但是脚本引擎不具有输入输出的方法也是不行的,所以我们需要实现一个插件系统。这个插件系统可以让我们在脚本引擎的外部添加命令。也就是说,我们构造了一个脚本引擎,然后在外部创建一个插件,包含write、writeln和read,然后连接他们。最后做一些手段让脚本引擎在执行到外部命令的时候将控制权转移给插件。/ Y3 l0 h0 a8 W8 M. K
" \/ c# }- o' r( D) t) r6 T在这里,我们可以使用责任链模式。脚本引擎在遇到一个不认识的命令的时候,就访问第一个链接到脚本引擎的插件。这个时候插件可以返回三种结果:成功、失败或者弃权。返回成功代表命令被成功执行,脚本引擎继续往下走。返回失败代表指令被执行了,但是执行出错,这个时候脚本引擎返回错误信息并停止执行。返回弃权代表这个插件不受理这个命令,脚本引擎将这个命令传递给下一个插件。如果所有的插件都弃权的话,那么脚本引擎将返回“无效命令”并停止执行。
, S* I$ j% [8 B" }* A
' J( P7 L6 g% Q5 K o/ G# l所以插件只需要有一个函数就行了。这个函数返回执行结果(成功、失败或弃权),参数为当前的命令以及运行时环境(保存变量的地方)。脚本引擎使用一个vector去记录所有链接的插件的指针,这样的话脚本引擎在遇到不能解释的命令的时候就可以依次访问插件了。下面是插件的示例代码:
* i6 i5 ]" o2 e0 {/ S$ m$ O" L
6 f, ^- A0 i; f' q4 Uclass Plugin { public: virtual PluginStatus Execute(const Command& aCommand , Environment& aEnvironment , wstring& ErrorMessage)=0; };0 t! ^4 P0 d* @4 h, m
vector<Plugin*> FPlugins;8 g: ~$ A# v0 u% s; P
" X6 x! p& i- w4 k3 e' z
命令脚本的东西就讲到这里了。接下来的一些文章将讲述如何处理高级语言,并且开发一门新的语言出来。这门语言将只支持bool、int、double、string、数组和函数。2 q+ [! m) g' l9 L
. Y2 B3 p7 o* ~* c$ L& B8 H4 g
点击这里下载本片文章的示例代码。9 w: [ u. u# G% B
代码结构如下:
0 y* Z& g4 f( V' B' BLexer.h/Lexer.cpp:词法分析器
9 c/ q7 r- E' E9 s9 KScriptCommand.h/ScriptCommand.cpp:脚本引擎( E" M# h. C: U% ~& F% R9 `* }) q
Main.cpp:主程序
( L* e* e, m; F0 G5 w这个程序(SE_02.exe)读取一个文本文件(SE_02.txt)并执行,可以在debug文件夹下看到编译结果。& R$ p4 n8 Z) d+ Y' i4 ?. ~
|