20170609_c语言研究一_李智宇1

根据提供的文档内容，我们可以总结和深入探讨以下几个关键的知识点： ### 1. C语言编译与链接过程 #### 1.1 编译过程 - **TCC.EXE**: 这是一个轻量级的C语言编译器，用于将源代码（如`hello.c`）编译成目标文件（如`hello.obj`）。在这个过程中，编译器会检查语法错误、进行类型检查等操作，并将源代码转换为机器码。 - **生成OBJ文件**: 在文档中的第一个验证步骤中，通过命令`tcc hello.c`成功生成了`hello.obj`文件。这表明源代码已经通过了编译阶段，生成了可以被链接器处理的目标文件。 #### 1.2 链接过程 - **TLINK**: 这是链接器，用于将多个目标文件和库文件链接成一个可执行文件。在这个过程中，链接器会解析符号引用、分配内存地址等。 - **生成EXE文件**: 在文档的第二个验证步骤中，尝试仅使用`TLINK`来链接目标文件。然而，直接运行`TLINK`导致了可执行文件出现问题（即“一闪一闪亮晶晶”的现象），说明缺少必要的库文件或参数配置。 ### 2. 链接时的问题及解决方法 #### 2.1 链接失败的原因 - **Undefined Symbol**: 文档中提到的“undefined symbol '_PRINTF' in module HELLO.C”错误，意味着编译器未能找到`printf`函数的定义。这是因为链接阶段缺少必要的库文件，例如包含`printf`函数定义的标准库文件。 - **Hello.map文件**: 当链接器成功链接所有必要的文件时，有时会生成一个`.map`文件，用于记录可执行文件中符号的内存布局。这个文件对于大型项目尤其有用，可以帮助开发者了解程序中各个部分的内存使用情况。 #### 2.2 解决方案 - **TCC调用TLINK**: 文档中提到，`TCC.EXE`在编译完成后会调用`TLINK`来进行链接。这意味着`TCC.EXE`不仅负责编译，还负责配置链接器所需的参数和库文件路径。 - **正确配置库文件**: 为了成功链接并生成可执行文件，必须确保链接器能够访问到所有必需的库文件。这通常是通过指定正确的库文件路径或使用编译器/链接器的选项来实现的。 ### 3. 实验总结与反思 #### 3.1 实验过程 - **验证过程**: 文档中的实验分为三个验证步骤，每个步骤都旨在验证编译与链接过程的不同方面。通过这些步骤，我们不仅理解了编译和链接的基本概念，还学会了如何调试常见的编译和链接错误。 #### 3.2 反思 - **实验方法**: 文档中提出了一个问题：“为什么会这样呢？是我的验证方式错误吗？还是事实本就是这样呢？”这个问题引出了对实验设计和验证方法的反思。在实际编程实践中，这种反思是非常重要的，它帮助我们更好地理解问题的本质，并学会如何更有效地解决问题。 - **学习体验**: 通过这次实验，可以深刻体会到编程不仅仅是一门技术，也是一种思维训练的过程。通过不断地试验、调试和反思，可以提高解决问题的能力。 文档中的实验不仅展示了C语言编译和链接的基本流程，还提供了一个很好的学习案例，让我们理解了如何通过实验和调试来解决问题。这对于初学者来说是非常宝贵的实践经验和教训。