[c] size_t 대 uintptr_t

당신의 진술에 관하여 :

“C 표준 size_t은 모든 배열 색인을 보유 할 수있는 유형을 보장합니다 . 이는 논리적으로 size_t모든 포인터 유형을 보유 할 수 있어야 함을 의미합니다 .”

이것은 실제로 오류입니다 (잘못된 추론으로 인한 오해) ^(a) . 후자는 전자에서 나온다고 생각할 수도 있지만 실제로는 그렇지 않습니다.

포인터와 배열 인덱스는 동일 하지 않습니다 . 배열을 65536 요소로 제한하지만 포인터가 거대한 128 비트 주소 공간으로 모든 값을 지정할 수 있도록하는 적합한 구현을 예상하는 것은 그럴듯합니다.

C99는 size_t변수 의 상한 이 정의되며 SIZE_MAX65535만큼 낮을 수 있다고 명시합니다 (C11에서 변경되지 않은 C99 TR3, 7.18.3 참조). 현대 시스템에서이 범위로 제한되면 포인터가 상당히 제한됩니다.

실제로, 당신은 아마도 당신의 가정이 적용된다는 것을 알게 될 것입니다. 그러나 그것은 표준이 그것을 보장하기 때문이 아닙니다. 실제로 보장 하지 않기 때문입니다.

^(a) 이것은 어떤 형태의 개인적인 공격 이 아니며 , 비판적 사고의 맥락에서 왜 당신의 진술이 잘못된 것인지를 진술하는 것입니다. 예를 들어 다음과 같은 추론도 유효하지 않습니다.

모든 강아지가 귀엽다. 이거 귀여워 그러므로 이것은 강아지 여야합니다.

강아지의 귀여움이나 다른 점은 여기에 아무런 관련이 없습니다. 내가 말하고있는 것은 두 가지 사실이 결론으로 ​​이어지지 않는다는 것입니다. 첫 번째 두 문장은 강아지 가 아닌 귀여운 것들의 존재를 허용하기 때문입니다 .

이것은 반드시 두 번째 명령을 요구하지는 않는 첫 번째 진술과 유사합니다.

답변

int main(){
  int a[4]={0,1,5,3};
  int a0 = a[0];
  int a1 = *(a+1);
  int a2 = *(2+a);
  int a3 = 3[a];
  return a2;
}