Ограниченные назначения указателей

Question

У меня вопрос относительно назначений ограниченных указателей. См. Комментарии в коде для конкретных вопросов. В целом, я просто интересно, что это законно с ограничением (я читал стандарт, но все еще есть вопросы :-(

int* Q = malloc(sizeof(int)*100); 

{ 
    int* restrict R = Q; 

    for(int j = 0; j < rand()%50; j++) 
    { 
     R[j] = rand(); 
    } 

    Q = R; // The standard says assigning restricted child pointers to their parent is illegal. 
      // If Q was a restricted pointer, is it correct to assume that this would be ILLEGAL? 
      // 
      // Since Q is unrestricted, is this a legal assignment? 
      // 
      // I guess I'm just wondering: 
      // What's the appropriate way to carry the value of R out of the block so 
      // the code can continue where the above loop left off? 
} 

{ 
    int* S = Q; // unrestricted child pointers, continuing where R left off above 
    int* T = Q+1; // S and T alias with these assignments 

    for(int j = 0; j < 50; j++) 
    { 
     S[j] = T[j]; 
    } 
} 

Спасибо за вашу помощь!

Answer 1

Поскольку объект модифицируется (массив выделяется в первой строке) не изменяется через Lvalue выражение, за исключением привлечения запретной указатель, R в том блоке, где R объявлена, я думаю, что код в вашем примере хорошо определена.

Если Q были ограничены указатель, пример не будет определен.