如何从Shader获取计算结果？适配视图实现及性能优化咨询

我用C++和OpenGL开发，加载3D模型后需要让它完整显示在窗口里，所有顶点都处于窗口范围内；旋转或缩放模型后，也要能再次将模型适配到窗口。我写了OptimiseView函数，通过把视图矩阵与每个顶点位置相乘，计算屏幕平面的最小/最大坐标，但这个乘法运算耗时很长。

Shader里也会执行同样的乘法操作，但我没法在GPU的Shader中存储这些极值，待所有顶点处理完成后再传回CPU。我试过用Shader全局变量，但它只能存储单个顶点处理过程中的值。

想请教三个问题：

1. 能不能在GPU中计算顶点极值并传回CPU？
2. CAD系统是怎么实现Fit View（适配视图）功能的？
3. 3Dconnexion这类空间鼠标在这个场景下是怎么工作的？

我的OptimiseView函数代码如下：

void OptimiseView(glm::mat4& view, glm::mat4* proj, int trianglesNumber, float* positions)
{
    if ((rotAngleX != 0) || (rotAngleY != 0) || (mouseScroll != 0))
    {
        float minX, maxX, minY, maxY, minZ, maxZ;
        float centreX, centreY;
        float largestDimension;

        int triangleCount{ 0 };

        glm::vec4 vertexPosition;

        if (trianglesNumber < 1)
        {
            minX = maxX = minY = maxY = minZ = maxZ = 0;
        }
        else
        {
            vertexPosition = view * glm::vec4(
                positions[0],
                positions[1],
                positions[2],
                1.0f);

            minX = maxX = vertexPosition.x;
            minY = maxY = vertexPosition.y;
            minZ = maxZ = vertexPosition.z;
        }

        while (triangleCount < trianglesNumber)
        {
            for (int initialPosition : {0, 3, 9})
            {
                vertexPosition = view * glm::vec4(
                    positions[triangleCount * 9 * 2 + initialPosition],
                    positions[triangleCount * 9 * 2 + initialPosition + 1],
                    positions[triangleCount * 9 * 2 + initialPosition + 2],
                    1.0f);

                if (vertexPosition.x < minX) minX = vertexPosition.x;
                if (vertexPosition.x > maxX) maxX = vertexPosition.x;

                if (vertexPosition.y < minY) minY = vertexPosition.y;
                if (vertexPosition.y > maxY) maxY = vertexPosition.y;

                if (vertexPosition.z < minZ) minZ = vertexPosition.z;
                if (vertexPosition.z > maxZ) maxZ = vertexPosition.z;
            }
            triangleCount++;
        }

        centreX = minX + (maxX - minX) / 2.0f;
        centreY = minY + (maxY - minY) / 2.0f;
        largestDimension = ((maxX - minX) >= (maxY - minY)) ? (maxX - minX) : (maxY - minY);

        minX = centreX - largestDimension / 2.0f;
        maxX = centreX + largestDimension / 2.0f;

        minY = centreY - largestDimension / 2.0f;
        maxY = centreY + largestDimension / 2.0f;

        *proj = glm::ortho(minX, maxX, minY, maxY, -minZ, -maxZ);
    }
}

1. GPU计算顶点极值并传回CPU是否可行？ #

可行，可通过两种OpenGL特性实现：

• 计算着色器（Compute Shader）：并行处理所有顶点，用共享内存分组计算局部极值，再通过原子操作合并出全局的min/max值，最后将结果写入缓冲区，映射缓冲区到CPU内存读取即可。这种方式能利用GPU并行性，适合大规模顶点数据。
• 变换反馈（Transform Feedback）：将顶点经过视图矩阵变换后的结果输出到缓冲区，CPU读取该缓冲区数据后再计算极值。这种方式仅把变换工作转移到GPU，极值计算仍在CPU完成，比纯CPU计算快，但效率不如计算着色器直接在GPU算极值。

注意：GPU原子操作处理大量数据时可能有性能瓶颈，分组计算局部极值再合并能减少原子操作次数。

2. CAD系统的Fit View实现方案 #

CAD系统不会每次遍历所有顶点计算，而是提前维护模型的包围盒（Bounding Box）或包围球（Bounding Sphere）：

• 预处理阶段：计算模型的原始轴对齐包围盒（AABB），记录模型的最小/最大X/Y/Z坐标及中心点。
• 视图变换时：将包围盒的8个顶点用当前视图矩阵变换，计算变换后的包围盒极值，再据此调整投影矩阵，让整个包围盒适配窗口。
• 层级优化：若模型是装配体等层级结构，会维护层级包围盒，仅计算当前可见层级的包围盒，大幅减少计算量。

这种方式只需要处理8个包围盒顶点，而非数十万甚至数百万个模型顶点，速度远快于遍历所有顶点的方案。

3. 3Dconnexion空间鼠标的工作方式 #

3Dconnexion空间鼠标通过六自由度（6DoF）输入控制视图：

• 检测平移（X/Y/Z轴）和旋转（俯仰/偏航/滚转）动作，将其转换为对应的视图矩阵变换，实现模型的实时交互操作。
• Fit View通常是用户通过设备上的专属按键触发，触发后系统执行上述包围盒适配逻辑，快速将模型居中并适配窗口。
• 硬件驱动会把输入转换成标准化运动数据，OpenGL程序可通过SDK读取这些数据，更新视图矩阵后结合Fit View逻辑完成交互。

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