c++ - C++中方括号内的双点是什么意思

Question

在文件C:\Program Files (x86)\Windows Kits\8.1\Include\um\OleAuto.h中，我发现了以下不知道如何解释的代码:

WINOLEAUTAPI SafeArrayAccessData(_In_ SAFEARRAY * psa,
_Outptr_result_buffer_(_Inexpressible_(psa->cbElements * 
product(psa->rgsabound[0..psa->cDims-1]->cElements))) 
void HUGEP** ppvData);

注意方括号内的双句点。这是 C++ 中的新运算符吗？

Answer 1

这似乎是一个 SAL 注释，用于告诉静态分析器缓冲区的大小太复杂，无法使用普通注释表示:

https://msdn.microsoft.com/en-us/library/jj159527.aspx

它不必包含有效的语法，但它包含的内容可能是为了简洁地向人类读者说明如何计算缓冲区的大小。

如果我自己解释它，我猜这意味着下面的代码会产生什么:

DWORD CalculateInexpressibleSafeArrayDataSize(SAFEARRAY * psa)
{
    DWORD cbSize = psa->cbElements;
    for (int i = 0; i < psa->cDims; i++) // product()
        cbSize *= psa->rgsabound[i]->cElements;
    return cbSize;
}