从程序运行或者二进制的角度，或者说“运行时”的角度来看，静态类型就是 没有类型。因为程序实际上不在运行时保存任何的静态类型。这也是静态类型又被称为”编译时类型“的原因，因为一旦经过编译，静态类型系统就基本上消失殆尽了。为什么又说基本上了呢，因为有时候，为了实现debug等功能，需要在可执行的二进制文件中（或者.lib .a .dll .so）文件中保存类型的信息，还有一些符号表信息。这也是编译为"release"版本的build目录要比debug版本小的原因。
既然静态类型不在运行时保存，那它是如何在编译中帮助编译器或者程序员识别数据类型的呢？
要回答这个问题，让我们来考察一下世界上最伟大的语言之一，也是最伟大的仅支持静态类型的语言之一，众神之父 — C语言。
————————————————
版权声明：本文为CSDN博主「SAD_DOG」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/weixin_40085040/article/details/107453367
