SharpDx中Matrix4*Vec4与TransformCoordinate的原理差异疑问

核心差异：行主序 vs 列主序 #

矩阵的主序本质是内存存储顺序和变换乘法顺序的绑定：

• 行主序：矩阵的每一行连续存储在内存中，变换时使用行向量左乘矩阵（v * M），变换顺序从左到右依次应用。
• 列主序：矩阵的每一列连续存储在内存中，变换时使用列向量右乘矩阵（M * v），变换顺序从右到左依次应用。

两种主序的矩阵互为转置关系——把行主序矩阵转置，就得到等价变换逻辑的列主序矩阵，反之亦然。

SharpDX采用列主序的原因 #

1. 对齐DirectX原生API
   DirectX底层的D3DMATRIX结构体就是列主序设计，SharpDX作为DirectX的托管封装，完全延续这一设计，避免了矩阵转置的额外性能开销，同时保证和原生API的数据交互无歧义。
2. 图形行业惯例
   主流图形API（DirectX、Metal）均默认采用列主序，仅OpenGL默认行主序（但也支持列主序配置）。这种设计能让熟悉DirectX生态的开发者无缝过渡，减少认知成本。
3. 线性代数直观性
   列主序下，变换矩阵的列直接对应变换后的空间基向量：
   • 平移矩阵的第四列就是平移向量
   • 旋转矩阵的前三列分别是旋转后的X/Y/Z轴方向向量
     此时列向量右乘矩阵的过程，本质就是用变换后的基向量对原向量进行线性组合，完全贴合线性代数中“矩阵变换是空间基变换”的核心逻辑，更便于推导和理解。

你的问题根源：矩阵主序不兼容 #

你实现的是行主序矩阵系统，采用行向量 * 矩阵的计算方式；而SharpDX生成的LookAt、PerspectiveFov矩阵是列主序，其Vector3.TransformCoordinate/Vector4.Transform方法内部执行的是矩阵 * 列向量的计算。

两者的变换逻辑互为转置关系：

• 假设你需要的行主序MVP矩阵为M行 = M_model * M_view * M_proj（行向量左乘，变换顺序：模型→视图→投影）
• SharpDX生成的列主序MVP矩阵为M列 = M_proj * M_view * M_model（列向量右乘，变换顺序同样是模型→视图→投影）
• 两者满足M行 = M列^T（M列的转置等于M行）

所以当你直接用自己的行向量左乘SharpDX的列主序矩阵时，结果必然错误；转置SharpDX的MVP矩阵后，就得到了符合你行主序系统的矩阵，此时行向量左乘就能得到正确的3D变换结果。

验证小例子：平移矩阵 #

• 行主序平移矩阵（内存存储）：[1,0,0,0; 0,1,0,0; 0,0,1,0; tx,ty,tz,1]，行向量[x,y,z,1]左乘后得到[x+tx, y+ty, z+tz, 1]
• 列主序平移矩阵（内存存储）：[1,0,0,tx; 0,1,0,ty; 0,0,1,tz; 0,0,0,1]，列向量[x;y;z;1]右乘后得到[x+tx; y+ty; z+tz; 1]
• 列主序矩阵转置后，完全等于行主序矩阵，此时行向量左乘转置后的矩阵就能得到正确结果。

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