alloc()에 대해서

C Programming Language에서

메모리 할당 함수인 malloc을 설명하기 이전에, alloc이라는 함수를 확인할 수 있습니다.

#define ALLOCSIZE 10000
static char allocbuf[ALLOCSIZE];
static char *allocp = allocbuf;
char *alloc(int n)
{
    if (allocbuf + ALLOCSIZE - allocp >= n)
        { allocp += n; return allocp - n; }
    else { return 0; }
}

위 함수를 보면, allocbuf라는 array를 buffer로 설정하고, 이 buffer을 기준으로 할당을 조절하는것을 알 수가 있습니다.

문제는

if (allocbuf + ALLOCSIZE - allocp >= n){.....

이 부분의 조건문이 잘 이해가 가질 안았습니다.

allocbuf : 배열
ALLOCSIZE : Int형 정수
allocp : 포인터

C언어를 자주 사용하지 않아서 그런지, 포인트의 연산에 대해서 순간 머리가 띵 해졌습니다.

하지만, C언어의 포인터에 대해서 다시 생각해보고, Stack Overflow에서 저와 비슷한 고민을 한 질문을 보고 역으로 해답을 얻을 수 있었습니다.

먼저 C언어의 포인터는 아래처럼 포인터로 선언 후 값, 주소로 모두 접근이 가능합니다.

int *c; int temp[3] = {35, 36, 37};
c = &temp;
c #temp의 주소에 접근
*c #temp의 value를 가지고옴(요 경우는 35)
c++ #temp의 주소에서 1개의 element만큼 이동한 주소를 반환
*(c++) #temp의 주소에서 1개의 element만큼 이동한 주소의 value를 반환(요 경우는 36)

이때 pointer의 value말고, 주소에서 ++ 혹은 --와 같이 int를 더하고, 뺄 경우 pointing한 주소에서 element만큼 +, -가 되는것을 알 수 있습니다.

그러면, alloc의 조건문을 다시 살펴보면
allocbuf : 배열의 첫 위치주소를 가르키는 포인터
ALLOCSIZE : Int형 정수
allocp : allocbuf 내 특정 위치를 가르키는 포인터

즉, allocbuf + ALLOSIZE에서 allocbuf[ALLOCSIZE]위치를 가르키는 포인터가 되고
, 여기에 allocp와 allocbuf 모두 allocbuf배열 의 포인터 이기 때문에 산술연산이 가능합니다.
alloc된 양만큼을 빼고, 이 남은양이 n보다 여유가 있는지를 확인하는 것 이었습니다.

이를 그림으로 표현하면 아래와 같을것 같네요.