05｜函数实现：是时候让我们的语言支持函数和返回值了

学习打卡

2. 从代码上看，在调用函数时，会将其参数列表的参数push到新的stackframe；而本地变量并没有入栈，从这个角度看，存放的位置是不同。后续本地变量如果是数组，应该是要进行压栈保存的吧？

1、first集合： function follow集合 “(“ 是则解析callsignature “{“是则解析 functionblock.

本节代码实现的栈帧，我理解是不支持全局变量的情况的，因为栈帧创建的时候只把函数实参放了进去，想跟老师确认下

parameter的follow集合应该是逗号和右括号，本地变量和参数的区别是，参数是由调用者传递的，可以有不同的传递顺序，遵循调用约定

//函数声明，由'function'关键字、函数名、函数签名和函数体构成。 functionDeclaration : 'function' Identifier callSignature '{' functionBody '}'; //函数签名，也就是参数数量和类型正确，以及函数的返回值类型正确 callSignature : '(' parameterList? ')' typeAnnotation? ; //参数列表，由1到多个参数声明构成。 parameterList : parameter (',' parameter)* ; //参数，由参数名称和可选的类型标注构成 parameter : Identifier typeAnnotation? ; //返回语句 returnStatement: 'return' expression? ';' ; 1. 在 callSignature 处，如果下一个 token 是左括号“(”，应该去调用 parseParamList() 解析参数列表。 在 parseParamList() 中，跳过左括号，如果下一个 token 是右括号“)”，说明没有参数，直接去解析函数签名中的返回值 如果不是右括号，则检查下一个 token 是否为 Identifier + “:” + 类型关键字。 所以 Identifier 、冒号、类型关键字共同构成一棵 paramter 的子树，对应的 Identifier 是 First 集，冒号和类型关键字是 Follow 集。 2. 本地变量和参数还是有区别的。本地变量的声明周期仅在作用域内，出了作用域就销毁了。而参数有值类型的和引用类型的，引用类型是会影响到作用域外部的，所以参数和本地变量还是有区别的。