如何保护Fortran中仅可通过指针读取的模块变量？

问题原因 #

Fortran的protected属性仅限制直接访问模块级变量，当你返回指向该变量的指针时，外部代码通过指针的间接访问不受protected约束——编译器无法静态追踪指针的目标是否为protected变量，因此不会阻止这种修改操作。

解决方案 #

要彻底保护内部数组不被外部修改，核心是避免将指向protected变量的指针暴露给外部，以下是两种可行的标准Fortran实现方式：

1. 封装为私有类型，提供只读访问接口 #

将数组封装在私有类型组件中，仅通过模块提供的方法暴露只读访问，完全屏蔽外部对内部数组的直接操作（包括指针访问），适合需要严格保护的场景：

module important_module
  implicit none

  ! 封装FFTW数据的类型，内部数组设为私有
  type :: fft_data_type
    private
    integer, dimension(5), target :: important_array
  contains
    procedure :: reset => reset_internal_array  ! 内部重置数组的方法
    procedure :: get_element => get_array_element  ! 获取单个元素
    procedure :: get_full_view => get_array_full_view  ! 获取数组副本（只读）
    ! 模块内部可直接调用FFTW接口操作this%important_array
  end type fft_data_type

  ! 模块级实例，外部仅能通过类型方法访问
  type(fft_data_type), protected :: fft_data

contains

  subroutine reset_internal_array(this)
    class(fft_data_type), intent(inout) :: this
    integer :: i
    do i = 1, size(this%important_array)
      this%important_array(i) = 0
    end do
  end subroutine reset_internal_array

  function get_array_element(this, idx) result(val)
    class(fft_data_type), intent(in) :: this
    integer, intent(in) :: idx
    integer :: val
    val = this%important_array(idx)
  end function get_array_element

  function get_array_full_view(this) result(arr_view)
    class(fft_data_type), intent(in) :: this
    integer, dimension(size(this%important_array)) :: arr_view
    arr_view = this%important_array  ! 返回副本，外部修改不影响内部数组
  end function get_array_full_view

end module important_module

Program TEST
  use important_module
  integer :: val
  integer, dimension(5) :: arr_view

  call fft_data%reset()
  val = fft_data%get_element(1)
  print *, val  ! 输出0

  arr_view = fft_data%get_full_view()
  arr_view(1) = 1  ! 修改的是副本，不影响内部数组
  val = fft_data%get_element(1)
  print *, val  ! 仍输出0，符合保护预期

End Program TEST

2. 避免返回指针，仅提供只读数组副本 #

如果外部仅需要读取数组内容，可直接返回数组的副本，而非指针。这种方式简单直观，但对于超大数组（如FFTW常用的大尺寸数组）会有性能开销：

module important_module
  implicit none

  integer, dimension(5), protected, target :: important_array

contains

  subroutine reset_important_array()
    integer :: i
    do i = 1, size(important_array)
      important_array(i) = 0
    end do
  end subroutine reset_important_array

  ! 返回数组副本，外部无法修改原数组
  function get_important_array() result(arr_copy)
    integer, dimension(size(important_array)) :: arr_copy
    arr_copy = important_array
  end function get_important_array

end module important_module

Program TEST
  use important_module
  integer, dimension(5) :: arr_copy

  call reset_important_array()
  arr_copy = get_important_array()
  print *, arr_copy(1)  ! 输出0

  arr_copy(1) = 1  ! 修改副本，原数组不受影响
  arr_copy = get_important_array()
  print *, arr_copy(1)  ! 仍输出0

End Program TEST

特殊场景说明（FFTW接口） #

如果必须让FFTW直接操作内部数组的内存（无法使用副本），请将FFTW的所有调用逻辑封装在模块内部，外部仅调用模块提供的高层接口（如compute_fft()），完全不需要暴露数组或指针给外部。这样既能满足FFTW的内存操作需求，又能保证内部数组不被外部修改。

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