C语言研究与TCC编译验证：不解的小星星现象

本篇文档主要探讨了C语言的研究与实践，特别是使用TCC（Tiny C Compiler）进行编译和链接的过程。作者李智宇在2017年6月9日的报告中分享了他在学习C语言时对基础工具的使用和理解。 首先，作者介绍了C语言的基本编译流程，指出TCC.exe负责将源代码（如hello.c）编译成对象文件（hello.obj），这是通过执行`tcc hello.c`命令实现的。这个步骤验证了书上关于编译器将源代码转换为中间形式的内容。 接下来，作者进行了自我验证，验证一中，他清空了中间文件（如*.lib和*.obj），仅保留TCC.exe，并尝试使用它来编译，结果显示虽然没有依赖于这些中间文件，但仍然能生成hello.exe文件，表明编译器能独立完成部分工作。然而，运行时出现“一闪一闪亮晶晶”的问题，表明可能有未定义的符号，比如printf函数。 验证二中，作者进一步尝试仅使用tlink.exe（可能是指链接器而非实际的tlink命令），在缺少常规的中间文件支持下，依然能生成hello.exe，但出现了“undefinedsymbol‘_PRINTF'inmoduleHELLO.C”的错误，说明链接阶段需要依赖于这些外部符号的定义。这表明在小型项目中，map文件（用于记录符号到内存映射的信息）虽然在大型工程中有重要意义，但在这种情况下却带来了问题。 验证三中，作者添加了缺失的中间文件后，链接成功生成了hello.exe，但同时也产生了map文件，这是链接器生成的辅助文件，用于分析可执行文件的内部结构。然而，问题仍未解决，说明map文件不能直接解决链接过程中遇到的未定义符号问题。 这份报告展示了在C语言编程中，虽然TCC.exe和tlink.exe能够处理基本的编译和链接任务，但大型项目的链接过程更为复杂，涉及到符号查找、依赖管理和调试工具的使用，如map文件的生成和解析。理解这些概念有助于提高开发效率和解决问题的能力。