自制编程语言(7)---语法分析---变量声明赋值

ARTELE

于 2020-05-11 21:32:51 发布

阅读量437

点赞数

CC 4.0 BY-SA版权

分类专栏：自制编程语言编译原理文章标签：自制编程语言

本文链接：https://blog.youkuaiyun.com/ARTELE/article/details/106062380

编译原理同时被 2 个专栏收录

16 篇文章

订阅专栏

自制编程语言

14 篇文章

订阅专栏

本文探讨了在编程中如何实现变量声明后直接赋值的功能，介绍了声明赋值语句的语法样式，如'int a=10;'，并详细解析了语法实现过程，包括变量声明语句类的定义及语法分析步骤的调整。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

0.简介

前面有了变量声明，我希望还能支持变量声明后直接赋值的操作。

1.声明赋值

其语法样式如下

int a = 10;

2.语法实现

//变量声明语句
class VariableDeclareStatement : public Statement
{
public:
	VariableDeclareStatement(int _line, int _column) :Statement(_line, _column) {}
	//类型
	Token type;
	//类型名字
	std::string typeName;
	//标识符表达式
	//std::string identName;
	std::shared_ptr<Expression> ident;
	//表达式解析
	virtual operand evaluation(std::vector<Quaternion>& context, Memory& memory, NameTable& table) { return operand(); }
	~VariableDeclareStatement() {}
};

这里将原来的标识符的字符串换成了表达式，表达式可以直接兼容赋值语句。

同时语法分析的步骤也有如下的变化

std::shared_ptr<VariableDeclareStatement> Parser::variableDeclare()
{
	...
	result->ident = parseExpression();
	if(typeid(*(result->ident)) != typeid(IdentifierExpression) && typeid(*(result->ident)) != typeid(AssignExpression))
		error(BAD_IDENT,lines.front(),columns.front());
	...
}

3.源码

这里