`restrict` 키워드가 내포하는 엄격한 앨리어싱 수준은 무엇입니까?

Question

I의 구조는 다음과 같습니다

typedef struct{ 
    int data[LENGTH]; 
}Data; 

을 등처럼 사용

Data* dt=CALLOC(...) 

int foo(Data* restrict d){ 
    for(...) 
     d[i]->data[j]; 
    //do stuff with data[] 
} 

내 질문은 : 또한 그 구성원에 영향을 d에서 엄격한 앨리어싱을 제거 하는가 아니면 내가에 restrict를 사용해야 할 그들을 별도로? 다시 말하면, restrict은 모두 구조체에 포함 된 포인터가 동일한 처리를 받습니까?

편집 : 구조체에 대한 포인터가 restrict 에드을 얻는 경우에 (내 예제의 경우처럼) 나는, 그 안에 포함 된 다른 포인터뿐만 아니라 제한 될 것이라고 의미 앨리어싱의 수준으로.

Answer 1

restrict은 포인터를 통해 검색된 값이 아닌 주석 된 포인터 자체 (또는 포인터 연산과 같이 포인터에서 생성 된 포인터)에만 적용됩니다.

'엄격한 앨리어싱 수준'이 의미하는 바는 확실하지 않지만 restrict은 엄격한 앨리어싱보다 더 강력한 약속입니다. 엄격한 앨리어스 (aliasing)는 호환 가능한 타입의 포인터가 앨리어스 (alias) 할 수있게합니다 : restrict은 앨리어스가 전혀 없다는 약속입니다.