- 在线时间
- 140 小时
- 最后登录
- 2016-8-2
- 注册时间
- 2011-9-15
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 1198 点
- 威望
- 0 点
- 阅读权限
- 40
- 积分
- 449
- 相册
- 0
- 日志
- 0
- 记录
- 1
- 帖子
- 187
- 主题
- 16
- 精华
- 3
- 分享
- 0
- 好友
- 35
升级   49.67% TA的每日心情 | 开心 2016-8-2 21:43 |
|---|
签到天数: 40 天 [LV.5]常住居民I
 群组: C 语言讨论组 群组: 学术交流C 群组: 学术交流A 群组: 学术交流D 群组: 学术交流B |
|
手把手教你写脚本引擎(三)——简单的高级语言(1,基本原理) 陈梓瀚 华南理工大学软件本科05级 8 ]+ u) A* d4 Y! v# z
这一篇文章开始讲述如何实现一个高级语言的脚本引擎了。由于工程量较为庞大,因此将分开几篇文章讲。学习做脚本还是要从简单的东西做起的。上一篇文章介绍的命令脚本为实现高级语言的原理做了铺垫。首先,高级语言和低级语言脚本的架构是一致的。其次,为了具有较大的优化的空间,我们将把高级语言转换成低级语言,并配合一个低级语言的脚本引擎来实现高级语言的脚本引擎。当然,习惯上,在这种情况下我们把低级语言叫『指令』。" J/ _# b$ J5 v! |& n$ J( b7 Q
" P' y0 A0 F; _$ Y
在这个阶段,我们实现的这门语言是非惰性计算的、弱类型的、仅支持基本类型、数组和函数指针的语言。作为扩展,隐式类型转换和函数重载也将包含在这几篇文章的主题中。好了,开始介绍语法吧。
) k$ J# c6 G2 W9 n x0 v- g$ k6 D5 n. f* p. U6 Q+ l' M
为了免去分析C语言函数指针声明的一堆麻烦问题,在这里我借用了pascal的语法。我们将构造出一门非常类似pascal的语言出来。9 z* T* i; ~5 E" d3 R
# _1 [7 N' f6 F8 @1 T( F- a/ s% Y文件结构:
8 G# [( @) P% j1 h1 i9 R我们将实现的高级语言脚本是支持多文件的。脚本引擎总是需要外部函数的。为了方便的让宿主程序提供外部函数的声明,因此我们做成了多文件的脚本引擎。也就可以有类似C语言#include那样子的东西了。pascal有一个奇怪的注释规则:使用大括号注释。1 o; k0 T+ U* D# G, m% a; w
5 z* Q7 p% l s结构如下:
4 C4 R, R+ G9 C" I" F0 ^& _3 y( Lunit 单元名;9 O, G8 ^& E, D
# ]5 t v8 N$ _( A3 o2 }- muses 单元名1,单元名2,……;5 Y5 E5 x2 W" G" a1 J O, y! X4 p
$ l* T, i' w( Y3 p& L6 vtype7 O0 ?0 Q* I& p n6 Q
新类型名称=类型声明;
" M/ S! v1 N. j! z) O$ X( ? @……
7 u9 i2 g; `& r7 E! t1 T" J7 u" }, C9 B o3 T. p2 E
var2 [- A/ h' [, b0 ?+ ~
变量名组:类型;
, E5 Q1 l9 g) H( U$ {" u2 V……- e ~, r& |% ~3 \; i& I0 I8 L9 k! k
& q3 H7 R6 d% Ainterface9 y# u0 s. H5 V: Z* V& V( J: _
公开的函数声明;
: @6 w7 F8 X9 R% v4 d# G7 y2 R
( Y& e5 l- a& K% E# Himplementation
c& T9 ]+ y9 O! c1 A公开和非公开的函数实现(非公开函数不需要声明)
' [8 O; [0 W1 d7 P3 u* vend.
% e6 u9 X7 j; Q. a, f2 O+ L' C* G0 N7 @# d
对于语言本身来说,type和uses最好应该属于interface和implementation的。不过我们为了方便,姑且就这么做吧。不然的话,既不能揭示更多的原理,又给自己添麻烦。
5 g7 d8 K/ p I9 b
3 g9 ^" n* A* F4 D1 |" k类型声明:
" {6 {2 K/ k3 T- Z' r类型声明有普通类型、数组类型和函数指针。
' c2 L% Y) S/ `普通类型有boolean、integer、real、char和string。
" g) g1 K8 p2 p% `; w w. G1 u6 b; F数组类型的声明方法是array of 类型。
% W* _; T4 p8 V5 c3 F7 e8 ^函数指针的声明方法跟函数声明一致,唯一的区别是函数指针不可出现函数名。譬如我们需要一个输入两个整数输出一个整数的函数指针,我们写:
8 ?- |8 Q8 ^ _type MyPointer=function(a,b:integer):integer;8 c, _/ f: [+ x9 L& C
# N, A9 [$ V/ [" T* B O
函数声明:
3 |; U& D$ w( L$ P: [7 Upascal的函数根据有没有返回值的区别使用不同的语法。基本语法如下:
/ A1 a' a P% \! a) Qprocedure 函数名(参数表)和function 函数名(参数表):返回类型
$ o+ R8 R; f8 s A/ G+ r. D0 T4 e参数表的语法:[var]参数名组1:类型; [var]参数名组2:类型;……[var]参数名组n:类型。其中参数名组可以为多个用逗号隔开的参数名,也可以仅为一个参数名。其中var代表引用参数。/ P/ M; b; w' r0 W
9 G0 {5 L' c" S7 j0 Y# ^
函数实现:
+ S, e- f3 q6 s( ~% s函数实现的语法由函数声明、分号、可选的变量声明、语句、分号构成。其中变量声明由var开头,后面街上多个“变量名组:类型;”构成。
$ |, Q6 r6 N- X! ~8 V. I. G
( I( U6 N5 ^3 P+ r. Y语句:3 j$ C) m' k$ X$ H. | c' v9 s
一般语句:表达式、new 类型[长度]% ?4 O" ]: l; c. D; Q& J
赋值语句:变量名:=表达式. n; U m1 A* [* m1 Q* j" B) z, l
分支语句:if 布尔表达式 then 语句 [else 语句]
: b( u# g( x$ p* n# Y% u循环语句:
; Z! o3 |. i$ g! P: C8 _0 Rfor 变量:=值 to|downto 值 do 语句2 P' c) T& q! Z2 B* p9 P) Q& W
while 布尔表达式 do 语句
0 w. w% l8 n3 f" erepeat 语句块 while 布尔表达式5 l) Z! Z7 @7 ^6 Q* P3 |
复合语句:begin 语句块 end: c9 R; v) C3 J1 L/ R
命令语句:continue、break、exit
- y2 F' v5 ^+ o# p0 _4 ^9 b8 Y8 s语句块为多个“语句;”连接而成。
9 ?9 e' U* D2 F; ^8 E8 u0 l: c0 y- P3 |$ }8 C
表达式:
( V0 c( Z2 I8 \) M' @表达式由变量、操作符、常数以及函数调用构成。支持的操作符有+、-、*、div、mod、/、and、or、xor、not。其中/的返回值一定是real,div用于两个整数的整除,mod用于求余数。在这里我们修改一下pascal的语法,我们默认字符串的下标从0开始,而不是1。
0 J) C% ]! w+ Q& l( \3 H数组和字符串可以用“表达式[下标]”来获得指向元素的引用。数组赋值的时候使用引用复制,字符串也使用引用复制。不过字符串修改的时候保证不影响到其他的副本,这个工作由虚拟机完成。
1 u2 X: h, u/ S# y9 L9 q1 z5 }. Z9 D R# V3 z* K; B
既然有了这个简单的语法规定,我们可以试着来写一个程序。跟上一篇文章相同,我们写一个判断一个数字是否质数的函数:. a# y" l0 y% x$ a' j3 O3 ^
unit PrimeTest;: V8 g6 x) x. V& n: [, o; U& Y2 w$ `
8 u; r0 L w% h; t5 e5 V+ a
uses IO;{writeln和read}' G$ p$ H) |: n1 z* w
8 |: t; M3 D8 [; w# L s
interface( D; ?% e% R! o5 V# M
function IsPrime(Num:integer):boolean;% {- d) w$ m1 ]6 }' c9 i2 U8 K% d
4 W* z4 p s6 A$ A; u( \+ w
implementation
! h9 P; r4 ]7 k9 q
$ Q5 l9 H1 @9 W H; Rfunction IsPrime(Num:integer):boolean;% V2 V0 G1 _2 R3 q5 W
var i:integer;
5 i+ \2 a- N- g; H2 bbegin% j1 k" Y1 M4 e
result:=true; {这是delphi设置返回值的方法,此处借用。exit用于退出函数,result变量仅仅用于设置返回值}
A, W& X2 ? Z4 C) `+ o" w1 rif Num<2 then" Z" h- f3 ~2 C' Q5 x9 ^
result:=false;
5 h. E7 d! V1 ]: b/ |& selse if Num>2 then; ?* O$ X1 N- y( V4 ?
for i:=2 to Num-1 do9 ]* ^+ h- j" E+ @6 z; F! f. H+ ^
if Num mod i=0 then
$ `8 }* e: g" s2 Iresult:=false;7 x6 S2 u' v% F/ I# H8 z
end;
7 A+ A, S" U, Q
8 H* G/ K, R( r8 P& A: \, vend.7 ]' V" r- H- e( w: ?
- i0 U" u3 Z' j5 E, S语法的介绍就到此结束了。在这里发一下牢骚。虽然我们知道C++很强大,但是其语法却是很不利于分析的。举个例子:
+ x; Z- o! x7 u3 d. X( YA*B;知道是什么吗?乘法?指针声明?
M4 x5 L$ K- T% o+ y" {# s8 P. La<b,c>d;知道是什么吗?逗号表达式?一个类型为某模板类的变量?
5 J5 `" F: _3 k- [0 L3 N5 Z因此,各位有志于分析C++语法的大大们注意了,传统的先语法分析后语义分析的方法在C++面前基本上是一点用都没有。如果你不知道上述代码中两个A代表着什么(类型还是对象),你就无法正确得到你想要的语法树,那么你就惨了。所以,要分析C++,想个办法吧语法分析和语义分析揉在一起吧。在这里我很想知道早期的gcc为什么能用yacc来搞,用yacc写出来的C/C++编译器的代码肯定很难看的,虽然写得出来。2 q5 M8 h: M- \, h( |* p( G' L
7 C( @; {3 R5 R* c" Q
回到我们的主题中。这个语言拥有可以递归调用的函数以及全局变量,我们需要准备一个堆栈和一个堆才可以支撑所有的内存操作。堆栈有很多种实现的方法,可以放在堆里也可以不放在堆里。这个决策将对接下去的指令集将会有一点小影响。! {& S/ T, _+ q3 x" m% K
3 c8 s7 P4 N g
现在让我们考虑一下各种类型的结构。首先,boolean、integer、char和real都是实体类型,只需要那么一段数据就行了。在32位的机器上分别是1、4、1、8个字节。其次是函数指针。我们可以使用一个全局的ID指向一个函数,就跟我们拿函数去编号一样,一个函数一个编号。那么,函数指针跟integer就一致了,区别在于函数指针不能计算也不能转换类型。
: W( v, i# S$ A+ k8 q8 O; p7 K, Q# x- _1 H; L
接下来是字符串和数组,字符串和数组的结构都是一致的,我们可以使用引用计数来达到垃圾收集的功能。根据类型理论我们可以知道我们刚刚设计的语言是不可能存在内存泄漏的(如果所有的数据都只让脚本修改)。于是,我们可以让数组和字符串的结构如下:( f, t: q# s9 E& w- w. }9 @
[引用计数:int][数据]
! N$ v0 @; l" a- m9 l当创建一个数组变量的时候,我们让数组的值为nil,让其为空,需要使用new创建一个数组。new创建的数组的引用计数是1。如果这个数组被复制的话,那么引用计数也会随之增大。当引用计数为0,也就是所有的变量都不指向这个数组的时候,数组就该释放了。而且刚刚设计的这门语言是保险的,也就是说,只要我们无法访问到这个数组,那么这个数组就一定会被释放。至于原因就留给大家思考了。* C1 D# z, n. P8 q% ^
! R: |9 J0 {. ]" W8 P7 ^5 H X1 }字符串的结构跟array of char是一致的,但是字符串有一个特殊的地方。我们将一个字符串赋值给另一个字符串的时候,两个字符串变量其实指向相同的空间。但是我们对其中一个字符串进行修改的时候,是不影响到另一个字符串的。我们可以在修改之前将被修改的字符串进行复制。举个例子:
n6 H& ~# `1 g' ~" X+ B0 z$ U8 Wa="vczh";
% P5 P5 o. X5 t" Jb=a; ?$ Z2 A8 W2 ]( B# n: P
这个时候字符串的引用计数是2。当我们修改b(而不是对b赋值),譬如说b[0]= 'V'的时候,我们对b进行复制。这个时候内存中就有两个引用计数为1而且内容都是vczh,但是指向的空间不同的字符串了。这个时候我们对b指向的空间进行修改的时候,a指向的空间是不变的。这种方法是经常被使用的。
+ q8 U+ n9 z# g) G6 G J. ]0 T3 p3 Q. q$ k; P
接下来我们考虑堆栈的构造。堆栈是用来存放不支持闭包的语言的函数中的参数和变量的。对于我们刚刚说的这门语言来说,堆栈是相当合适的数据结构。堆栈是分段的,一个段记录的内容有参数、变量、临时信息、函数参数起始位置以及函数的执行位置。函数的执行位置用于记录当前函数在调用新函数之前所执行的指令。有了这个信息之后,我们就可以在函数返回的时候找到合适的指令继续执行了。
' T6 y1 C, |, _9 K6 r: G
0 R1 E7 R2 y+ w& B% Z如果堆栈中存放字符串或者数组的话,在堆栈的一个段被销毁的同时,我们需要减少相应的字符串或数组的引用计数,并在适当的时候释放他们。那么,我们如何知道堆栈的什么地方记录着什么类型的变量呢?因为表达式也会频繁地使用堆栈的临时空间进行计算,因此类型信息有必要放在堆栈里面。如果不这样做的话,我们就要在指令集里面加入各种不同的pop指令,并在函数的很多地方使用。这两种做法各有利弊,在实现的时候需要衡量一下。
; r' g1 ]9 ^+ O3 d# e5 s$ i+ o$ H8 ^
: u) @4 c4 P9 F6 _函数调用的时候需要大量更改堆栈的内容。在这里我举一个例子。已知如下代码:
. p7 s. {1 ?5 s9 y7 g, }# Gfunction A(x:integer):integer;+ Y0 j5 T' L. E
begin
' k# j/ ~+ u# m; T! A* R: Z/ T4 Uresult:=B(x+1,x-1);
. ~% e. U% c" v4 R8 yend;* V$ D. X5 h# q. b9 K
- ?+ t; G% H3 g
function B(x,y:integer):integer;- }' Y$ U6 S/ u4 I, F2 h
begin
" r. s* H- F: P2 U& zresult:=x*y;
9 S* F0 Z# e! [" j: P& r2 mend;
5 H- g ]1 D! q2 N( h; l$ L) e+ n- B, B9 s$ I& v
我们可以假想出一个编译后的指令:
5 Y' k |1 t( ]; y/ `; @FUNCTION_A:, ^5 T$ t; i! C
00 push x;4 ?/ M0 Y6 h" q2 y$ u" c3 h
01 push 1;
) t3 W$ Z4 g- `- c3 K ?02 add;- v1 ]9 `! C5 k7 Z
03 push x;
- U( a4 ]1 u. e/ ]( E! S04 push 1;
4 d) |. E6 C: a/ y, x; [. h05 sub;1 ^* e7 h% Z1 C) B& G
06 call FUNCTION_B;
5 S: s/ E: n! L" |8 b2 Q# Y( t07 pushref result;5 Z$ T4 M( l/ u F/ @2 L2 D' u
08 assign;3 R* n1 q N5 k5 P- L: O
09 ret 1;
7 ?2 S3 V, N. S6 eFUNCTION_B:3 J1 Y; |* A8 U& G# M# u" O# [
10 push x;* i* {$ v* d3 C1 S! |
11 push y;+ B! c; g* h6 G
12 mul;
- \7 A! o! T; T" ^- Y$ J9 ]8 P8 R% U13 pushref result;
" _9 g1 n3 {- S& d& c7 `$ D14 assign;
?) [5 @5 a& M: U y15 ret 2;
9 G! {- P% i/ [2 n: v/ u- A8 t
3 N7 ~: N0 C2 S8 u+ y/ z/ b当我们执行A(5)的时候,堆栈如下:
6 ^6 ^& n% n# ~! Z+ c$ O4 ?5 B7 R
地址 内容' r& D$ ^7 U8 i* R5 Y6 z
<以前的内容>
$ _( Z% |: q+ \6 o5 @& D100 5{x}
% U2 q$ s) ^% ^( E104 0{result变量}2 P4 X. u' P' H: h9 r! h" N+ r
108 100{FUNCTION_A参数起始地址} W5 b- S7 c2 j1 |8 {% V( I& n
112 ×××{FUNCTION_A返回的时候的地址}
; e' H0 A) o5 ?3 [
9 O. q$ G; s# ~好了,我们一直执行指令,直到05(sub;)。这个时候堆栈上有了x+1和x-1两个数:) t- J. N/ ~( \. I+ j
, e& q: T& h* x地址 内容+ ^; O4 V8 s* f; y: g+ j, F
<以前的内容>) b% I; n6 d. a$ f7 a- R) W% W
100 5{x}
" I$ ]7 Q0 g. B0 k1 E2 r104 0{result变量}8 @$ f& |' y d: Q
108 100{FUNCTION_A参数起始地址}) G$ x, F' V0 {4 j6 t* |
112 ×××{FUNCTION_A返回的时候的地址}
- Q* _8 g3 M; K+ |8 i116 6
8 L* }, i* _4 Y1 ?! L4 U120 44 N* z# _# Q, s8 m
# I; `) x I. _4 r4 e: v# ?现在执行06(call FUNCTION_B;),堆栈变成这样:$ n0 Z9 H! s+ c: h( n
* |# K' F) K( a3 l- X" h% A
地址 内容
! h( ^2 Q! S& W/ Y E<以前的内容>
% C% Q, G% |2 a- `) U M' \# L100 5{x}
n8 x( }1 l- ?( v& H: f+ M# D104 0{result变量}
2 n! ~7 f% ?8 o A) U. X8 Y108 100{FUNCTION_A参数起始地址} H+ l7 ]! K I/ A# d4 E& o5 d
112 ×××{FUNCTION_A返回的时候的地址} . l/ V" l8 F2 J0 W' C( G" M; i) \
116 6, u2 |! C# b- l1 a4 ]% h
120 4
$ I* p; n& i2 Q124 0{新的result 变量}$ ~) U3 K. X' C2 |7 v
128 116{FUNCTION_B参数起始地址}
7 l: R" F: S+ q+ T132 07{FUNCTION_B返回的时候的地址,指向pushref result;指令}+ C t9 D8 H/ u1 x2 H/ U3 P8 Q
' I1 ^: S* u# B7 ~" y& E
然后一直执行,终于FUNCTION_B执行完了,到了15(ret 2)。- K7 `8 h h$ Z& y$ P! e+ S/ V
0 [% V' B) P# Z% V$ x+ @+ x地址 内容7 Q7 J$ ]# j3 f# P. {
<以前的内容>
& S5 l# e1 r) a8 B: j% o# |& C100 5{x}
. S' _; S2 z/ b J" x- ]104 0{result变量}( t+ |# s1 k" \, g, Q& ^
108 100{FUNCTION_A参数起始地址}
" K& P+ e" V- M* P( @* t112 ×××{FUNCTION_A返回的时候的地址}
/ _: a' v z1 b" R [# f116 6
5 C/ _% B0 S5 i9 s120 4$ M' p* r) ]+ z7 O6 p/ v0 d
124 24{新的result 变量,被更改}8 n7 g. r6 x" M4 k1 n1 M
128 116{FUNCTION_B参数起始地址}
" R- H0 f5 D8 z- D7 P- v' M132 07{FUNCTION_B返回的时候的地址,指向pushref result;指令}$ \( }7 p0 G! G
6 A1 Q$ x$ Z4 A5 @7 ?- N4 P于是执行15(ret 2)。ret 2的意思是属于FUNCTION_B的参数和变量一共有2个。虚拟机寻找有没有字符串和数组,发现没有。这时,虚拟机将132处的返回地址07拿出来,并将124处的函数返回值24保存好,最后将堆栈顶部重新指向116,并push函数返回值。这个时候堆栈如下:' T) d7 w6 A1 s. _/ t
$ _2 b# N' {( K+ K1 C1 \地址 内容
, W8 ]( _# y! t9 U' O Y<以前的内容>: H4 T2 g' ~' U4 F# e0 X$ G" }
100 5{x}
% P `% j7 x: f+ z5 `3 F- I104 0{result变量}
) m4 N4 T: l: t7 R' e. w108 100{FUNCTION_A参数起始地址}
: U* ]( s! U8 k, F* T112 ×××{FUNCTION_A返回的时候的地址} 0 `9 U: y+ I* o3 O
116 24{函数执行结果}8 k: W! S8 ^7 |) U; v* s
" e, O0 |) s: b+ i1 t: h& W d& b这就是一次函数调用和函数返回之后堆栈中数据的变动了。当然,我们可以加入新的指令以调整result变量、函数参数、起始地址以及返回地址的位置,让call和ret指令轻松一些,效率也提高一些。不过这是后话了。事实上上述指令中ret指令的参数是需要一个函数的参数表和变量表才能正确工作的。不同的解决方案中的ret有不同的意义。( o; e2 m: Y0 r8 A" s4 h# \
; X% a( L" `5 v
这篇文章就到此为止了。刚刚开始实习,杂七杂八的事情比较多,因此写文章的速度会慢一些。下一批文章将讲述如何对我们构造的一门脚本语言进行语法分析以及语义分析。语法分析和语义分析主要还是用来分析代码并检查语法错误的,并附带给出一个描述语言的数据结构,用于接下来的代码生成等问题。% y. \* W6 Y' ^2 I2 n- I
|
zan
|