从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之前,在分析树上插入一个新生成的节点,这个节点表示C