源代码类型安全问题

一个源程序执行的全过程：

step１：当然就是在编辑窗口（用高级语言）输入你的源程序　　（f．c）

step２：编译你的源程序，编译成计算机能够识别的２进制形式的目标代码（f.o）

step３：将上面的目标代码，输入内存与系统提供的库函数和其他一些目标代码相连接，连接成可以执行的exe文件　f.exe

step４：再将可以执行的exe文件调入内存运行

类型安全又称为强类型，是指不可以将原始类型强制的转换成另外一个目标类型，从而对这个转换后的原始类型进行目标类型上定义的操作，它是语言的特性，而不是程序的特性。如果将只能将类型t的变量值只能赋予给类型t或者其子类型，那么就是类型安全的。

通俗点讲，类型安全就是指变量类型定义后，不能再转换到其他类型（非本类型或非本类型的子类型）。

这里还要提一下静态类型和动态类型，静、动态类型分类是根据确定类型的时间，和强弱类型分类不一样（根据能否进行不同类型转换分类）。静态类型在编译的时候就确定了变量的类型，而动态类型是在运行时候才确定的。

类型安全的语言可以是静态类型也可以是动态类型。类型安全可以静态方式实施，及早在编译时期就捕捉到潜藏的错误；或者以动态方式，在执行时期关联类型的资讯，并在必要时检测即将发生的错误。类型安全是编程语言的性质，而不是程式所自有的。例如，有可能以类型不安全的语言，编写出类型安全的程式。