我如何说服glslang向我提供有关未规划多维数组的反射信息？

Question

我在基于C ++的Vulkan项目中使用glslang来推断有关着色器的信息，这些信息用于帮助自动构建我的描述符集和描述符集布局。我已经谈到我需要支持unsized / runtime-defined数组（参见https://www.khronos.org/opengl/wiki/Data_Type_(GLSL)#Arrays_of_arrays）。

glslang库适当地编译着色器，当查看SPIRV时，确实显示我正在生成TypeRuntimeArray。

然而，当通过反射挖掘时，除了最简单的情况之外都没有反映出来。

我已采取措施确保反射未被优化或隐藏。我已经尝试手动启用数组扩展数组，并尝试过顶点，计算和片段着色器阶段。着色器是用#version 450编译的。我试过看看std430 vs 140是否提供了不同的结果但无济于事。

我还确保在索引到unsized数组时，我没有使用常量索引。我试过从内置类型（如gl_VertexIndex）和push_constant块或单独的uniform-blocks中提供索引

采用以下适当反映的示例：

layout(std430) buffer Buffer1

    float[] unsizedArray; 
 myBuffer1;

unsizedArray的反射可以从TProgram.dumpReflection（）获得并获得反射并使用它进行游戏。

但是，它只适用于那个简单的情况。如果我们尝试

layout(std430) buffer Buffer1

    float[][10] unsizedArray; 
 myBuffer1;

要么

struct MyType
    vec4 thingy;
    int otherThingy;

layout(std430) buffer Buffer1

    MyType[] unsizedArray; 
 myBuffer1;

没有提供内部未上化阵列的反射。我们可以从第一个失败的示例或MyType的变量中获得外部数组的反射，但似乎没有任何方法可以获取内部数组信息。据我所知，没有办法从反射变量“走上”树树。

除了解析spirv之外我还有什么可以说服glslang反映未经过调整的数组？

编辑：提供更多信息的示例

#version 450

struct MyStruct
    float z;
;

layout(binding = 5,std430) buffer StorageBlock
    float[] myArray;
 storage;

layout(push_constant, std430) uniform Constant
    int index;
 ps;

void main() 
    float test = storage.myArray[ps.index];

// A simple function I I built just to show this. There are quite a few other functions provided
// by both the reflection and glsl::TProgram object, but I haven't found anyway to get the inner array.

function parseUniform(glslang::TObjectReflection& reflection)
    reflection->dump(); // This just outputs a string to stdout
    auto type = reflection.getType();
    if( type->isArray() ) 
        bool isUnsizedArray = type->isUnsizedArray();
        bool containsUnsizedArray = type->containsUnsizedArray();
        bool isArrayOfArrays = type->isArrayOfArrays();
        bool isSizedArray = type->isSizedArray();

        auto arraySizes = (glslang::TArraySizes*)type->getArraySizes();
        bool isInnerUnsized = arraySizes->isInnerUnsized();
        bool hasUnsized = arraySizes->hasUnsized();
        int  numDims = arraySizes->getNumDims();
        bool isVariablyIndexed = arraySizes->isVariablyIndexed();

        std::cout << "isUnsizedArray(): " << isUnsizedArray << "\n";
        std::cout << "containsUnsizedArray(): " << containsUnsizedArray << "\n";
        std::cout << "isArrayOfArrays(): " << isArrayOfArrays << "\n";
        std::cout << "isSizedArray(): " << isSizedArray << "\n";
        std::cout << "isInnerUnsized(): " << isInnerUnsized << "\n";
        std::cout << "numDims: " << numDims << "\n";
        std::cout << "isVariablyIndexed(): " << isVariablyIndexed << "\n";
        std::cout << "hasUnsized(): " << hasUnsized << "\n";

如果我们使用上面的函数在定义的存储块上查询反射数据

layout(binding = 5,std430) buffer StorageBlock
    float[] myArray;
 storage;

输出是

StorageBlock.myArray: offset 0, type 1406, size 0, index 0, binding -1, stages 32, arrayStride 4, topLevelArrayStride 4  
isUnsizedArray(): 1  
containsUnsizedArray(): 1  
isArrayOfArrays(): 0  
isSizedArray(): 0  
isInnerUnsized(): 0  
numDims: 1  
isVariablyIndexed(): 1  
hasUnsized(): 1

如果我们调用一个简单的多维数组：

    layout(binding = 5,std430) buffer StorageBlock
       float[][5] myArray;
     storage;

The singular reflected uniform that is provided outputs   
StorageBlock.myArray: offset 0, type 1406, size 1, index 0, binding -1, stages 32, arrayStride 4, topLevelArrayStride 40  
isUnsizedArray(): 0  
containsUnsizedArray(): 0  
isArrayOfArrays(): 0  
isSizedArray(): 1  
isInnerUnsized(): 0  
numDims: 1  
isVariablyIndexed(): 0  
hasUnsized(): 0

如果我们使用结构调用我们只得到：

    layout(binding = 5,std430) buffer StorageBlock
       MyStruct[] myArray;
     storage;

我们得到：

StorageBlock.myArray.z: offset 0, type 1406, size 1, index 0, binding -1, stages 32, topLevelArrayStride 4

因为.z当然是单个浮点而不是数组，所以我们不会得到任何数组信息。在所有这些测试中，只有一件制服被“反映”