分配零大小的数组并在数组构造函数中使用

integer,allocatable :: a(:)

allocate( a(0) )        ! Line 1
print *,size( a )
print *,"a(:) = ",a

a = [ a,1 ]
print *,2 ]
print *,a

!! Error
! a = []
! a = [ integer :: ]

此代码给出了预期的结果(例如,使用gfortran或ifort -assume realloc_lhs)

0
 a(:) = 
 a(:) =            1
 a(:) =            1           2

这里有三个问题：

>首先,可以分配零大小的数组,例如allocate(a(0))吗？
>如果省略这样的显式分配,a(:)会自动初始化为零大小的数组吗？ (实际上,即使我注释掉第1行,代码似乎也能正常工作.)
>在a = [a,1]的数组构造函数中包含零大小的数组是没有问题的吗？ (我也尝试使用一个空的数组构造函数,如a = []或a = [integer ::],但它们没有编译,所以似乎是不允许的.)

编辑

如果我在上面的代码中取消注释= [],gfortran5.3会给出错误消息：

Error: Empty array constructor at (1) is not allowed

但如果我只取消注释a = [integer ::],它没有问题！因为我最初同时取消了这两行,我误解了这两种方式都是非法的,但实际上后者似乎没问题(请参阅@francescalus答案).