从0.16版本开始,Snail Language语言将函数作为First-Class Value。First-Class Value指的是:函数名和变量名之间没有区别,它们可以相互赋值。要注意的是,print既是函数名又是关键字,所以print可以作为右值,但是不能作为左值。现在一个变量可以表示为:整数、浮点数、字符串、数组、函数。由于是所有的变量都是动态类型,所以赋值时不需要在意当前的类型。
First-Class Value实现原理:
- Value是Snail Language中所有类型的数据结构,在Value类型中支持函数类型FUNCTION。
- 将函数定义时的函数名放入全局变量中,变量的类型为FUNCTION。
- 当调用函数时,查看当前变量的类型是否为FUNCTION。
其他功能:
除了实现First-Class Value,0.16版本还实现了:
- 用__FUNCTION__表示当前的函数名。__FUNCTION__是一个全局变量,每次调用函数的时候,将函数名保存到__FUNCTION__中。用途:debug时候可以打印函数log
- 每个函数都可以指定一个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 = add add = 100 myprint(f(10, 10), " Type=", f.Type(), "\n") print(add, " Type=", add.Type(), "\n") add = f print(add(1, 2), " Type=", add.Type(),"\n")
结果:
f的结果为: 20 Type=function 100 Type=integer add的结果为: 3 Type=function
软件下载:
反馈和交流:
isurface@qq.com