Question

有人能够将这段代码翻译成人类可读的吗？

|704| assert(((uintptr_t)pSource & 0xF) == 0);

基本上这个断言在我的程序中失败了，但不是100％的时间（没有我重新编译任何东西），这很奇怪。

完整的XMLoadFloat4A函数（第＃697行 - DirectXMathConvert.inl）：

|697| _Use_decl_annotations_
|698| inline XMVECTOR XM_CALLCONV XMLoadFloat4A
|699| (
|700|     const XMFLOAT4A* pSource
|701| )
|702| {
|703|     assert(pSource);
|704|     assert(((uintptr_t)pSource & 0xF) == 0);
|705| #if defined(_XM_NO_INTRINSICS_)
|706|     XMVECTOR V;
|707|     V.vector4_f32[0] = pSource->x;
|708|     V.vector4_f32[1] = pSource->y;
|709|     V.vector4_f32[2] = pSource->z;
|710|     V.vector4_f32[3] = pSource->w;
|711|     return V;
|712| #elif defined(_XM_ARM_NEON_INTRINSICS_)
|713|     return vld1q_f32_ex( reinterpret_cast<const float*>(pSource), 128 );
|714| #elif defined(_XM_SSE_INTRINSICS_)
|715|     return _mm_load_ps( &pSource->x );
|716| #endif
|717| }

用例：

// Convert an XMFLOAT4A to XMVECTOR
XMVECTOR getXMVECTORfromXMFLOAT4A(const XMFLOAT4A& v) {
    return XMLoadFloat4A(&v);
}
XMVECTOR foo = getXMVECTORfromXMFLOAT4A(XMFLOAT4A(1.0, 2.0, 3.0, 1.0));

// Transform XMFLOAT4A with XMMATRIX
XMFLOAT4A XMFloat4Transform(const XMFLOAT4A& v, const XMMATRIX& m) {
    XMVECTOR vec = XMLoadFloat4A(&v);
    XMVECTOR rot = XMVector4Transform(vec, m);
    XMFLOAT4A result;
    XMStoreFloat4A(&result, rot);
    return result;
}
XMMATRIX m = XMMatrixLookAtLH(...);
XMFLOAT4A foo (1.0, 2.0, 3.0, 1.0);
XMFLOAT4A bar = XMFloat4Transform(foo, m);

为什么这个断言失败了？为什么不100％的时间？

Answer 1

由MSDN表示XMFLOAT4A＆＃34;描述在16字节边界上对齐的XMFLOAT4结构。＆＃34;

这就是assert正在检查的内容。 XMLoadFloat4A有一个XMFLOAT4是不够的，只需要为ist float成员（8个字节）对齐，它需要一个{16}字节边界对齐的XMFLOAT4A。这可能是出于性能原因，或者因为内在函数需要它。

通常XMFLOAT4A标有__declspec(align(16))，因此编译器知道他必须将此结构与16个字节对齐。在您的情况下，您可以检查XMFLOAT4A的声明。我建议使用compiler switch /EP，它在预处理器阶段之后和编译器启动之前写出一个文件。这可能有助于您通过XMFLOAT4A声明来检测是否存在某些宏观混乱。

您还应该检查哪个确切的呼叫失败。

另外：MSDN有一个article on __declspec(align(#))。这表示如果您将XMFLOAT4A的值传递给函数，则会失去对齐。在你的代码中我只看到通过引用传递，但这仍然是一个值得记住的有趣点。

DirectXMathConvert.inl断言失败（DirectXMathConvert.inl第704行）

1 个答案: