Fortran:'select type'子句中的参数化派生类型

时间:2014-05-16 15:02:52

标签: types polymorphism fortran parameterized

我正在尝试使用无限多态指针在子例程中使用参数化派生类型。

是否可以对参数化类型使用'select type'子句?

我尝试了以下几行,但收到​​了编译错误。  (TYPE或附近的语法错误)

module mod_real
  implicit none

  type :: type1(k)
    integer, kind :: k = 4
    real(kind=k) :: val
  end type type1

  contains

    subroutine out(in)
      class(*) :: in
      select type(in)
        type is (type1(4))
          print *, 'real(4):', in%val
        type is (type1(8))
          print *, 'real(8):', in%val
      end select
    end subroutine out

end module mod_real 

program real_test
  use mod_real

  type(type1(4)) :: p
  type(type1(8)) :: p2 

  p%val = 3.14
  p2%val = 3.1456d0

  call out(p)
  call out(p2)       

end program real_test 

具有“type is(type1(4))”和“type is(type1(8))”的行被指示为具有不正确的语法。我使用的是Portland Group Fortran编译器(版本13.5-0)。

1 个答案:

答案 0 :(得分:1)

在撰写问题时,问题很可能是编译器支持,请查看此页面:

关于实际问题,在这种情况下,你可以使用module procedure的编译时解决方案,它不需要多态,因此可能有更少的开销:

module mod_real

type type1(k)
  ... ! as before
end type

interface out
  module procedure out4, out8
end interface

contains

 subroutine out_type4(x)
   type(type1(4)), intent(in) :: x
   print*, 'real(4):' x%val   
 end subroutine

 subroutine out_type8(x)
   type(type1(8)), intent(in) :: x
   print*, 'real(8):' x%val   
 end subroutine

end module
program 
  ... ! as before
end program