使用Dynamic Arrays如何处理数组越界？

在Fortran 2003及其后续标准中，Fortran引入了Dynamic Arrays（也称为Fortran 2008的Resizable Arrays），这是为了支持数组大小的变化而设计的。它允许你在创建数组时指定初始大小，然后在运行时动态地调整大小。这种设计默认处理了数组越界的检查，当你试图访问超出当前数组大小的元素时，不会导致程序崩溃，而是会触发一个异常（如果启用的话）或者返回一个特殊的值（通常是预定义的边界值）。

以下是使用Dynamic Arrays的基本步骤，避免数组越界：

1. 定义数组时，不需要预先指定大小：

use iso_fortran_env, only: dp => real64
type(array_type), pointer :: dynamic_array(:)
allocate(dynamic_array(5)) ! 初始分配5个元素的空间

2. 当需要扩大或缩小数组时，使用`allocate`和`deallocate`：

call resize(dynamic_array, new_size) ! 动态扩容
call deallocate(dynamic_array) ! 缩小数组或释放内存

3. 访问元素时，使用`allocated`和`size`属性检查是否已分配以及当前大小：

if (allocated(dynamic_array) .and. size(dynamic_array) > index) then
   call access_element(dynamic_array, index)
else
   write(*,*) "Array not allocated or index out of range"
end if

这样，通过Dynamic Arrays，数组越界异常会在数组实际改变之前被检测到，提高了代码的健壮性。