子程序中声明了可变大小的数组为虚参，在主程序中的调用

fcode

不是，module中虽然可以方便的在程序间共享数据，但容易造成命名污染。
在大型程序里，非常容易错乱。
应该合理的使用 module 共享数据。

但是，module 的好处有很多，你会慢慢体会到的。

对于你的这个问题，使用 module 的好处时，无需书写 interface。
关于 interface，请详见：
http://interface.w.fcode.cn/