Qual è il significato di un doppio punto all'interno di una parentesi quadra in C++

Question

Nel file C:\Program Files (x86)\Windows Kits\8.1\Include\um\OleAuto.h, ho trovato il seguente codice che non so come interpretare:

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

Annotare il doppio periodo all'interno del quadrato staffa. È un nuovo operatore in C++?

Answer 1

Sembra essere un'annotazione SAL utilizzato per raccontare l'analizzatore statica che la dimensione del buffer è troppo complesso per rappresentare con le annotazioni ordinarie:

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

Esso non deve contenere sintassi valida , ma ciò che contiene probabilmente è pensato per illustrare sinteticamente ad un lettore umano come si potrebbe calcolare la dimensione del buffer.

Se devo interpretare me stesso, direi che significa ciò che il seguente codice produrrebbe:

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