c++ - MSVC++ 限制关键字和局部变量

Question

我已经阅读了很多关于 restrict 关键字的文章。但实际上，我能找到的每个示例似乎都只将输入参数引用到一个函数，也许还有一个值。我需要澄清我的理解。

我发现一个函数看起来完全违反了带有输入参数和局部变量的关键字规则。

此函数使用指向缓冲区的 void* 调用，指针声明为 __restrict(这是 Microsoft Visual C++)。然而在函数的后面，声明了一个类型为 UCHAR* 的局部变量指针，并使其指向相同的受限输入参数缓冲区。

这里是我正在谈论的函数的一个严重缩减版本:

void Foo(int nVersion, int nX, int nY, int nWidth, void * __restrict pBuffer) const
{
    // ... blah blah blah
    UCHAR * __restrict pBufferPtr = ((UCHAR *) pBuffer) + 10;  // Isn't this aliasing?
    const void * __restrict pData =  (blah blah blah);     //... Get from some function call;
    memcpy(pBufferPtr, pData, nWidth);
}

上面的例子是否违反了restrict的规则？

Answer 1

restrict 关键字仅表示指针应指向内存的唯一部分。在上面的代码中，pBuffer 指向了一个东西，我们称它为A，pBufferPtr 指向了A+10，PData 指向了一个完全不同的东西， B，所以没有违规。