开发自己的编程语言（六）—— First-Class Value

从0.16版本开始，Snail Language语言将函数作为First-Class Value。First-Class Value指的是：函数名和变量名之间没有区别，它们可以相互赋值。要注意的是，print既是函数名又是关键字，所以print可以作为右值，但是不能作为左值。现在一个变量可以表示为：整数、浮点数、字符串、数组、函数。由于是所有的变量都是动态类型，所以赋值时不需要在意当前的类型。

First-Class Value实现原理：

1. Value是Snail Language中所有类型的数据结构，在Value类型中支持函数类型FUNCTION。
2. 将函数定义时的函数名放入全局变量中，变量的类型为FUNCTION。
3. 当调用函数时，查看当前变量的类型是否为FUNCTION。

其他功能：

除了实现First-Class Value，0.16版本还实现了：

1. 用__FUNCTION__表示当前的函数名。__FUNCTION__是一个全局变量，每次调用函数的时候，将函数名保存到__FUNCTION__中。用途：debug时候可以打印函数log
2. 每个函数都可以指定一个Action函数，在return之前脚本自动调用。实现过程：当执行return之前，在分析树上插入一个新生成的节点，这个节点表示Call Action所指的函数，接着调用这个节点。最后调用return。用途：希望在一个函数返回时做一些处理，通过使用Action，可以不用在每个return前都增加处理代码。

例子：

myprint = print //print的别名funcname = ""func add(a, b){    funcname = __FUNCTION__     return a + b}func test(){    print(funcname,"的结果为: ")}add.Action = test  //在add return之前，调用test函数f = addadd = 100myprint(f(10, 10), "  Type=", f.Type(), "\n")print(add, "  Type=", add.Type(), "\n")add = fprint(add(1, 2), "  Type=", add.Type(),"\n")

结果：

f的结果为: 20  Type=function100  Type=integeradd的结果为: 3  Type=function

软件下载：

http://download.csdn.net/detail/u012813593/6848621

反馈和交流：

[e-mail]