85

我对矩阵定义感到非常困惑。我有一个矩阵类，它包含一个float[16]我认为是行主要的，基于以下观察：

float matrixA[16] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 };
float matrixB[4][4] = { { 0, 1, 2, 3 }, { 4, 5, 6, 7 }, { 8, 9, 10, 11 }, { 12, 13, 14, 15 } };

matrixA并且matrixB两者在内存中具有相同的线性布局（即所有数字都按顺序排列）。根据http://en.wikipedia.org/wiki/Row-major_order这表示行主要布局。

matrixA[0] == matrixB[0][0];
matrixA[3] == matrixB[0][3];
matrixA[4] == matrixB[1][0];
matrixA[7] == matrixB[1][3];

因此，matrixB[0]= 第 0 行，matrixB[1]= 第 1 行等。同样，这表示行优先布局。

当我创建一个如下所示的翻译矩阵时，我的问题/困惑就出现了： 

1, 0, 0, transX
0, 1, 0, transY
0, 0, 1, transZ
0, 0, 0, 1

这在内存中被布置为，{ 1, 0, 0, transX, 0, 1, 0, transY, 0, 0, 1, transZ, 0, 0, 0, 1 }。

然后，当我调用glUniformMatrix4fv时，我需要将转置标志设置为 GL_FALSE，表明它是列优先的，否则无法正确应用诸如平移/缩放等转换：

如果 transpose 为 GL_FALSE，则假定每个矩阵以列主要顺序提供。如果 transpose 为 GL_TRUE，则假定每个矩阵以行主要顺序提供。

为什么我的矩阵（看起来是行优先的）需要作为列优先传递给 OpenGL？

4

4 回答 4

74

总结 SigTerm 和 dsharlet 的答案： 在 GLSL 中变换向量的常用方法是将向量左乘以变换矩阵：

mat4 T; vec4 v; vec4 v_transformed; 
v_transformed = T*v;

为了使其正常工作，OpenGL 期望内存布局为T，如 SigTerm 所述，

{1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, transX, transY, transZ, 1 }

这也被称为“列专业”。但是，在您的着色器代码中（如您的注释所示），您将向量右乘以变换矩阵：

v_transformed = v*T;

只有在转置时才会产生正确的结果T，即具有布局

{ 1, 0, 0, transX, 0, 1, 0, transY, 0, 0, 1, transZ, 0, 0, 0, 1 }

（即“行专业”）。由于您已经为着色器提供了正确的布局，即行专业，因此没有必要transpose设置glUniform4v.

于 2013-10-08T16:31:09.733 回答
73

opengl 文档中使用的矩阵表示法没有描述 OpenGL 矩阵的内存布局

如果您认为放弃/忘记整个“行/列主要”的事情会更容易。这是因为除了行/列专业之外，程序员还可以决定他希望如何在内存中布置矩阵（相邻元素是形成行还是列），除了符号之外，这会增加混乱。

OpenGL 矩阵与 directx 矩阵具有相同的内存布局。

x.x x.y x.z 0
y.x y.y y.z 0
z.x z.y z.z 0
p.x p.y p.z 1

或者

{ x.x x.y x.z 0 y.x y.y y.z 0 z.x z.y z.z 0 p.x p.y p.z 1 }

  • x、y、z 是描述矩阵坐标系（相对于全局坐标系内的局部坐标系）的 3 分量向量。

  • p 是描述矩阵坐标系原点的三分量向量。

这意味着翻译矩阵应该像这样在内存中布局：

{ 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, transX, transY, transZ, 1 }.

把它留在那里，其余的应该很容易。

---来自旧的opengl常见问题解答--

9.005 OpenGL 矩阵是列优先还是行优先？

出于编程目的，OpenGL 矩阵是 16 值数组，其基向量在内存中连续布局。平移分量占据 16 元素矩阵的第 13、14 和 15 个元素，其中索引从 1 到 16 编号，如 OpenGL 2.1 规范的第 2.11.2 节所述。

列优先与行优先纯粹是一种符号约定。请注意，与列优先矩阵的后乘法产生与行优先矩阵的预乘相同的结果。OpenGL 规范和 OpenGL 参考手册都使用列优先表示法。您可以使用任何符号，只要清楚说明即可。

可悲的是，在规范和蓝皮书中使用列优先格式导致 OpenGL 编程社区无休止的混乱。列优先表示法表明矩阵没有像程序员所期望的那样布置在内存中。

于 2013-07-18T08:30:57.583 回答
16

您正在处理两个不同的问题。

首先，您的示例正在处理内存布局。您的 [4][4] 数组是行主要的，因为您使用了 C 多维数组建立的约定来匹配您的线性数组。

第二个问题是关于如何在程序中解释矩阵的约定问题。glUniformMatrix4fv用于设置着色器参数。是否为行向量或列向量转换计算转换取决于您如何在着色器代码中使用矩阵。因为您说您需要使用列向量，所以我假设您的着色器代码使用矩阵A和列向量x来计算x' = A x。

我认为glUniformMatrix的文档令人困惑。转置参数的描述是一种非常迂回的方式，只是说矩阵是转置的还是不是。OpenGL 本身只是将该数据传输到您的着色器，无论您是否要转置它是您应该为您的程序建立的约定问题。

这个链接有一些很好的进一步讨论：http ://steve.hollasch.net/cgindex/math/matrix/column-vec.html

于 2013-07-18T08:45:20.070 回答
2

我认为这里现有的答案非常无用，我可以从评论中看到人们在阅读后感到困惑，所以这是看待这种情况的另一种方式。

作为程序员，如果我想在内存中存储一​​个数组，我不能存储一个矩形网格的数字，因为计算机内存不能这样工作，我必须以线性序列存储数字。

假设我有一个 2x2 矩阵，我在我的代码中初始化它，如下所示：

const matrix = [a, b, c, d];

只要我知道每个数组元素代表什么，我就可以在代码的其他部分成功地使用这个矩阵。

OpenGL 规范定义了每个索引位置所代表的内容，这就是构建数组并将其传递给 OpenGL 并让它执行您期望的操作所需要知道的全部内容。

只有当我想在描述我的代码的文档中编写矩阵时，行或列的主要问题才会发挥作用，因为数学家将矩阵写成矩形数字网格。然而，这只是一种约定，一种写下来的方式，对我编写的代码或计算机内存中数字的排列没有影响。您可以使用其他符号轻松地重写这些数学论文，并且效果也一样。

对于上面的数组，我有两个选项可以在我的文档中将此数组写为矩形网格：

|a b|  OR  |a c|
|c d|      |b d|

无论我选择哪种方式编写文档，这都不会影响我的代码或计算机内存中数字的顺序，它只是文档。

为了让阅读我的文档的人知道我在程序中将值存储在线性数组中的顺序，我可以指定这是矩阵的列主要或行主要表示形式。如果它是列主要顺序，那么我应该遍历列以获得数字的线性排列。如果这是行主要表示，那么我应该遍历行以获得数字的线性排列。

一般来说，按行主要顺序编写文档会使程序员的生活更轻松，因为如果我想翻译这个矩阵

|a b c|
|d e f|
|g h i|

成代码，我可以这样写：

const matrix = [
  a, b, c
  d, e, f
  g, h, i
];
于 2021-07-24T01:05:19.903 回答