UB？在我的Lexer中？[pdf]
大家好，今天我要向大家介绍的是我的Lexer，以及其中出现的UB（undefined behavior）问题。我在处理C++代码时，必须要确保我的Lexer可以正确识别C++代码中的各种语法结构，而且在处理代码时不会出现UB问题。但是，在实际开发过程中，我发现有很多UB问题是无法避免的，因此我在这里想和大家分享一下一些解决方案。
首先，为什么会出现UB问题呢？在C++语言中，UB是由标准定义的，是指程序中出现的一些非法行为，这些行为可能会引起程序运行结果的不确定性。例如，数组越界访问、未初始化的变量访问、指针越界访问等等都属于UB行为。在处理C++代码时，如果我们没有正确处理这些UB行为，就有可能导致程序的运行出现问题。
那么，在我的Lexer中，如何处理UB问题呢？首先，我们需要了解一下C++代码中可能出现的UB行为。例如，在C++代码中，有一些语句可能会造成UB，例如：
1. 对于未初始化的变量进行访问；
2. 对于指针进行解引用操作，但是指针为null；
3. 对于数组进行越界访问等等。
当我们的Lexer处理这些语句时，就需要对其中可能出现的UB行为进行处理，否则就有可能导致程序的运行出现问题。
除了正确处理UB行为以外，我们的Lexer还需要保证代码的正确性。例如，在处理C++代码时，我们需要正确识别代码中的各种“记号”（token），例如标识符、关键字、常量等等。如果我们的Lexer无法正确识别这些“记号”，就有可能导致程序的编译失败。
为了解决上述问题，我在我的Lexer中加入了一些判断语句和错误处理机制，以便在程序出现问题时及时报错。例如，在处理指针解引用操作时，我会判断指针是否为null，如果是，就会报错；在处理数组访问时，我会判断数组是否越界，如果是，就会报错。此外，在处理代码中的“记号”时，我也会加入相应的判断语句和错误处理机制，以确保代码的正确性。
最后，我想说一下，解决UB问题并不是一件容易的事情。在C++语言中，UB涉及的范围很广，涉及到的行为也很复杂。因此，我们需要不断地完善自己的Lexer，加入更多的判断语句和错误处理机制，以确保代码的正确性和稳定性。
在此，我向大家呼吁，希望大家在编写程序时，能够严格遵守C++标准，规范自己的行为，避免出现UB行为。谢谢大家的阅读！
了解更多有趣的事情：https://blog.ds3783.com/