弱类型、强类型、动态类型、静态类型

知乎专栏 博客 (下面是我参考上面两个链接内容做的总结，不一定准确，请参考原链接中的回答） 动态强类型：在运行的时候能够排除所有定义的Forbidden的行为 静态强类型：在编译的时候能够排除所有的Forbidden的行为（报错，不管是trapped还是untrapped） 静态弱类型：在编译的时候进行检查，排除可能出现的forbidden行为，既有可能是trapped，比如缓冲区溢出，也有可能是

>>阅读原文<<