在子程序中调用子程序时出错

Question

您好，我已尝试在下面创建一个最小、完整且可验证的示例示例代码，以强调我收到的一条错误消息。错误是“(1) 处的参数 'func0' 中的类型不匹配；将 REAL(4) 传递给 COMPLEX(4)。

我在代码中指出了来自 (1) 的错误消息的位置。当我尝试在另一个子例程中调用一个子例程时会发生这种情况。

我最初尝试在 Sub2 中添加隐式 none，但随后我收到一条错误消息，提示 func0,func1 没有隐式类型。

我试着按照这篇文章的逻辑：How to call and use a subroutine inside another subroutine in fortran?

Module Sample

integer :: n,m

contains 

subroutine Sub1(func0,func1)

implicit none

   complex, dimension(-10:10, -10:10), intent(inout) :: func0,func1
   complex, dimension(-10:10, -10:10) :: Deriv0,Deriv1


     do while (100 > 0.000001) 

        Deriv0 = Deriv(func0)
        Deriv1 = Deriv(func1)

     end do

end subroutine Sub1

subroutine Sub2(func3)
!implicit none : if this line is not commented out, I still get error messages saying func0,func1 do not have implicit types

   real,dimension(0:20), intent(inout) :: Func3

   call Sub1(func0,func1) !error message from here, this is line (1)

end subroutine  Sub2

function Deriv(func)
implicit none

complex, dimension(-10:10, -10:10) :: func, Deriv

   do n=-9,9
   do m=-9,9

     Deriv(n,m) = func(n+1,m)-2*func(n,m)

   end do
   end do

end function Deriv

End Module Sample

如何解决此错误？谢谢。

Answer 1

这里有许多我们关注的概念：范围；协会;和继承。

在问题的代码中有四个作用域单元：模块sample 和三个过程（两个子例程和一个函数）。这些都是不同的，但它们之间共享一些信息。

首先查看implicit 语句。在模块中没有implicit，因此默认类型规则适用于模块的范围单元。 （尽管模块中没有任何内容是隐式类型的 - 模块变量和函数都是显式声明的。）sub1 和 deriv 每个都有 implicit none，因此这里清楚地说明了类型规则（没有隐式类型）。

在sub2 中指定implicit none 时，编译器会抱怨func0 和func1 没有显式类型声明；如果没有implicit none，作用域单元sub2 会继承其宿主（模块）的类型规则，因此func0 和func1 是真实的。

您可以在another question and its answers 中阅读有关范围单位和输入规则的信息。总之，把implicit none放在模块里。

func0 和 func1 的这种输入将我们引向范围界定的另一个方面。 sub1 和 sub2 是完全不同的范围单位。这两个子例程可以共享有关声明的知识的唯一方法是通过一种形式的关联。

这里有两种关联形式：宿主关联和参数关联。

主机关联是每个子程序都可以访问变量n和m。他们不引用这些变量，所以让我们忽略它们。主机关联还在sub2 中提供sub1 的显式接口，允许编译器抱怨类型不匹配。

在sub2 的作用域单元中，没有明确声明func0 和func1。这是implicit none 生效的错误；使用默认的隐式类型规则，它们是实标量变量或具有实标量结果的函数。如果你想让它们成为复杂的数组，你只需要这样声明它们。

参数关联通过以下方式产生。我们将sub1 的虚拟参数与sub2 的实际参数相关联。这里的关键是关联：两个不同的事物碰巧指向同一个对象。这两个过程不共享任何未在每个过程中明确说明的内容。为了能够有一个与这些虚拟参数相关联的实际参数，sub2 的范围内必须存在适当的东西。目前没有。

---

简而言之：您需要在sub2 中有一个合适的func0 和func1 声明。这些可能是局部变量或虚拟参数，具体取决于您希望程序如何运行。

Answer 2

（免责声明：我实际上并不了解 Fortran。这个答案是 WAG。）

在您的Sub2 子例程中，既没有声明func0 也没有声明func1，它们也不是参数。与代码的其他部分不同，Sub2 不包含implicit none 指令，因此编译器假定您打算将func0 用作REAL 变量，这会导致类型错误（因为Sub1 需要COMPLEX 变量）。

我无法告诉您如何解决此问题，因为您的代码从不调用任何地方的 Sub2，但大概您必须从某个地方获取两个 COMPLEX 变量才能传递给 Sub1。