C ++ / CLI编组/内存和结构互操作性的别名

Question

我将克里斯托弗·迪瓦恩（Christophe Devine）的FIPS-197兼容AES实现包装在托管C ++ / CLI类中。 在从20到52个块（每个4096字节）的任何地方进行加密/解密后，我遇到了麻烦。 我已经能够将问题缩小为：

如果我声明一个指向aes_context结构的本机指针，然后在aes_context函数中重新aes_context ，就像这样

Aes::Aes()
    : m_Context(new aes_context)
{
}

然后代码将正常运行。

但是当我尝试将aes_context声明为array<System::Byte>^然后在构造函数中执行此操作

Aes::Aes()
    : m_Context(gcnew array<System::Byte>(sizeof(aes_context)))
{
}

尽管它确实可以编译并且理论上应该可以工作，但现在不行了

pin_ptr<System::Byte> pinned_context = &m_Context[0];
auto context = (aes_context*)pinned_context;
aes_crypt_cbc(context, ...);

根据我有限的经验，这应该有效。 唯一的区别是内存是由GC分配的，在将内存传递给AES库之前，我必须固定内存。 我还应该澄清，这是在运行时发生的错误，而不是编译器错误。

我无法以其他任何方式重现此问题，并且针对其他参考实现运行的所有测试都没有揭示实现的任何问题。 我什至设置了两个完全相同的测试用例，一个在C中，一个在C ++ / CLI中（使用托管包装器调用AES库）。 由托管字节数组支持时，托管包装器不起作用！

由于在处理完大量数据后问题仍然无法解决，所以我一直认为这是一个截断或对齐问题，但是无论我分配了多少，都可以得到相同的结果。

我正在使用Visual Studio 2012 C ++编译器。

有谁知道可能暗示这种情况的信息？

Answer 1

不确定这是唯一的问题，但是aes_context被声明为包含指针rk ；

typedef struct
{
    int nr;                     /*!<  number of rounds  */
    unsigned long *rk;          /*!<  AES round keys    */
    unsigned long buf[68];      /*!<  unaligned data    */
}
aes_context;

...（例如，由aes_setkey_enc为指向同一上下文中的insinde buf地址）；

ctx->rk = RK = ctx->buf;

如果-在该指针集和您固定指针之间-上下文存储块在内存中移动，ctx-> rk将指向未分配的内存。

我怀疑将m_Context为固定指针以使其永久固定，而不是在每次调用时将其临时固定都会使程序成功运行。