C++博客-λ-calculus-随笔分类-Vczh Free Script

Vczh Free Script 2.0 最新.NET接口完成！

陈梓瀚(vczh) — Fri, 30 May 2008 03:57:00 GMT

摘要: 依然是上一篇文章的程序，换了C#写。在Vczh Free Script 2.0的接口里面，我力求让C++和.NET两种语言的接口都趋于一致。目前达到了这个目标，C#仅仅比C++多了两个辅助函数。插件那一部分是相当难写啊。Vczh Free Script 2.0的C++接口允许插件和脚本交替调用。脚本引擎是本地代码，做到跟C... 阅读全文

陈梓瀚(vczh) 2008-05-30 11:57 发表评论

Vczh Free Script 2.0类插件完成

陈梓瀚(vczh) — Thu, 29 May 2008 06:50:00 GMT

今天做好了Vczh Free Script 2.0的一个新插件，这个插件可以直接插入class并接管成员调用、构造函数和析构函数等调用。

一、在C++中插入一个类VczhClass和函数write、writeln、read和collect：

  1 class VczhClass : public FsClass
  2 {
  3 protected:
  4 public:
  5     VczhClass(FsPlugin* Plugin):FsClass(Plugin,L"interpreter_debug")
  6     {
  7     }
  8
  9     FsePluginInvoke CallConstructor(int ClassID , FsObject* Parameters , int ParamCount , FsObject& ErrorMessage , FsObject& Result)
10     {
11         GetConsole()->Write(L"VczhClass is creating.\r\n");
12         AddExternalMember(ClassID,L"MethodA",0);
13         AddExternalMember(ClassID,L"MethodB",1);
14         AddExternalMember(ClassID,L"MethodC",2);
15         return fsSuccess;
16     }
17
18     FsePluginInvoke CallMember(int ClassID , int ExternalMemberID , FsObject* Parameters , int ParamCount , FsObject& ErrorMessage , FsObject& Result)
19     {
20         switch(GetMemberID(ExternalMemberID))
21         {
22         case 0:
23             GetConsole()->Write(L"VczhClass::MethodA is invoking.\r\n");
24             break;
25         case 1:
26             GetConsole()->Write(L"VczhClass::MethodB is invoking.\r\n");
27             break;
28         case 2:
29             GetConsole()->Write(L"VczhClass::MethodC is invoking.\r\n");
30             break;
31         }
32         return fsSuccess;
33     }
34
35     void CallDestructor(int ClassID)
36     {
37         GetConsole()->Write(L"VczhClass is destroying.\r\n");
38     }
39 };
40
41 class VczhConsole : public FsPlugin
42 {
43 protected:
44     FsObject            FWrite;
45     FsObject            FWriteLine;
46     FsObject            FRead;
47     FsObject            FCollect;
48     VczhClass*            FVczhClass;
49
50     VUnicodeString Transform(const FsObject& Value)
51     {
52         return Value.GetReadableString().w_str();
53     }
54 public:
55     VczhConsole(FsEngine* Engine , VUnicodeString CodePath):FsPlugin(Engine,L"interpreter")
56     {
57         FWrite        =Engine->CreateExternalResource();
58         FWriteLine    =Engine->CreateExternalResource();
59         FRead        =Engine->CreateExternalResource();
60         FCollect    =Engine->CreateExternalResource();
61
62         GetEnvironment().SetFixedVariable(L"write",FWrite);
63         GetEnvironment().SetFixedVariable(L"writeln",FWriteLine);
64         GetEnvironment().SetFixedVariable(L"read",FRead);
65         GetEnvironment().SetFixedVariable(L"collect",FCollect);
66         GetEnvironment().SetVariable(L"apppath",Engine->CreateString(CodePath.Buffer()));
67         GetEnvironment().SetFixedVariable(L"vmpath",Engine->CreateString(GetConsole()->GetAppPath().Buffer()));
68
69 #ifdef _DEBUG
70         FVczhClass=new VczhClass(this);
71         GetEnvironment().SetFixedVariable(L"VczhClass",FVczhClass->GetCtor());
72 #else
73         FVczhClass=0;
74 #endif
75     }
76
77     ~VczhConsole()
78     {
79         if(FVczhClass)
80         {
81             delete FVczhClass;
82         }
83     }
84
85     FsePluginInvoke Invoke(int ExternalID , FsObject* Parameters , int ParamCount , FsObject& ErrorMessage , FsObject& Result)
86     {
87         if(ExternalID==FWrite.GetExternalID())
88         {
89             for(VInt i=0;i<ParamCount;i++)
90             {
91                 GetConsole()->Write(Transform(Parameters[i]));
92             }
93             return fsSuccess;
94         }
95         else if(ExternalID==FWriteLine.GetExternalID())
96         {
97             for(VInt i=0;i<ParamCount;i++)
98             {
99                 GetConsole()->Write(Transform(Parameters[i]));
100             }
101             GetConsole()->Write(L"\r\n");
102             return fsSuccess;
103         }
104         else if(ExternalID==FRead.GetExternalID())
105         {
106             for(VInt i=0;i<ParamCount;i++)
107             {
108                 GetConsole()->Write(Transform(Parameters[i]));
109             }
110             VUnicodeString Read;
111             GetConsole()->Read(Read);
112             Result=GetOwnedEngine()->CreateString(Read.Buffer());
113             return fsSuccess;
114         }
115         else if(ExternalID==FCollect.GetExternalID())
116         {
117             int* Buffer=0;
118             int Count=GetOwnedEngine()->CollectGarbage(Buffer);
119             FsReleaseBuffer(Buffer);
120             return fsSuccess;
121         }
122         else
123         {
124             return fsGiveUp;
125         }
126     }
127 };

二、书写测试用的脚本代码：

1 func()
2 {
3     a=VczhClass.new();
4     a.MethodA();
5     a.MethodB();
6     a.MethodC();
7 }();
8 collect();

这里构造了一个VczhClass并调用了三个成员函数。结束之后，这种写法保证a再也不可被访问到，于是调用collect进行垃圾收集（垃圾收集是自动的，但是要触发条件很难，所以给了个函数进行强制收集）的时候就可以把a手机掉。

三、运行结果：

1 VczhClass is creating.
2 VczhClass::MethodA is invoking.
3 VczhClass::MethodB is invoking.
4 VczhClass::MethodC is invoking.
5 VczhClass is destroying.

四、如果a的成员被保存起来了怎么办呢？

1 b=null;
2 func()
3 {
4     a=VczhClass.new();
5     a.MethodA();
6     a.MethodB();
7     a.MethodC();
8     b=a.constructor;
9 }();
10 collect();

五、结果是因为b还能继续使用，所以a就不会销毁（垃圾收集器解决了这个问题）：

1 VczhClass is creating.
2 VczhClass::MethodA is invoking.
3 VczhClass::MethodB is invoking.
4 VczhClass::MethodC is invoking.

到了这里，一个直接往脚本中插入类的演示就结束了。接下来就是对这个插件进行测试，并且在相应的.NET接口上添加这样的支持。

陈梓瀚(vczh) 2008-05-29 14:50 发表评论

Vczh Free Script 2.0的Syngram库完成

陈梓瀚(vczh) — Mon, 19 May 2008 08:56:00 GMT

摘要: 今天在测试封装在FreeScript内的正则表达式接口的时候发现了一个垃圾收集器的Bug，不过很容易就看出来了，于是立刻fix掉。出错的原因在于垃圾收集的时候只标记了运算堆栈的内容，忘了标记调用堆栈的内容。

这个新的Syngram包含了三个工具，分别是正则表达式、词法分析器和语法分析器。

正则表达式分纯、安全和贪婪三种。纯正则表达式仅仅用于匹配，速度非常快（以前的测试表明一秒钟可以匹配44万次），但是没有预查和捕获等功能。安全和贪婪两种正则表达式则是通过不同的搜索方法来匹配字符串的内容，虽然慢了一点，不过有了预查和捕获等功能。之前的文章有提到过关于一个少回溯多捕获的测试用例下的速度。安全分析法回溯将会占用很多时间，而贪婪分析法则回溯基本是没什么消耗的。

词法分析器则可以输入不同的正则表达式，然后将字符串切割成匹配和不匹配的段落，并告诉你匹配的部分实际上是匹配了哪一条正则表达式。这个功能在分析很多字符串的时候都是相当好用的。

至于语法分析器，则是实现了一个上下文无关文法库。语法阅读全文

陈梓瀚(vczh) 2008-05-19 16:56 发表评论

今天使用新的feature为Vczh Free Script 2.0写了一个collection库

陈梓瀚(vczh) — Sun, 18 May 2008 14:42:00 GMT

摘要: 自从可以重载除了赋值以外的所有操作符以后，我突然发现原来【将自己写的容器跟foreach语句结合】这个目标自动实现了。这次写了一些东西，先贴个使用的代码。 Collection库里面的所有容器都实现了操作符重载，Set容器更是重载了+、-、*、>、<、>=、<=、==和!=。所有容器都重载了#（用于获... 阅读全文

陈梓瀚(vczh) 2008-05-18 22:42 发表评论

Vczh Free Script 2.0中namespace和大部分操作符重载完成！

陈梓瀚(vczh) — Mon, 12 May 2008 05:37:00 GMT

摘要: 今天上完课回来继续把昨天晚上剩下的using字句完成。使用Syngram写编译器真是舒服啊，直接在代码里面加两条推导式就完成了。昨天发现了InsertEnv指令的bug以后，改过来了。不过InsertEnv不能用在using身上，只好另外写了一个UsingEnv指令，把环境以及上游的链表而不是多个环境插进当前的环境中。这里展示了class和namespace是如何通过闭包（函数）来实现的，以及他们的构造过程。

class以及namespace都是通过在return的跳转目标后添加指令而保证return结束但是不修改class和namespace表达式的返回值。

class函数的参数是父类的构造子，class函数在所有代码之前首先构造好一个父类的链表，然后通过InsertEnv将这个表引用到自己身上，从而实现了正确的scope。然后让constructor为空函数。ClassName.new()的时候首先运行class函数（使用callctor而不是invoke来自动找到父类并添加到参数中），然后复制堆栈，获取construct 阅读全文

陈梓瀚(vczh) 2008-05-12 13:37 发表评论

今天发现了Vczh Free Script 2.0的一个bug

陈梓瀚(vczh) — Sun, 11 May 2008 18:07:00 GMT

摘要: 今天抓到了一个隐藏了3个月的bug。这个bug以前一直没有被找到，因为以前写的用于测试脚本的代码都没有出现类成员函数使用非全局的外部对象的情况。Vampire.Kiss用我的Vczh Free Script代替PHP开发了一个网站，过程中也向我提了不少要求。其中有一套就是想在脚本中加入namespace。其实这是相当合理的，只是我没想到脚本第一次应用就会被用来开发库。因此今晚就加上了namespace。

实际上在目前的结构中添加namespace并不复杂，因为namespace也可以用闭包来模拟。其实闭包不仅仅是函数，而是一段带了上下文的指令表。因为namespace本身也是用于控制符号在上下文中解释方法工具，因此使用闭包来做也就是十分合适的了。想到以前是用闭包模拟class的时候，曾经实现了一个把一堆环境链接到上下文中的指令。类的继承实际上也是控制符号在类成员函数的符号在上下文解释方法的工具，因此我使用了如下方法来让闭包可以顺利地模拟class的继承：阅读全文

陈梓瀚(vczh) 2008-05-12 02:07 发表评论