DirectXMath

DirectXMath

DirectXMath微软为图形应用程序提供的数学库，支持SIMD的，C++形式的API。SIMD是Single Instruction Multiple Data（单指令多数据）的简称，支持只用一个CPU指令，同时处理多个数据。比如，在Windows平台下SIMD指令可以同时处理4个32位的浮点数，带来了显著的性能提升。例如，两个向量相加，每个向量都有4个分量，通常需要执行4次加法。使用SIMD，只需要一个指令完成这4次加法。DirectXMath是作为Windows SDK中的一部分发布的（第三章，“Tools of the Trade”，将会讨论Windows SDK）。要使用DirectXMath库，只要简单的在应用程序中包含DirectxMath.h头文件，所有的实现文件都已经包含在头文件了，没有其他的库需要链接。

Vectors

Vectors由XMVECTOR数据类型实现，XMVECTOR是一个16位对齐的数据类型，对应于SIMD寄存器。要想获得最好的性能，所有向量操作（比如加减）都是通过XMVECTOR实例执行。然而，XMVECTOR是一种封闭的数据类型，因此向量中的单个分量是不能像结构体的成员那样访问的。此外，由于这种数据类型是16位对齐的，因此也不适用于存储类类型成员。而是建议使用XMFLOAT2，XMFLOAT3，和XMFLOAT4来储存类类型。这三种类型分别支持访问两个，三个，四个内部分量（x，y，z，w）。

Loading and Storing

为了充分利用SIMD指令，你需要把XMFLOAT*实例的数据拷贝到XMVECTOR对象中。可以使用下面的load方法：

XMVECTOR XMLoadFloat2(const XMFLOAT2* pSource);
XMVECTOR XMLoadFloat3(const XMFLOAT3* pSource);
XMVECTOR XMLoadFloat4(const XMFLOAT4* pSource);
相反，把数据从XMVECTOR实例中拷贝到XMFLOAT*对象中可以使用下面的store方法：
void XMStoreFloat2(XMFLOAT2* pDestination, FXMVECTOR V);
void XMStoreFloat3(XMFLOAT3* pDestination, FXMVECTOR V);
void XMStoreFloat4(XMFLOAT4* pDestination, FXMVECTOR V);

 

因此，DirectXMath中向量操作的方式为，使用XMFLOAT*实例存储类类型成员，要使用SIMD向量运算就数据load到XMVECTOR对象中，如果需要保存向量运算输出结果，就把XMVECTOR对象的结果再store回XMFLOAT*类成员中。

注意：
DirectXMath支持很多其他数据类型的向量，包括byte，int，short，half-float（16位浮点数）。他们都遵循相同的例外和调用方式。例如，XMBYTE4存储8-bit有符号数，对应的load和store方法为XMLoadByte4()和XMStoreByte4()。

Calling Conventions（调用约定）

注意store function中参数列表中的FXMVECTOR类型。这是XMVECTOR四个别名中的一个，另外三个分别是GXMVECTOR，HXMVECTOR，和CXMVECTOR。这些别名主要用于优化数据布局以前平台间的移植性。在x86和Xbox 860平台，这些都是XMVECTOR类型。对于x64平台，是XMVECTOR的引用类型。传递XMVECTOR参数的规则如下：
前三个XMVECTOR类型的输入参数使用FXMVECTOR。
第四个XMVECTOR类型的输入参数使用GXMVECTOR。
第五个和第六个XMVECTOR类型的输入参数使用HXMVECTOR。
如果还有额外的XMVECTOR类型的输入参数则使用CXMVECTOR。
所有的输出都使用XMVECTOR*或者XMVECTOR&类型的参数。
更多关于DirectXMath的调用约定可以查看在线文档：http://msdn.microsoft.com/en-us/library/windows/desktop/hh437833(v=vs.85).aspx。

 

Accessors and Mutators

虽然XMVECTOR对象是封闭的，但是要读写单个的分量不需要store或者load该对象。 可以使用下面的存取函数：

float XMVectorGetX(XMVECTOR V);
float XMVectorGetY(XMVECTOR V);
float XMVectorGetZ(XMVECTOR V);
float XMVectorGetW(XMVECTOR V);
void XMVectorSetX(XMVECTOR V, float X);
void XMVectorSetY(XMVECTOR V, float Y);
void XMVectorSetZ(XMVECTOR V, float Z);
void XMVectorSetW(XMVECTOR V, float W);

Initialization Functions

初始化XMVECTOR对象也有多种方法。表2.2列出了一些常用的初始化函数。

表2.2 Common DirectXMath Vector Initialization Functions

 

Operators（基本运算）

XMVECTOR提供了一系列重载运算符函数用于向量与向量的加减乘除运算，同样包括标量与向量的乘法运算。函数如下：

XMVECTOR operator+ (FXMVECTOR V);
XMVECTOR operator- (FXMVECTOR V);
XMVECTOR& operator+= (XMVECTOR& V1, FXMVECTOR V2);
XMVECTOR& operator-= (XMVECTOR& V1, FXMVECTOR V2);
XMVECTOR& operator*= (XMVECTOR& V1, FXMVECTOR V2);
XMVECTOR& operator/= (XMVECTOR& V1, FXMVECTOR V2);
XMVECTOR& operator*= (XMVECTOR& V, float S);
XMVECTOR& operator/= (XMVECTOR& V, float S);
XMVECTOR operator+ (FXMVECTOR V1, FXMVECTOR V2);
XMVECTOR operator- (FXMVECTOR V1, FXMVECTOR V2);
XMVECTOR operator* (FXMVECTOR V1, FXMVECTOR V2);
XMVECTOR operator/ (FXMVECTOR V1, FXMVECTOR V2);
XMVECTOR operator* (FXMVECTOR V, float S);
XMVECTOR operator* (float S, FXMVECTOR V);
XMVECTOR operator/ (FXMVECTOR V, float S);

Vector Functions

DirectXMath提供了各种各样的向量函数用于本章前面讨论过的向量运算。表2.3列出了3D向量常用的函数。需要注意的是2D和4D向量也含有大部分函数。

表2.3 Common DirectXMath 3D Vector Functions

注意：
表2.3所列出的向量函数中，操作返回值为标量的，会把标量值复制给XMVECTOR中每一个分量。

 

Matrices

Matrices由XMMATRIX数据类型实现，是一个包含4个XMVECTOR对象的数组。与XMVECTOR一样，XMMATRIX对象也不适用于存储类类型。而是使用XMFLOAT3X3和XMFLOAT4X4数据类型。XMFLOAT4X4的结构如下：

struct XMFLOAT4X4
{
	union
	{
		struct
		{
			float _11, _12, _13, _14;
			float _21, _22, _23, _24;
			float _31, _32, _33, _34;
			float _41, _42, _43, _44;
		};
		float m[4][4];
	};
};

因此访问矩阵中的元素，可以使用传统矩阵下标的方式或者通过元素处于数组中第几行第几列（以0为起点）访问。

 

Loading and Storing

XMMATRIX与XMVECTOR具有类似的load和store函数。例如：
XMVECTOR XMLoadFloat4×4(const XMFLOAT4X4* pSource);
void XMStoreFloat4×4(XMFLOAT4X4* pDestination, FXMMATRIX M);
在store函数的参数列表中有一个FXMMATRIX类型，与XMVECTOR一样，这是XMMATRIX的两个别名之一，另外一个是CXMMATRIX。基本上，在XMMATRIX调用约定中使用FXXMMATRIX作为第一个参数类型，CXMVECTOR作为任何其他参数的类型。这种规定也有一些例外情况，更多细节请阅读在线文档。

Accessors, Mutators, and Initialization

XMMATRIX可以通过可访问的成员变量r访问内部的XMVECTOR对象。可以使用该成员r与XMVECTOR的accessor，mutator，和initialization函数结合来实现XMMATRIX的accessor，mutator，和initialization函数。XMMATRIX也可以通过两种构造函数进行初始化，一种是传递4个XMVECTOR对象，另一个是直接传递16个单独的浮点数。另外，初始化一个单位矩阵可以使用以下函数：
XMMATRIX XMMatrixIdentity();

 

Operators

XMMATRIX提供了一系列重载运算符函数用于矩阵与矩阵的加减乘除运算，同样包括标量与矩阵的乘法运算。函数如下：

XMMATRIX& operator+= (FXMMATRIX M);
XMMATRIX& operator-= (FXMMATRIX M);
XMMATRIX& operator*= (FXMMATRIX M);
XMMATRIX& operator*= (float S);
XMMATRIX& operator/= (float S);
XMMATRIX operator+ (FXMMATRIX M) const;
XMMATRIX operator- (FXMMATRIX M) const;
XMMATRIX operator* (FXMMATRIX M) const;
XMMATRIX operator* (float S) const;
XMMATRIX operator/ (float S) const;

 

Matrix Functions

DirectXMath提供了大量进行矩阵运算的函数。表2.4列出了一些比较常用的函数。

表2.4 Common DirectXMath Matrix Functions

表2.4中的最后三个函数使用三维向量执行向量-矩阵乘法。注意在任何矩阵函数中都不需要显式指定输入向量的w分量。在XMVector3Transform()和XMVector3TransformCoord()函数中，w分量都设为1.0。XMVector3TransformNormal()函数中，矩阵的第四行（即计算平移的那一行）被忽略。XMVector3Transform()函数返回的向量中w分量可能是非齐次的（不是1.0）；而XMVector3TransformCoord()函数的返回值向量中w分量是齐次的。

 

总结

本意主要介绍了3D图形中的数学知识。你已经学习了向量，矩阵，坐标系统，和矩阵变换，以及它们在图形编程中的使用。同样还了解了一个为图形应用程序编写的跨平台，支持SIMD，提供C++ API的DirectXMath库。
虽然这些内容集中介绍了图形编程的核心概念，但是这只是图形学这个大的主题的一部分。事实上，有些书籍整本书都是讲解图形相关的数学知识，本中只有这一章讲解数学。同样，DirectXMath库比本书中列出的函数要多的多。如果你有兴趣研究这些课题，可以参考其他的书籍和在线资料。