[CS50] 자료구조 - malloc과 포인터 복습

아래와 같은 main 함수 코드가 있다. 여기서 문제가 될 만한 지점을 발견할 수 있는가?

int main(void)
{
    int *x;
    int *y;

    x = malloc(sizeof(int));

    *x = 42;
    *y = 13;

    free(x);
}

main 함수 안의 첫 두 줄에서는 포인터 x와 y를 선언한다.

 

 

그 후 x에는 malloc 함수를 이용해 int 자료형 크기에 해당하는 메모리를 할당한다.

그리고 x가 가리키는 지점에 42를 저장하고 y가 가리키는 지점에 13을 저장한다.

 

여기서 문제가 될 만한 부분은 *y = 13이다. y는 포인터로만 선언되었을 뿐이지 어디를 가리킬지에 대해서는 아직 정의되지 않았다.

 

따라서 초기화되지 않은 *y는 프로그램 어딘가를 임의로 가리키고 있을 수도 있다.

 

이로 인해 그 곳에 13이라는 값을 저장하면 프로그램이 오류를 발생시킬 수 있다.

 

아래 코드와 같이 y = x;라는 코드를 추가해주면 y는 x가 가리키는 곳과 동일한 곳을 가리키게 된다.

 

따라서 *y = 13;으로 저장하면 x가 가리키는 곳에도 동일하게 13으로 저장될 것이다.

int main(void)
{
    int *x;
    int *y;

    x = malloc(sizeof(int));
    if (x == NULL)
    {
        return 1;
    }

    *x = 42;
    y = x;
    *y = 13;

    printf("x: %d\n", *x); // 13
    printf("y: %d\n", *y); // 13

    free(x); // x, y 둘 다 해제

    return 0;
}

위 수정된 코드에서 y = x;를 추가해 y가 x와 동일한 메모리 위치를 가리키도록 했다.

 

따라서 *y = 13;로 저장하면 x가 가리키는 곳에도 동일하게 13이 저장된다.

 

 

References

모두를 위한 컴퓨터 과학 (CS50 2019)

모두를 위한 컴퓨터 과학 (CS50 2019)