string - 通过返回分配的字符串导致内存泄漏

Question

在 Fortran 中返回可变长度字符串的建议解决方案来自 this问题:

  function itoa(i) result(res)
    character(:),allocatable :: res
    integer,intent(in) :: i
    character(range(i)+2) :: tmp
    write(tmp,'(i0)') i
    res = trim(tmp)
  end function

我的理解是否正确，这个函数的结果永远不会被释放？因此，对于大量和大量调用，您可能会遇到内存泄漏。

所以我的意思是我没有分配我的函数的结果，而是在“就地”使用它的情况

do i = 1, n
    write(*, *) "tmp_"//itoa(i)
end do

我显然没有提到我可以调用 deallocate 的结果。当我在循环时，它绝对不会超出范围。

如果我正确理解您(@Francescalus)，我仍然可以依赖它已被释放的事实。

Answer 1

这个问题是this other one的具体案例，但具体化它可以让我们更精确。您应该阅读那里的答案以获取更多一般细节。

在正确的实现中不会出现内存泄漏。 Fortran 标准明确地解决了这些结果。例如，在 Fortran 2008 中，注释 12.41 说:

The function result is similar to any other entity (variable or procedure pointer) local to the function subprogram. Its existence begins when execution of the function is initiated and ends when execution of the function is terminated. However, because the final value of this entity is used subsequently in the evaluation of the expression that invoked the function, an implementation may wish to defer releasing the storage occupied by that entity until after its value has been used in expression evaluation.

当可分配函数结果的存在结束时，它会被释放。这发生在所有可分配的结果上，而不仅仅是延迟长度的字符串。

因此，内存可能会“泄漏”一段时间，但人们应该会很快地进行回收。许多级别的函数评估可能会导致问题——但在那之前你可能已经得到了令人讨厌的代码。