추억속의 버그 : C, C++

좀 원론적인 얘기를 하자면, C언어 표준 자체에서는 코드 영역과 데이터 영역을 구분하지 않습니다. 다만 '문자열 상수를 바꾸려고 할때, 그 행동은 정의되지 않았다"라고 쓰여있을 뿐입니다.

C99 Final draft N869, 6.4.5.6
If the program attempts to modify such an array, the behavior is undefined.

제가 알기로는 오류가 안나는것으로 알고 있습니다.

char * a = "abc";

이런식으로 하면 "abc"는 메모리가 따로 할당되는것이 아니고 프로그램의 실행 코드 안에 그냥 박혀 있다가 포인터인 a가 그 주소를 저장하는것으로 알고 있습니다.

그러니까 strcpy( a, "abcd"); 이런식으로만 사용하지 않는다면 아무 문제 없는것으로 알고 있습니다.

그리고 그런 비슷한 방법으로 사용했을때 이상해지는것은 아래와 같은 경우겠지요.

int * f()
{
int result;
result = 어쩌고저쩌고;
return &result;
}

아닙니다. 문제 없습니다가 정상입니다. 이 예제

char *str;
str = "This";

이건 아무런 문제가 없습니다. 만일 이 코드에 놓고 무슨 문제가 있을지 알 수가 없다라는 식이라면

printf("TEST");

이 코드도 알 수 없다가 되어야 합니다.

원래코드를 의미해 보면 char를 가리키는 포인터를 정의해 놓은 다음에 "This"라는 문자열 포인터 상수(주소)를 뽑아 내 주면 그값을 str이라는 포인터에 넣어 놓는 극히 정상의 코드입니다. ""로 묶은 것은 문자열 상수 포인터를 만들라는 이야기 이고 이건 여러분들이 사용하는 그 수많은 문자열 상수입니다.

위에 어떤 분이 말씀하신 것처럼 이 상황에서

strcpy(str, "THIS");

이코드는 문제가 있으나 위의 코드는 지극히 정상입니다.

a.c 를 a.cpp로 고치고 컴파일해 봤나요?

typedef int char[4]; 가
C에서는 에러라고 알고있는데...
적어도 C++에서는 합법입니다.

비슷한 걸루 cast 연산자가 있는데요...
C에서는 (type)(어쩌구저쩌구) 만 합법이지만
C++에서는 type(어쩌구저쩌구) 도 가능하니까요