Fortran字符串数组动态分配无法自动扩容是否符合标准？

先理清两个例子的核心差异：单个可分配延迟长度字符变量，和元素长度固定的可分配字符数组，在赋值时遵循完全不同的规则。

1. 单个可分配延迟长度字符变量的逻辑 #

你第一个例子中的str是单个可分配的延迟长度字符变量：

character(len=:), allocatable :: str
allocate(character(3) :: str)

虽然通过allocate指定了初始长度3，但由于变量本身带有allocatable属性且为延迟长度（len=:），根据Fortran 2003及以后的标准，这类变量支持赋值时自动重分配长度——当你给它赋值的字符串长度与当前长度不一致时，编译器会自动调整变量的长度以匹配右侧字符串，这就是你看到长度从3变为5的原因。

2. 可分配字符数组的逻辑 #

第二个例子的声明是：

character(len=:), allocatable :: str(:)

这里的allocatable属性是数组维度的可分配性，而非元素的长度可分配性。当你执行allocate(character(3) :: str(2))时：

• 你为数组分配了2个元素的维度
• 同时为数组的每个元素固定了长度3

此时，数组的每个元素都变成了固定长度的字符变量，不再具备“长度可分配”的属性。按照Fortran标准，对固定长度字符变量赋值时：

• 如果右侧字符串长度大于变量长度，会被截断至变量的长度
• 如果右侧字符串长度小于变量长度，会在末尾补空格

因此，当你执行str(1) = '12345'时，字符串会被截断为'123'，元素长度依然保持3，这完全符合标准规定，不是编译器的bug。

补充：如何让数组元素支持长度自动调整 #

如果希望数组的每个元素都能像单个变量一样自动调整长度，你需要使用派生类型来封装可分配长度的字符变量，示例如下：

program test
  type :: alloc_char
    character(len=:), allocatable :: c
  end type alloc_char
  type(alloc_char), allocatable :: str(:)
  
  allocate(str(2))
  ! 手动分配第一个元素的初始长度（也可以直接赋值触发自动分配）
  allocate(character(3) :: str(1)%c)
  print *, len(str(1)%c)  ! 输出3
  
  str(1)%c = '12345'
  print *, len(str(1)%c)  ! 输出5
end program

这样每个元素的c字段都是独立的可分配长度字符变量，赋值时会自动重分配长度。

内容的提问来源于stack exchange，提问作者DavidS