Articles on ykiko's blog
·
为什么说 C/C++ 编译器不保留元信息？
💡
原文中文，约6300字，阅读约需15分钟。
📝
内容提要
本文讨论了元信息在编程中的重要性，特别是在 Python 和 C++ 中的实现。通过示例代码展示了动态修改对象属性的方法，并解释了 C/C++ 编译器如何处理变量、函数和结构体的信息。元信息在调试和序列化中非常有用，可以通过抽象语法树（AST）获取这些信息，以便在编译期和运行期使用。
🎯
关键要点
- 元信息是指程序中关于结构、数据和类型的附加信息，虽然不直接参与程序运行，但在调试和序列化中非常有用。
- Python 中可以使用内置的 setattr 函数动态修改对象属性，而 C++ 中需要手动实现类似功能，通过字段偏移量和大小来修改结构体成员。
- C/C++ 编译器在 debug 模式下可能保留部分元信息，但在 release 模式下通常不保留，以减小二进制文件的大小。
- 变量声明并不直接对应二进制表示，编译器通过符号表将变量名与地址映射，内置运算符与 CPU 指令直接对应。
- C 语言中的符号名、类型名等信息在编译时会被替换为数字和地址，缺少这些信息对程序运行没有影响。
- 在调试和序列化时需要元信息，例如变量名和字段名，以便在运行期区分二进制内容的原始类型。
- 抽象语法树（AST）可以用来获取源代码中的元信息，C++ 可以通过 clang 工具获取 AST，Python 也有内置的 ast 模块。
- 元信息可以在编译期和运行期存储，以便进行更灵活的操作和代码生成。
❓
延伸问答
什么是元信息，它在编程中有什么作用？
元信息是程序中关于结构、数据和类型的附加信息，虽然不直接参与程序运行，但在调试和序列化中非常有用。
C/C++ 编译器在不同模式下如何处理元信息？
在 debug 模式下，C/C++ 编译器可能保留部分元信息，而在 release 模式下通常不保留，以减小二进制文件的大小。
如何在 C++ 中动态修改对象属性？
在 C++ 中，可以通过手动实现类似 Python 的 setattr 函数，使用字段偏移量和大小来修改结构体成员。
为什么 C 语言中的符号名和类型名在编译时会被替换？
C 语言中的符号名和类型名在编译时会被替换为数字和地址，因为这些信息对程序运行没有影响，保留会增加二进制文件的大小。
如何获取源代码中的元信息？
可以通过抽象语法树（AST）获取源代码中的元信息，C++ 可以使用 clang 工具，Python 则有内置的 ast 模块。
在调试和序列化时，元信息有哪些具体应用？
在调试时，元信息帮助识别变量名和函数名；在序列化时，元信息用于确定结构体的字段名。
➡️
