摘自知乎

强、弱类型
强类型strongly typed: 如果一种语言的所有程序都是well behaved——即不可能出现forbidden behaviors,则该语言为strongly typed。否则为weakly typed。比如C语言的缓冲区溢出,属于trapped errors,即属于forbidden behaviors..故C是弱类型。
动态、静态类型
- 静态类型 statically: 如果在编译时拒绝ill behaved程序,则是statically typed;
- 动态类型dynamiclly: 如果在运行时拒绝ill behaviors, 则是dynamiclly typed。
本文介绍了编程语言中类型系统的两种主要分类:强类型与弱类型、静态类型与动态类型,并通过具体的例子解释了每种类型的含义。
416

被折叠的 条评论
为什么被折叠?



