如何实现我正在编写的语言的执行？

Question

我正在使用C#编写自己的编程语言,只是为了好玩.它被称为SPL.它只有12个关键字/命令/指令,仅此而已.我确切地知道每个命令将要做什么.这是类图:

这当然没有完成.但我们的想法是,我们有一个运行时ISplRuntime.命令所做的所有事情都是在运行时完成的.例如,OutputCommand输出ISplRuntime.Current(这只是一个object)的东西ISplRuntime.Output(这是一个TextWriter).

到现在为止还挺好.但后来我需要实现IGotoCommand它就像gotoC#中的关键字一样.我将制作三种类型的东西.但我无法弄清楚如何改变程序的流程.

这是我尝试过的想法:

添加一个名为方法RunNextCommand()在ISplRuntime.并且在每个命令的Execute()方法结束时,调用RunNextCommand.但是,如果用户编写了大量SPL代码,则堆栈跟踪将变得越来越大并导致堆栈溢出.

添加委托给ISplRuntime.每次命令完成执行时,Invoke()代表.代表将寻找下一个要执行的命令,并呼吁Execute()上ICommand.但我不确定这是否也会导致堆栈溢出.它会导致堆栈溢出吗？

我仍然不太确定这是否是正确的方法.我只想要一个关于如何做这种事情的一般答案,因为这是我第一次写一种语言.另请告诉我使用委托是否会导致堆栈溢出.

Answer 1

我正在使用C#编写自己的编程语言,只是为了好玩.

真棒!

在ISplRuntime中添加一个名为RunNextCommand()的方法.在每个命令的Execute()方法结束时,调用RunNextCommand.

甚至在你意识到它的堆栈溢出之前,你应该意识到你的描述RunNextCommand没有按照它在锡上所说的那样做.你所描述的是什么RunRemainderOfProgram.这表明在这个设计中有些东西搞砸了.

向ISplRuntime添加委托.每次命令执行完毕后,调用()委托.委托将查找要执行的下一个命令,并在该ICommand上调用Execute().但我不确定这是否也会导致堆栈溢出.它会导致堆栈溢出吗？

我不明白为什么会这样.所以这里的想法是,RunNextCommand它的最后一个动作设置一个委托,当被调用时,它会执行下一个命令？

你在这里发明的东西叫做延续.指令的延续是"接下来会发生什么？" 目前的执行点.

我仍然不太确定这是否是正确的方法.我只想要一个关于如何做这种事情的一般答案,因为这是我第一次写一种语言.

有很多方法可以构建一个解释器,这基本上就是你在这里所做的.我会继续试验,看看哪些有效,哪些无效.

研究如何在虚拟机和实际机器中解决此问题可能会有所帮助.在这些机器中,每个指令都有一个与之相关的唯一编号; "goto"包含要运行的下一条指令的编号.有一个称为"指令指针"的特殊变量,它具有当前运行指令的编号.如果当前指令是goto,则IP被设置为goto指示的值; 如果不是,则IP递增到下一条指令,依此类推.然后主循环"查找当前IP的指令,执行它,设置新的IP,重复".

另请告诉我使用委托是否会导致堆栈溢出.

很难预测我们看不到的程序的行为,而你还没有写过.尝试一下,你会很快发现你是否已经写了一个无限的递归.

祝好运!