必须构建DFA实现词法分析：一、switch-case状态循环，性能高；二、函数指针表驱动，易维护；三、std::map配置化，支持动态扩展；四、模板元编程编译期生成，零运行时开销。
如果您正在开发一个C++程序，需要将源代码字符串按规则切分为Token序列，则必须构建一个确定性有限状态机（DFA）来识别关键字、标识符、数字字面量、运算符、分隔符等基本词法单元。以下是实现该词法分析器状态机跳转逻辑与Token分词的多种可行方案：
一、基于switch-case的状态驱动循环实现
该方案使用一个整型变量表示当前状态，通过while循环读取输入字符，并在每个状态内用switch-case判断下一字符类型，决定跳转目标状态或生成Token。状态转移逻辑集中、无函数调用开销，适合嵌入式或性能敏感场景。
1、定义枚举类型State，包含INIT、IN_ID、IN_NUM、IN_COMMENT、IN_STRING等核心状态；
2、声明char ch变量用于逐个读取输入流中的字符；
3、初始化state = INIT，进入while循环，每次调用get_next_char()获取ch；
4、在INIT状态下，根据ch值匹配空格、换行、字母、数字、引号、斜杠等，分别跳转至SKIP_WS、IN_ID、IN_NUM、IN_STRING、IN_SLASH；
5、在IN_ID状态下，若ch为字母或数字则保持IN_ID，否则回退一个字符并输出IDENTIFIER Token；
6、在IN_SLASH状态下，若下一个字符为*则跳转IN_BLOCK_COMMENT，若为/则跳转IN_LINE_COMMENT，否则输出SLASH Token；
7、所有Token构造后存入std::vector
8、遇到非法字符时设置state = ERROR，记录错误位置并终止解析；
二、基于函数指针数组的状态表驱动实现
该方案将每个状态抽象为一个函数指针，状态转移表以二维数组形式组织：table[state][char_class] = next_state_or_action_function，其中char_class由字符映射为0~7的类别编号（如LETTER、DIGIT、SLASH、QUOTE等），提升可维护性与可测试性。
1、定义enum CharClass { CC_EOF, CC_SPACE, CC_LETTER, CC_DIGIT, CC_SLASH, CC_QUOTE, CC_PLUS, CC_OTHER }；
2、声明typedef State (*StateFunc)(Lexer&); 并为每个状态编写独立函数，如state_init、state_in_id、state_in_num；
3、初始化函数指针数组state_table[STATE_COUNT][CC_COUNT]，例如state_table[INIT][CC_LETTER] = state_in_id；
4、Lexer类中维护current_state成员，在循环中调用current_state(*this)，由函数内部决定是否emit_token及更新current_state；
5、每个状态函数返回下一个State值，若需生成Token则调用emit()方法将当前lexeme封装为Token对象并push_back；
6、对双字符运算符（如==、!=、
7、字符串字面量处理中，当遇到未闭合引号时触发ERROR_UNCLOSED_STRING错误码并停止解析；
三、基于std::map的状态转移图配置实现
该方案将状态转移关系外部化为键值对集合，支持运行时加载转移规则，便于调试和动态扩展语法，适用于教学演示或原型验证环境。
1、定义struct TransitionKey { State from; char c; }; 并重载operator
2、声明std::map
3、在构造函数中批量插入规则，例如{ {INIT, 'a'}, {IN_ID, std::nullopt} }、{ {IN_ID, '0'}, {IN_ID, std::nullopt} }、{ {IN_ID, '+'}, {INIT, IDENTIFIER} }；
4、主循环中构造TransitionKey key{current_state, ch}，查找map，若存在则更新current_state并检查是否需emit_token；
5、若key未命中且current_state != INIT，则尝试匹配默认转移项{current_state, '\0'}；
6、所有数字字面量解析完成后，须校验是否含前导零且长度大于1，若是则标记为ERROR_INVALID_NUMBER_LITERAL；
7、注释内容不参与Token输出，但需正确跳过换行符以维持line计数器准确；
四、基于模板元编程的编译期状态机生成实现
该方案利用C++17 constexpr与类模板递归展开，在编译期构造完整状态转移图，消除运行时分支预测失败惩罚，生成零开销抽象的词法分析器，适用于高实时性要求系统。
1、定义template
2、每个handle函数返回类型为std::variant
3、Lexer::next_token()方法声明为constexpr，整个解析流程可在编译期完成（针对字面量字符串）；
4、使用std::array<:array>, STATE_COUNT>存储转移表，下标直接为ASCII码值；
5、关键字识别采用静态哈希表std::array
6、当输入为"int"时，状态机在IN_ID路径中比对缓冲区内容，命中keyword_map['i'] == INT则输出INT Token而非IDENTIFIER；
7、所有非法转移均导向STATE_DEAD，其handle函数恒返回Error
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
