GLSL中为何仅存储缓冲区可声明空数组，统一缓冲区不行？

我编写了如下GLSL代码：

struct GridInfo {};
struct TextureGridResult {};

layout (set = 1, binding = 1) readonly uniform GridTextureArray
{
    GridInfo texture_grid_info[256];
}grid_texture_array[2];

layout (set = 1, binding = 2) writeonly buffer TextureGridResultsArray
{
    TextureGridResult textureGridResultsArray[];
}grid_sample_results[2];

当将第一个绑定点的uniform buffer中数组的256移除，仅保留[]时，出现编译错误：

数组必须先声明大小，才能用变量索引

但将uniform改为buffer后即可编译通过，下方的存储缓冲区空数组也能正常编译。想确认是否仅统一缓冲区必须指定数组大小，而存储缓冲区无需指定？

对，确实是这样——Uniform Buffer（统一缓冲区）里的数组必须显式指定大小，而Storage Buffer（存储缓冲区）支持用空[]声明动态长度的数组。

原因在于两者的设计逻辑不同：Uniform Buffer的内存布局是编译期确定的，编译器需要明确知道每个成员的尺寸和偏移，才能生成正确的访问代码，所以数组必须指定固定大小。而Storage Buffer的访问是动态的，它允许在运行时根据绑定的实际缓冲区大小来处理数组元素的访问，因此支持这种空数组的写法（通常要求空数组是缓冲区结构体的最后一个成员）。

你遇到的编译错误就是因为UBO不允许未指定大小的数组，改成Storage Buffer后符合规范，自然就能编译通过了。

内容的提问来源于stack exchange，提问作者Zebrafish