过程绑定中的通用接口冲突问题

vvt

编译器在 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 了。

vvt

lookbook 发表于 2020-8-11 16:42
如果输入是a(:)，那么出现ambiguous我认，但a(4)，a(3)显然在编译的时候是应当可以被确定的。
module中的 ...

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

常规的 Type-Bound Procedures，都是编译时决定，调用哪个Procedure。
运行时决定的也有，类似C++的虚函数或者fortran的abstract interface。