Fortran Coder

标题: 过程绑定中的通用接口冲突问题 [打印本页]

作者: lookbook    时间: 2020-8-10 20:49
标题: 过程绑定中的通用接口冲突问题
本帖最后由 kyra 于 2020-8-11 08:44 编辑

[Fortran] 纯文本查看 复制代码
module m_haha
  implicit none
  type t_haha
     integer :: a
   contains
     procedure :: test1
     procedure :: test2
     procedure :: test3
     generic :: test=>test1,test2,test3
  end type t_haha
contains
  subroutine test1(this,i)
    implicit none
    class(t_haha),intent(inout) :: this
    integer,intent(in) :: i

    this%a=i

    return
  end subroutine test1

  subroutine test2(this,a)
    implicit none
    class(t_haha),intent(inout) :: this
    integer,intent(in) :: a(0:3)

    this%a=sum(a)

    return
  end subroutine
  subroutine test3(this,a)
    implicit none
    class(t_haha),intent(inout) :: this
    integer,intent(in) :: a(3)

    this%a=sum(a)

    return
  end subroutine
end module m_haha

program main
  use m_haha
  implicit none

  type(t_haha) :: one


  call one%test1(1)
  print*,one%a

  call one%test2([0,1,2,3])
  print*,one%a

  call one%test3([1,2,3])
  print*,one%a
end program main

使用gfotran编译报错,错误原因,test2,test3接口冲突
改用pgi编译,正常。

很迷。。。。是我对重载的理解有问题吗?




作者: chiangtp    时间: 2020-8-10 21:50
Windows Absoft/Compaq/Intel/NAG/Silverfrost/NAG/G95 都是
test2,test3接口冲突: "test2" is not distinguishable (rank) from the "test3"

我認為PGI在這裡過於寬容
作者: chiangtp    时间: 2020-8-10 23:05
[Fortran] 纯文本查看 复制代码
module pgi_generic                                                                    
  implicit none                                                                       
                                                                                      
  interface test                                                                     
    module procedure test2                                                            
    module procedure test3                                                            
  end interface test                                                                  
                                                                                      
contains !------------------------------                                             
                                                                                      
  subroutine test2(a)                                                                 
    implicit none                                                                     
    integer,intent(in) :: a(0:3)                                                      
                                                                                      
    write(*,*) a                                                                     
  end subroutine test2                                                               
                                                                                      
  !-----------------                                                                  
                                                                                      
  subroutine test3(a)                                                                 
    implicit none                                                                     
    integer,intent(in) :: a(3)                                                        
                                                                                      
    write(*,*) a                                                                     
  end subroutine test3                                                               
                                                                                      
end module pgi_generic                                                               
                                                                                      
!---------------------------------------                                             
                                                                                      
program test                                                                          
  use pgi_generic                                                                     
  implicit none                                                                       
                                                                                      
  integer :: a(0:3), b(3)                                                            
                                                                                      
  a = (/0, 1, 2, 3/)                                                                  
  b = (/4, 5, 6/)                                                                     
                                                                                      
  !---> PGI compile-time error: ambiguous interface for generic procedure test        
  CALL test(a)                                                                        
  CALL test(b)                                                                        
                                                                                      
end program test                                                                     


PGI沒有一陸錯到底

作者: chiangtp    时间: 2020-8-10 23:06
抱歉, 是 "PGI沒有一路錯到底"
作者: vvt    时间: 2020-8-11 08:43
本帖最后由 kyra 于 2020-8-11 08:45 编辑

编译器在 generic name 中选择合适的interface procedure 调用。发生在编译时,而不是发生在运行时。
只有编译时能确定的区别,才能使用 generic name 重载。比如参数的类型,精度,数组维度,参数的个数,顺序。

而数组的大小,以及变量的值。在编译时无法确定。
比如
read(*,*) i , j
call test2( a(i:j) )
编译时无法确定 a 的大小。

顺带一提:你在m_haha里写了 implicit none ,那么这个module下面contains的procedure(test2 , test3)就不需要再写 implicit none 了。


作者: chiangtp    时间: 2020-8-11 14:45
1. 理應於"定義端"偵測到錯誤, PGI遲至"使用端"才說有錯

2. 被"CONTAINS", 透過所謂的"HOST ASSOCIATION", 繼承"IMPLICIT NONE"
    個人以為還是寫比較好, ...
作者: lookbook    时间: 2020-8-11 16:42
vvt 发表于 2020-8-11 08:43
编译器在 generic name 中选择合适的interface procedure 调用。发生在编译时,而不是发生在运行时。
只有 ...

如果输入是a(:),那么出现ambiguous我认,但a(4),a(3)显然在编译的时候是应当可以被确定的。
module中的函数相当于给出了explicit,那么当实际输入变量大小和哑元大小不符合时就会报错,所以,为什么这个重载就不可以?
作者: lookbook    时间: 2020-8-11 16:45
chiangtp 发表于 2020-8-10 21:50
Windows Absoft/Compaq/Intel/NAG/Silverfrost/NAG/G95 都是
test2,test3接口冲突: "test2" is not disti ...

感谢您回复,看起来PGI自己标准都不一致啊
作者: vvt    时间: 2020-8-11 17:42
lookbook 发表于 2020-8-11 16:42
如果输入是a(:),那么出现ambiguous我认,但a(4),a(3)显然在编译的时候是应当可以被确定的。
module中的 ...

你说的“实际输入变量大小和哑元大小不符合时就会报错”,是运行时错误,也是在运行时才做的检查。
但决定test实际调用的是test2还是test3,需要“编译时”就决定。

常规的 Type-Bound Procedures,都是编译时决定,调用哪个Procedure。
运行时决定的也有,类似C++的虚函数或者fortran的abstract interface。
作者: lookbook    时间: 2020-8-11 19:25
vvt 发表于 2020-8-11 17:42
你说的“实际输入变量大小和哑元大小不符合时就会报错”,是运行时错误,也是在运行时才做的检查。
但决 ...

我明白你的意思了,十分感谢!




欢迎光临 Fortran Coder (http://bbs.fcode.cn/) Powered by Discuz! X3.2