Fortran笔记之过程重载,多态,泛型编程

2022/4/5 9:49:45

本文主要是介绍Fortran笔记之过程重载,多态,泛型编程,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

参考自Introduction to Modern Fortran for the Earth System Sciences

过程重载

OOP中的另一个重要技术是过程重载(Procedure Overloading)(也称为“ad-hoc多态性(ad-hoc polymorphism)”)。这里的想法是,可以通过相同的名称访问多个过程,编译器根据虚参的类型(也称为“签名(signature)”)来确定调用哪个过程。显然,要使这一点起作用,这两个程序实际上必须有不同的签名。过程重载与泛型编程(generic programming)不同:

  • 在泛型编程中,程序员编写了一个唯一的过程定义,编译器在必要时从该模板生成实际的、可调用的过程(参见第3.4节);
  • 在重载中,程序员将显式地为特定签名创建不同的函数。

为了将过程与重载的相同名称相关联,我们需要定义一个泛型接口(generic interface):定义一个自定义的派生类型构造函数。这些是命名的接口块,块的名称将产生访问重载的名称。

定义泛型接口的两种情形:

  • 在泛型接口内部,通过复制过程的定义部分来指定外部过程(external procedures)的接口。
  • 对于在同一模块中定义的过程,我们需要使用module procedure<nameOfModuleProcedure>来指定。

下面的示例说明了这两种情况:

该示例将外部子例程swapReal和模块过程swapInteger分组,以便通过通用名称swap调用它们

12 module Utilities
13   implicit none
14   private     ! 默认设置为私有
15   public swap ! 但是,需要将泛型接口公开
16   ! 泛型接口Generic interface
17   interface swap
18      ! 对于不在本模块的过程,需要显式接口
19      subroutine swapReal( a, b )
20        real, intent(inout) :: a, b
21      end subroutine swapReal
22      ! 但是,对于模块里的过程,则是通过加上
23      ! 'module procedure'声明
24      module procedure swapInteger
25   end interface swap
26 contains
27   ! Module-procedure.
28   subroutine swapInteger( a, b )
29     integer, intent(inout) :: a, b
30     integer :: tmp
31     tmp = a; a = b; b = tmp
32   end subroutine swapInteger
33 end module Utilities

Listing 3.37 src/Chapter3/overload_normal_procedures.f90 (excerpt)

通过module Utilities,可以相同的语句,交换integers和reals:

35 program test_util_a
36   use Utilities
37   implicit none
38   integer :: i1 = 1, i2 = 3
39   real    :: r1 = 9.2, r2 = 5.6
40 
41   write(*,'("Initial state:",1x,2(a,i0,1x), 2(a,f0.2,1x))') &
42        "i1 = ", i1, ", i2 = ", i2, ", r1 = ", r1, ", r2 = ", r2
43   call swap( i1, i2 )
44   call swap( r1, r2 )
45   write(*,'("State after swaps:",1x,2(a,i0,1x), 2(a,f0.2,1x))') &
46        "i1 = ", i1, ", i2 = ", i2, ", r1 = ", r1, ", r2 = ", r2
47 end program test_util_a

Listing 3.38 src/Chapter3/overload_normal_procedures.f90 (excerpt)

请注意,我们仍然可以通过泛型接口(它是public)访问swapReal(即使它是private)。

重载需要有不同的签名(不同类型的虚参),且签名应该都是function或都是subroutine。

最后,还值得注意的是,还有一种额外的类型重载机制,使用了所谓的“泛型类型绑定过程(generic type-bound procedures)”。这是非常有益的,尤其是当模块所在的位置存在唯一的修改器时(仅导入选定的实体)。一个很容易发生的错误是忘记include泛型接口,这可能会导致调用隐式函数(例如赋值运算符),而不是模块中预期的重载。此处不谈这个问题(如果您遇到这种情况,请参阅Metcalf等人[Metcalf, M., Reid, J., Cohen, M.: Modern Fortran Explained. Oxford University Press, Oxford(2011)])。

运算符重载 值得注意的是,运算符(如一元 .not. 或二元 +)同样也是过程,只有在语言的特殊支持下,才允许使用更方便的表示法(中缀表示法(infix notation))——因此重载的概念也应该适用于它们。事实上,Fortran(和其他语言)允许开发人员为非内置类型重载这些函数。我们可以用 <operator(<operatorName>)替换泛型接口的名称(“在我们前面的示例中为swap”),其中operatorName是一个内置操作符,从而简单地实现这一点。如下所示:

 8 module Vec3d_class
 9   implicit none
10 
11   type, public :: Vec3d
12      real :: mU = 0., mV = 0., mW = 0. ! Make 'private' in practice!
13    contains
14      procedure :: display ! Convenience output-method.
15   end type Vec3d
16 
17   ! 用于运算符重载的泛型接口
  interface operator(-)
19      module procedure negate   ! 一元负号
     module procedure subtract ! 二元减号
  end interface operator(-)
22 
23 contains
24   type(Vec3d) function negate( inVec )
25     class(Vec3d), intent(in) :: inVec
26     negate%mU = -inVec%mU
27     negate%mV = -inVec%mV
28     negate%mW = -inVec%mW
29   end function negate
30 
31   ! 注意:也可以用异构数据类型重载二进制运算符。
  ! 在我们的例子中,我们可以为二元的“-”再设置两个重载,
33   ! 以便在inVec1或inVec2是标量时支持减法。
  ! 在这种情况下,只需更改inVec1或inVec2的类型,并调整函数中的代码。
  !
  type(Vec3d) function subtract( inVec1, inVec2 )
37     class(Vec3d), intent(in) :: inVec1, inVec2
38     subtract%mU = inVec1%mU - inVec2%mU
39     subtract%mV = inVec1%mV - inVec2%mV
40     subtract%mW = inVec1%mW - inVec2%mW
41   end function subtract
42 
43   ! 工具方法,用于更方便的展示'Vec3d'元素
  ! 注:一个更好的解决方式是使用派生类型的I/O(参见Metcalf2011)
45   subroutine display( this, nameString )
46     class(Vec3d), intent(in) :: this
47     character(len=*), intent(in) :: nameString
48     write(*,'(2a,3(f0.2,2x),a)') &
49          trim(nameString), " = ( ", this%mU, this%mV, this%mW, ")"
50   end subroutine display
51 end module Vec3d_class

Listing 3.39 src/Chapter3/overload_intrinsic_operators.f90 (excerpt)

新的运算符可以被我们的派生类型数据中使用,如下:

53 program test_overload_intrinsic_operators
54   use Vec3d_class
55   implicit none
56   type(Vec3d) :: A = Vec3d(2., 4., 6.), B = Vec3d(1., 2., 3.)
57 
58   write(*,'(/,a)') "initial-state:"
59   call A%display("A"); call B%display("B")
60 
61   A = -A
62   write(*,'(/,a)') 'after operation "A = -A":'
63   call A%display("A"); call B%display("B")
64 
65   A = A - B
66   write(*,'(/,a)') 'after operations "A = A - B":'
67   call A%display("A"); call B%display("B")
68 end program test_overload_intrinsic_operators

Listing 3.39 src/Chapter3/overload_intrinsic_operators.f90 (excerpt)

重载运算符时要注意的一个约束是:function需要用作实际过程,对于一元运算符使用一个参数,对于二元运算符分别使用两个参数(在这两种情况下参数都需要有intent(in)属性)。

有趣的是,在Fortran中甚至可以实现新的(一元/二元)运算符,这些运算符不是语言标准指定的。语法与前一种情况类似,只是我们用新操作符(在泛型接口中)的名称替换了内在操作符的名称。例如,这里是一个新操作符 .cross. 的接口块,用以计算两个Vec3d类型的向量的叉积:

18   ! Generic interface, for operator-overloading.
19   interface operator(.cross.)
20      module procedure cross_product ! binary
21   end interface operator(.cross.)

这是一个强大的技术,可以使得代码更加具有可读性,从而提升抽象化的水平,如下:

49   C = A .cross. B

 与优先级相关的是,用户定义的一元运算符的优先级高于所有其他运算符而用户定义的二元运算符的优先级则相反(这两种情况中都包含最低优先级的内在运算符)。然而,像往常一样,用括号覆盖评估顺序很容易(而且往往更清楚)。

最后,另一个可以重载的运算符是赋值( =)。这仅当DT有指针组件时才相关,这是本文范围之外的主题。

 

多态

另一个与继承相关的OOP概念是多态(polymorphism)(字面上的意思为“多种形式”)。多态的主要特点是,实体可以对不同类型的数据进行操作,但类型本身在运行时是动态解析的为了支持这个概念,我们可以区分:

  • 多态变量(polymorphic variables):这些变量可能在程序执行期间保存不同派生类型的实例。它们用于实现多态过程,也用于定义高级数据结构,如链表(linked list)(见Cormen等人[6]),它可以在不同节点中存储不同类型的数据。这些变量可以在Fortran中使用 class(<BaseClassName>)或 class(*)类型。

前者允许为变量分配BaseClassName类型的值,或任何“is a”(=继承自)BaseClassName的类型(用Fortran术语来说,我们称该变量在class BaseClassName中)。与其他OOP语言一样,可以将基类定义为abstract,这样就无法实例化该类型的变量。无论哪种方式,基类型的主要目的都是对常见功能进行分组,这些功能将由Fortran class(="继承层次结构")中的所有派生类型支持。

 使用类型class(*)定义变量时,它们可以被指定为任何派生类型的值(包括内置类型)。

由于其动态性质,多态变量需要是可分配的虚参(dummy arguments)或指针(pointers)。

  • 多态程序(polyphorphic procedures):在程序执行期间,这些程序可能会对不同类型的数据进行操作。其优点是,此类过程的代码可以用通用术语编写,为不同派生类型的变量调用方法。只要派生类型满足一些接口约定(多态过程发出的调用需要实际存在于被调用方的派生类型中),运行时系统就会动态地确定需要调用哪个派生类型的方法。在Fortran中,多态过程是通过使用多态变量(见上文)作为虚参来支持的。还可以根据实际参数的类型,使用select type-结构(从而支持匹配特定的派生类型或一类派生类型)采取不同的操作。

对多态性机制的更完整描述超出了本书的范围。有关更多信息,请参见Metcalf等人[8]或Clerman and Spector[5]。

 

泛型编程(Generic Programming, GP)

像C++这样的语言也支持GP,因此程序是一次编写的,而类型则在后面指定,例如Stepanov和McJONS〔11〕。这可以显著减少代码的重复;例如,可以编写一个swap-程序,编译器可以从中实例化版本,以交换整数、实数或用户定义类型的数据。目前,Fortran在一定范围内也支持其中一些想法。

程序(elemental procedures) 首先,通过将程序变成逐元的(elemental),可以使程序在等级上具有通用性。此类函数采用任何秩的数组(包括秩0,所以它们也支持标量),并返回形状相同的数组,但输出数组中的每个元素都包含函数应用到输入数组中相应元素的结果。当这样的逐元的(elementwisel)应用程序有意义时,它可以显著减少代码大小(因为不需要对于不同数组形状,编写特定版本的过程对于应用程序中)。以下示例演示了如何将其与Vec3d类型一起使用,以实现向量标准化:

 1 module Vec3d_class
 2   implicit none
 3   private
 4   public :: normalize ! Expose the elemental function.
 5 
 6   type, public :: Vec3d
 7      real :: mU = 0., mV = 0., mW = 0.
 8   end type Vec3d
 9 
10 contains
11   type(Vec3d) elemental function normalize( this )
12     type(Vec3d), intent(in) :: this
13     ! Local variable (note that the 'getMagnitude'-method could also be called,
14     ! but we do not have it implemented here, for brevity).
15     real :: magnitude
16     magnitude = sqrt( this%mU**2 + this%mV**2 + this%mW**2 )
17     normalize%mU = this%mU / magnitude
18     normalize%mV = this%mV / magnitude
19     normalize%mW = this%mW / magnitude
20   end function normalize
21 end module Vec3d_class
22 
23 program test_elemental
24   use Vec3d_class
25   implicit none
26 
27   type(Vec3d) :: scalarIn, array1In(10), array2In(15, 20)
28   type(Vec3d) :: scalarOut, array1Out(10), array2Out(15, 20)
29 
30   ! Place some values in the 'in'-variables...
31   scalarOut = normalize( scalarIn ) ! Apply normalize to scalar
32   array1Out = normalize( array1In ) ! Apply normalize to rank-1 array
33   array2Out = normalize( array2In ) ! Apply normalize to rank-2 array
34 end program test_elemental

 

Listing 3.43 src/Chapter3/dt_elemental_normalization.f90

将过程编写成逐元的程序不仅可以使其通用,还可以提高性能。后者是因为elemental程序也需要是pure的(我们在第3.2.5节中描述了这个主题);满足此限制后,无论函数以何种顺序(串行/并行)应用于输入元素,都可以保证获得正确的结果。许多内置函数都是逐元的。

参数化类型(Parameterized types) 在Fortran中,可以基于整数值参数化数据类型。然后,这些参数的特定值可以在编译时(也称为kind-like参数,因为它们可以用于改变内置类型的精度)或在运行时(也称为len-like参数,以突出显示与运行时指定的长度字符串的连接)分配。有关这一更高级功能的讨论,请参见Metcalf等人[8]。

 



这篇关于Fortran笔记之过程重载,多态,泛型编程的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!


扫一扫关注最新编程教程