类型安全与不安全演示

Posted 2022-05-21 howard2005

文章目录

• 一、类型安全的含义
• 二、类型安全与不安全的演示
• • （一）C/C++语言允许数组越界
  • （二）Java不允许数组越界

一、类型安全的含义

• 一般来说，一门语言只要保证类型安全，就可以说它是一门安全的语言。简单来说，类型安全是指类型系统可以保证程序的行为是意义明确、不出错的。像C/C++语言的类型系统就不是类型安全的，因为它们并没有对无意义的行为进行约束。

二、类型安全与不安全的演示

（一）C/C++语言允许数组越界

• 一个最简单的例子就是数组越界，在C/C++语言中并不对其做任何检查，导致发生了语言规范规定之外的行为，也就是未定义行为（Undefined Behavior）。而这些未定义行为恰恰是漏洞的温床。所以，像C/C++这种语言就是类型不安全的语言。
  
• 定义的数组arr长度为5，合法的数组元素应该是arr[0]、arr[1]、arr[2]、arr[3]、arr[4]，但是C程序竟然可以对越界的数组元素arr[10]进行操作，必然存在不安全的隐患。

（二）Java不允许数组越界

• 定义的数组arr长度为5，访问越界的数组元素arr[10]，运行时抛出ArrayIndexOutOfBoundsException异常。
  
• 数组下标越界异常，只有在运行时才抛出，编译期是无法捕获的
  

创作打卡挑战赛 赢取流量/现金/CSDN周边激励大奖