参数化类型如何绑定

lookbook

各位大佬好，代码如下：

      module m_a
         implicit none

         type :: bar(p, q)
            integer, kind :: p=4
            integer, len  :: q=10
            real(kind=p),dimension(q) :: x
         contains
            procedure,pass(this) :: barsub
         end type bar

      contains
         subroutine barsub(this)
            class(bar), intent(in) :: this
            write (*,*) this%x
         end subroutine barsub
      end module


gfortran编译错误如下：
       procedure,pass :: barsub
               1
Error: Argument ‘this’ of ‘barsub’ with PASS(this) at (1) must be of the derived-type ‘bar’

小白还望大佬们赐教，谢谢！

lookbook

liudy02 发表于 2018-11-8 14:43
参数化派生类型是个坑，
目前还不知道有哪个编译器能很好的支持所有参数化派生类型的标准，
我反正是放弃找 ...

感觉你就是大佬呀。。。

lookbook

liudy02 发表于 2018-11-9 12:38
原来如此，版主的解释让我终于明了Kind参数和Len参数为什么在编程上有不同之处了
写成不同的Type寻找上应 ...

其实有一个方法，只需要多一个module就行。就是在最底层定义一个kind常量，然后每个module都包含使用它即可。

module style
integer,parameter :: nnn=8
end module

module another

type anything
real(kind=nnn) :: a,b
balabala.....
.......
这样的话，关于绑定的函数也只要写一遍就行，但记得更改nnn之后要clean一下，然后再make。
我是这样处理的。

lookbook

楚香饭 发表于 2018-11-9 00:55
kind的参数必须要编译时确定，不能假定
len的参数可以假定。
所以，多个kind，就要写多个函数。

大佬就是大佬，学习了，我去试试。

lookbook

我的理解是，不同的编译器可能对kind的表示不同，所以才会有selected_real_kind（），我用的是gfotran，4就代表real，8就代表double。
我测试了一下：
module style
      implicit none
      integer,parameter :: nnn=8
end module

use style
implicit none
real(kind=nnn) :: a
     
a=1d0
print*,a,kind(a)

end
结果是：
   1.0000000000000000                8

所以是可行的。
不过我在编写程序的时候是严格的，是使用了Selected_Real_Kind(）的，
希望它的移植性能更好。
不知道这么理解对不对，如有错误千万不要怪我呀

lookbook

楚香饭 发表于 2018-11-9 00:55
kind的参数必须要编译时确定，不能假定
len的参数可以假定。
所以，多个kind，就要写多个函数。

版主您好，我去试了下，我的编译器（gfortran8）不行，错误提示是：
procedure:: barsub => barsub4 , barsub8
               1
Error: Non-polymorphic passed-object dummy argument of ‘barsub4’ at (1)

lookbook

liudy02 发表于 2018-11-16 22:42
顺便说句，我终于现实解决了之前说的想定义不同kind但是功能几乎一样的类型，
甚至包括不同的数据类型，例 ...

嗯，是个好办法。
不过我现在不太让shell完成太多东西了，程序能自己解决的就尽可能不用shell（大概是我变懒了）。
你是不是对C++很熟啊，感觉使用Private属性还是很有用处的，我自己写的时候不太注意这个。

lookbook

vvt 发表于 2018-11-17 09:36
配合预处理，确实能实现更多语法不方便做的事情。

比如 Qt 的 moc，扩展了 C++ 的功能 ...

学习了，但是离开IDE是不是就不行了？

lookbook

weixing1531 发表于 2018-11-17 11:05
改变精度必然要重新编译代码
这种花哨功能不实用

嗯，改变精度必须要全部重新编译，这个问题给我的印象很深刻。

在一个程序里面，确实有可能性需要用到不同精度的同一个结构的自定义类型（虽然我都是统一精度的）。
这个时候参数化类型就能很方便的解决这个问题了。

lookbook

liudy02 发表于 2018-11-16 22:31
哈哈，版主也犯错了啊
把后面两个进程里对哑元定义的关键字TYPE换成CLASS应该就好了 ...

我都试过，并不可以。