首页 >

新语法系列 之 interface 功能详解

作者:li913  日期:04-22
来源:Fcode研讨团队
接口界面块:Interface 功能详解
说明:子程序可看做无返回值的函数,为了方便叙述,如未特别说明,文中将函数(function)和子程序(subroutine)统称为函数。

函数的接口信息用于告诉编译器应该如何正确调用该函数,它包括参数和返回值的数量、类型等信息。因此每个函数都必须具有相应的接口信息,缺省情况具有隐式声明,而使用interface则可显式声明函数的接口信息。

Interface 的主要功能:
1、明确外部函数(external procedure) 或虚函数(dummy procedure)的接口信息,包括:输入输出参数的类型和属性、返回值类型、函数属性;
2、定义通用过程名,即函数重载(overload);
3、操作符(+,-,*,/,et al)和赋值符(=)重载。

下面将分别对以上三种功能进行说明。

1、接口界面块

内部函数(contains)、模块(module)中的函数,以及Fortran标准函数 (如:sind、abs等) 均自动包含显式接口,不需要也不能再次声明接口信息,因此上述情况不在讨论之中。我们建议将外部函数封装在module中使用。
外部函数缺省具有隐式接口,对一些常规函数,用户不必显示声明其接口信息,编译器也能正确识别。但当外部函数的形参具有ALLOCATABLE, ASYNCHRONOUS, OPTIONAL, POINTER, TARGET, VALUE, VOLATILE属性时,必须显示声明接口信息。下列情况之一也必须使用接口界面块:

● 外部函数返回值为指针、数组或可变长度字符串;
● 形参为数组片段;
● 参数个数不确定或包含可选参数;
● 改变参数传递顺序;
● 子程序中扩展了赋值号的使用范围。

接口界面块的使用较为简单,在接口界面块(interface-end interface)之间写入函数形参类型说明语句,即去掉所有可执行语句后的剩余部分。下面的例子给出了函数返回数组时以及具有可选参数时使用interface的例子:




program Fcode_cn
  integer::i=0, j=1, k=2, m(2)
  
  interface  ! 接口块
    subroutine sub1(i,j,k)
      integer,optional::k
      integer i,j
    end subroutine
    
    function func1(j,k)
      integer j, k
      integer func1(2)
    end function
  end interface
 
  m = func1(j,k)
  print*, m  ! m=3,-1
  
  call sub1(i,j,k)
  print*, i  ! i=3
  
  call sub1(i,j)
  print*, i  ! i=1
  
  pause
end
 
function func1(j,k)
  integer j, k
  integer func1(2)
  func1(1) = j + k
  func1(2) = j - k
end function
 
subroutine sub1(i,j,k)
  integer,optional::k
  integer i,j
  if( present(k) ) then
    i = j + k
  else
    i = j
  end if
end subroutine

2、函数重载

某些情况下,我们需要对不同类型或不同数量的参数做相似或相同的操作,由于参数类型、数量不同,我们需要编写不同的函数来处理。比如求绝对值,如果参数是4字节整数,我们需要调用iabs函数;如果参数是4字节或8字节实数,我们需要分别调用abs或dabs函数。

由于需要记住多个功能相同或相近的函数,增加了我们使用这些函数的难度,同时也增加了出错的可能性,比如将实数传递给iabs函数。

上述函数的功能相同,只是参数类型或个数不同,那么可否使用同一个函数名来执行它们呢?当然可以,这就是函数重载。函数重载允许通过调用通用过程名来执行特定函数。当用户调用通用过程名时,编译器首先检查传入参数的类型和数量,再调用与之匹配(类型和数量相同)的特定函数来执行具体任务。

例如我们建立通用过程名abs来求绝对值,用户在任何情况都只需调用abs,编译器会自动选用合适的特定函数执行对应操作:当传入参数是4字节整数,就调用iabs函数;如果是8字节实数,则调用dabs函数。

下面用求绝对值的例子说明函数重载功能。为与Fortran内在函数abs区别开来,我们在函数名后添加“_f”。


module abs_module
  implicit none
  interface abs_f
  module procedure abs_f, dabs_f, iabs_f
  end interface
contains
function abs_f(x)
real(4) abs_f, x
if( x<0.0_4 ) then
  abs_f = -x
else
  abs_f = x
end if
end function abs_f
 
function dabs_f(x)
real(8) dabs_f, x
if( x<0.0_8 ) then
  dabs_f = -x
else
  dabs_f = x
end if
end function dabs_f
 
function iabs_f(x)
integer(4) iabs_f, x
if( x<0 ) then
  iabs_f = -x
else
  iabs_f = x
end if
end function iabs_f
end module abs_module
 
program Fcode_cn
use abs_module
real(4):: x=-2.0_4
real(8):: y=-3.0_8
integer(4)::z=-4
 
print*, abs_f(x)
print*, dabs_f(y), abs_f(y)
print*, iabs_f(z), abs_f(z)
 
pause
end

执行结果:
2.000000
3.00000000000000 3.00000000000000
4 4

代码分析:我们使用interface创建了一个函数重载,其通用过程名(interface之后的标识符)为abs_f,包含三个特定过程abs_f, dabs_f, iabs_f。需要注意,通用过程名可以与其中一个特定过程名一致,也可以不一致;但特定过程名之间必须不同。每个特定过程的形参类型和数量不能完全一致。

interface abs_f
module procedure abs_f, dabs_f, iabs_f
end interface

在程序执行过程中,调用通用过程名时,编译器首先检查实参的类型和数量,并与特定过程的接口信息相匹配。如果匹配成功,则调用相应特定函数(故dabs_f(y)和abs_f(y)的结果是一致的);否则编译器会报错。

比如调用 abs_f(12_8), 由于我们没有给出针对8字节整数求绝对值的特定函数,编译器则会报错。

3、操作符和赋值符(=)重载

常规运算中,我们经常用到算术操作符(+,-,*,/,**)、关系操作符(<,<=,>,>=,==,/=)以及赋值符(=),同时也会发现其使用具有一定的局限性:只能对特定的数据类型进行运算,不能直接用于派生数据类型。

比如两个时间相减,我们不能直接使用“-”进行操作,而需要编写特定的函数。针对这一问题,Fortran90引入了操作符重载功能。我们先看下面一段代码:

module time_class
  implicit none
  type time  !定义一个时间类结构体
    integer(1) hour, minute, second
  end type
  interface operator(-) !重载操作符-
    module procedure timeMinus
  end interface
  interface assignment(=) !重载赋值符=
    module procedure assign_time
  end interface
  interface operator(.minus.) !自定义操作符.minus.
    module procedure timeMinus
  end interface
contains
! 两个时间相减
function timeMinus(time1,time2)
type(time),intent(in)::time1, time2
type(time) timeminus
integer n
n=(time1.hour-time2.hour)*3600 + (time1.minute-time2.minute)*60 + (time1.second-time2.second)
if(n<0) n=n+3600*24
timeminus.second=mod(n,60)
n=n/60
timeminus.minute=mod(n,60)
timeminus.hour=n/60
end function
! 如果time类数据正确,将其赋值给res;否则输出错误提示
subroutine assign_time(res,time1)
type(time),intent(in):: time1
type(time),intent(out):: res
if(time1.hour>=0 .and. time1.hour<=23) then
  if(time1.minute>=0 .and. time1.minute<=59) then
    if(time1.second>=0 .and. time1.second<=59) then
      res.hour=time1.hour
      res.minute=time1.minute
      res.second=time1.second
      return
    end if
  end if
end if
write(*,*) "time类数据错误."
end subroutine
end module
 
program fcode_cn
  use time_class
  type(time) time1,time2,time3
  time1=time(2,3,58)
  time2=time(23,12,7)
  time3=time2-time1 !重载操作符-
  print*,time3
  time2=time3 .minus. time1 !自定义操作符.minus.
  print*,time2
  time1=time(25,5,6) !重载赋值符=
pause
end

模块time_class中定义了一个时间类结构体以及两个函数,函数timeMinus用于操作符“-”重载和自定义操作符,子程序assign_time用于赋值符“=”重载。注意,操作符重载只能使用function,而赋值符重载只能使用subroutine,自定义操作符需位于两个dot之间。

程序一开始使用赋值符重载功能对time1和time2进行赋值,由于数据无误,正常执行;
接下来,分别使用重载操作符“-”和自定义操作符“.minus.”进行两个时间相减,得到相应结果;
最后对time1赋值时,由于数据有误,输出错误提示。

执行结果:

21 8 9
19 4 11

Time类数据错误.


常规|工具|专业|读物|
代码|教学|算法|
首页 >
FortranCoder手机版-导航