Ответ 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;
}