统一块中的数组不能用顶点属性索引，对吗？

Question

我想知道我是否可以用我绘制的顶点中包含的值索引到一个统一的缓冲区数组中，比如：

layout (location = 0) in vec3 position;
layout (location = 1) in flat int idx;

layout(binding = 0, std140) uniform uniformValues
    {
        float values[100];
};

void main() 
{
     values[idx];
}

我的理解是这是不可能的因为

'in flat int idx'

很可能不是'动态统一表达式'，并且根据留档不能用于索引到统一缓冲区数组中：

在某些地方，GLSL要求表达式是动态统一的。以下所有内容都必须使用动态统一的表达式：

-The index to buffer-backed interface block arrays.

然而，我遇到了来自同一个来源的信息，关于如何访问一系列拥有“无绑定纹理”纹理手柄的采样器，它说（我的重点是）：

默认块统一变量中使用的采样器和图像类型可以从句柄而不是绑定点的索引中填充。这些类型现在也可以作为着色器阶段输入/输出传递（在需要时使用平面插值限定符）。它们可以用作顶点属性，在OpenGL端将它们视为64位整数。它们可以用于各种接口块；缓冲区支持的接口块将它们视为64位整数。

我相信这是在说，与其这样做：

layout (location = 0) in flat int textureBinding;

layout (binding = 0) uniform sampler2D textures[16];

void main()
{
     textures[textureBinding];
}

你可以这样做：

layout (location = 0) in flat int bindlessTextureHandle;

layout (binding = 0) uniform textureBuffer 
{
      sampler2D textures[200];
}

void main()
{
     textures[bindlessTextureHandle];
}

“bindlessTextureHandle”不是“动态统一表达式”，如何将其用于索引到统一缓冲区中？

以下所有内容都必须使用动态统一表达式：

-The index to buffer-backed interface block arrays.

那么为什么它说你可以用顶点输入的值索引到各种“接口块”中呢？

您还可以索引到：

'uniform sampler2D[16] textures;'

使用“非动态统一表达式”？

Answer 1

这里有无数独立、重叠的问题。

在统一块中对数组进行索引从来都不限于动态统一表达式（一般情况下，请参见下文）。即使是在GL 3中。x、 可以使用任意索引在缓冲区支持的块中为数组编制索引。

然而，你并不是在问一般数组；你问的是纹理阵列。或者更一般地说，通过无绑定纹理计算采样器类型的整个操作序列。

整个序列必须是动态统一的（除非您使用的是NVIDIA，它允许任意表达式）。无论是索引SSBO数组、使用输入变量直接传递纹理句柄，还是其他任何操作，这都无关紧要。导致获取采样器类型的值必须是动态统一的。

那么为什么它说你可以用顶点输入的值索引到各种“接口块”中呢？

因为你可以。

对“动态均匀”的一个常见误解是它是一个静态属性。表达式本身要么是动态均匀的，要么不是。这接近正确，但实际上并不正确。

有些表达式本质上是动态均匀的。您可以称这些为“静态动态均匀”表达式。例如，常量表达式总是动态均匀的。

然而，动态一致性与表达式的值有关。所有调用（在rendering命令中）必须产生相同的值。着色器阶段的in变量可以是动态统一的，只要它恰好在渲染命令中始终具有相同的值。例如，VS可以使用gl_DrawID（动态统一）从uniform数组中访问一个值，将其作为中的传递给FS，FS可以将该值用作采样器。或者访问一系列采样器。或者别的什么。在draw命令中，所有FS调用将获得相同的值，因此该值在动态上是一致的。

Answer 2

我的理解是这是不可能的因为

in flat int idx

很可能不是'动态统一表达式'，并且根据留档不能用于索引到统一缓冲区数组中。

您是对的，您需要一个动态统一的值来索引到统一的缓冲区数组中。然而，这：

layout(binding = 0, std140) uniform uniformValues
{
        float values[100];
};

不是一个统一的缓冲区数组。这是单个统一缓冲区对象中的一个数组，可以根据需要将非统一值索引到该数组中。统一的缓冲区阵列应该是：

 layout(binding = 0, std140) uniform myUBO
 {
         float value;
 } myUBOArray[4];

你剩下的问题变得更加模糊。有时您会引用“缓冲区支持的接口块数组的索引”，而您的代码从未使用过该索引。这是关于SSBO的，它使用layout（…）形式的接口块缓冲区foo{…} 。

那么为什么它说你可以用顶点输入的值索引到各种“接口块”中呢？

因为事实就是这样。您只需要理解，索引到一个接口块数组中与索引其他数组不同（可能在接口块内部定义，也可能不在接口块内部定义，这无关紧要）。

您还可以索引到：

uniform sampler2D[16] textures; with a 'non-dynamically uniform expression'?

不，不在标准GL中。

关于无绑定纹理的第一件事是，这不是迄今为止发布的任何OpenGL版本（在撰写本文时是4.6）的核心功能。它仅定义为一些现代GPU和驱动程序公开的扩展GL_ARB_bindless_纹理，但该功能的可用性远未普及。

第二，上面的扩展规范解释道：“传递给纹理内置函数的采样器和图像句柄必须是动态统一的”，所以它仍然无法实现这一点。但是，扩展名GL_NV_gpu_shader5删除了该限制。因此，在最近的NVIDIA GPU上，你可以将一个非动态统一的索引放入一系列无绑定纹理采样器中——但如果你这样做，性能仍然会受到很大影响。