Fortran含指针/可分配成员派生类型参数相关技术咨询

问题背景 #

我定义了一个包含指针组件的派生类型：

type  Tmy
  real, dimension(:), pointer :: vals
  integer :: nVals 
end type Tmy

为给子程序传递intent(in)的缺省值，我创建了该类型的参数：

type (Tmy), parameter, public :: my_missing = Tmy(null(), 0)

这段代码可通过GNU Fortran 9.4.0（Spack GCC）正常编译，但引入该参数后，在另一个仅声明该类型变量、未引用此参数的模块中触发大量奇怪错误。第一个错误出现在带默认初始化的指针声明处：

550 |     logical, dimension(:,:), pointer :: ifValid => null()   
          |                                                         1
 Error: Cannot change attributes of USE-associated symbol null at (1)

后续还伴随大量类似属性错误和结构体成员缺失的报错，注释掉该参数声明后代码可正常编译运行。

疑问解答 #

1. 为何未引用参数的模块会报错？是编译器bug吗？ #

这大概率是gfortran的编译器bug。my_missing名称唯一，且使用模块并未引用该参数，正常情况下不应影响null()的属性解析。结合仅特定机器复现、不同gfortran版本均出现的现象，可能是特定编译环境（如Spack构建的GCC配置问题、系统库冲突）触发了编译器的符号解析异常。

2. Fortran中定义此类参数是否为有效实践？ #

是有效的实践，但有明确前提：

• 包含指针/可分配组件的派生类型参数，其组件必须处于未关联/未分配状态（比如用null()初始化指针，可分配组件留空）——因为Fortran标准要求参数的组件不能是已关联的指针或已分配的可分配对象。
• 这类参数常用于定义"缺省值"或"占位符"，比如给子程序的intent(in)参数提供默认值，避免重复编写初始化逻辑。

3. 将该参数赋值给已分配vals（可分配组件）的结构体，会产生什么效果？ #

如果vals是可分配组件，把my_missing（其vals未分配）赋值给已分配的结构体变量时：

• 结构体的nVals会被覆盖为0；
• 原已分配的vals会被自动释放，随后变为未分配状态——因为Fortran中赋值可分配组件时，若右侧是未分配状态，左侧会先释放自身内存，再同步为未分配状态。

PS：我已意识到指针组件的弊端，正在逐步替换为可分配组件。
UPD：问题在两台不同版本gfortran中复现，但仅特定计算机出现，暂未写出可复现的最小工作示例（MWE）。
UPD2：已确认代码未违反Fortran标准，最小示例作用有限，将向HPC运维人员求助，有进展后反馈。

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