词法分析器（Lexer）是编译器的第一个阶段，其主要任务是将源代码的字符流转换成有意义的记号流（tokens），这些记号是编译器在后续阶段中使用的基本单位。在C/C++中，词法分析器识别的记号包括关键字、标识符、常量、运算符、和分隔符等。

以下是关于C/C++词法分析器的一些关键点：

1. 输入输出：

   • 输入：字符流，通常是从源代码文件读取的字符。
   • 输出：记号流，例如关键字int、标识符var_name、运算符+等等。

2. 记号定义：

   • 关键字：如int、return、if等。
   • 标识符：变量、函数名等用户定义的符号。
   • 常量：整数、浮点数、字符串等字面量。
   • 运算符：如+、-、*、/。
   • 分隔符：如{、}、;。

3. 处理过程：

   • 读取字符：字符流逐字符地读取。
   • 模式匹配：应用正则表达式或有限自动机来识别不同的模式。
   • 忽略空白和注释：空白字符和注释通常对语义没有影响，词法分析器会跳过这些内容。

4. 实现技术：

   • 有限状态自动机（Finite State Machine, FSM）：通过状态转换图来识别不同的记号。
   • 正则表达式（Regular Expressions）：定义不同类别的记号模式。
   • 工具支持：
     • Lex/Flex：常用的词法分析器生成工具，通过定义模式来自动生成词法分析器的C/C++代码。

5. 错误处理：

   • 词法错误通常是非法字符或不完整的记号，词法分析器应尽早检测并报告这些错误。
   • 在多行注释缺少结尾或字符串字面量缺少结束引号时，也会导致错误。

一个简单的词法分析器示例（仅为演示目的，实际项目中更复杂）：

#include <stdio.h>  
#include <ctype.h>  
void lexAnalysis(const char *input) {  
    int i = 0;  
    char current;  
    while ((current = input[i]) != '\0') {  
        if (isspace(current)) {  
            i++;  
            continue;  
        }  
        if (isdigit(current)) {  
            printf("Number: ");  
            while (isdigit(input[i])) {  
                printf("%c", input[i]);  
                i++;  
            }  
            printf("\n");  
        } else if (isalpha(current) || current == '_') {  
            printf("Identifier: ");  
            while (isalnum(input[i]) || input[i] == '_') {  
                printf("%c", input[i]);  
                i++;  
            }  
            printf("\n");  
        } else {  
            printf("Symbol: %c\n", current);  
            i++;  
        }  
    }  
}  
int main() {  
    const char *sourceCode = "int main() { int a = 10; }";  
    lexAnalysis(sourceCode);  
    return 0;  
}  

这个简单的代码演示了如何从给定的源代码字符串中识别数字和标识符。实际上，词法分析器更复杂，需要处理更多的边界情况和语法细节。使用工具（比如Flex）自动生成词法分析器可以显著减少实现复杂度。