const 에 대하여...

...

...

그냥... '기본 값'과 '값의 변경'의 차이 아닌가요?

그리고 const는 값의 변경을 막는다... 정도로 알면 될 것 같은데... ;;

const char *c1은 c1이 가리키는 개체가 const char형이라는 뜻입니다. 즉 변경 불가능이죠. c1 자체는 변경 가능합니다.

Example 1:

const char *c1 = "AAA";
c1 = "BBB";    // 올바른 코드
c1 = "CCC";    // 올바른 코드
*c1 = 'b';    // 틀린 코드
c1[0] = 'B';    // 틀린 코드

반대로 char* const c2는 c2 자체가 const 라는 뜻입니다. c2 자체의 값은 변경 불가능이지만 c2가 가리키는 개체는 변경 가능합니다.

Example 2:

// 다음의 코드는 적법하다.
char str1[] = "ABC"; 
char* const p1 = str1;
p1[0] = 'a';
p1[1] = 'b';
printf("%s | %s\n", p1, str1);    // abC | abC 가 출력된다.

그럼 다음의 예제에서는 왜 상황이 약간 다른고 하니...

Example 3:

char* const c2 = "AAA";    // 올바른 코드
c2 = "BBB";    // 틀린 코드
*c2 = 'B';    // 틀린 코드
c2[0] = 'B';    // 틀린 코드

char s[] = "ABC"와 같이 char형 배열의 초기화에 쓰이는 것을 제외하고(이때는 정적 기억 수명을 가지는 개체가 따로 생성되지 않으며, s 안에 그냥 "ABC"가 저장됩니다), 모든 문자열 상수는 그 자신의 첫번째 원소를 가리키는 포인터 주소값과 동일하게 처리됩니다. 그리고 그 자신은 정적 기억 수명을 갖는 const char형 배열이 됩니다.

Example 4:

char *s = "ABC";

// 위의 코드는 아래의 코드와 의미적으로 동일하다 할 수 있다.

static const char _tmp[] = { 'A', 'B', 'C' }; //  정적 기억 수명을 갖는다!
char *s = _tmp;

예제 3으로 돌아가겠습니다. 2번째 코드는 그렇다고 쳐도 왜 3번째와 4번째 줄이 틀린가 하면 그것은 c2 자체는 char * const형이지만 c2가 가리키는 개체, 즉 문자열 상수의 타입이 const char[] 이기 때문입니다.

참고로 예제 3번의 첫번째 줄은 다음과 같이 쓰는 쪽이 더 바람직합니다.

const char * const c1 = "ABC";

이로써 c1 자체도 변경이 불가능하고, c1이 가리키는 개체도 변경이 불가능하다는 것이 명확해졌습니다.

말씀하시고자 하는 바를 모르겠습니다. C에서는 문자열 상수가 수정될 수 있다는 뜻입니까? 아니면 다른 뜻이 있습니까? 자세한 설명 부탁드립니다.

ps. 다시 한번 문서를 찾아보니 문자열 상수는 char형 배열이고, 그것을 수정하려는 행동의 결과는 정의되어 있지 않다고 나와 있군요. 따라서 엄밀하게 따지자면 const char형 배열이라고 볼 수 없습니다. (문자열 상수의 원소를 변경하려는 행동의 결과는 정의되어 있지 않지만, const char형 배열의 원소를 변경하려는 시도는 금지되어 있습니다) 하지만 무슨 뜻으로 말씀하셨는지에 대해서는 확답을 듣고 싶습니다. 제가 뭔가 잘못 알고 있는 것이 있는지 확인하고 싶군요.

ps2. 좀 더 찾아보니 pointer to pointer to char와 pointer to pointer to const char 사이의 관계에서 문제가 생길 소지가 있군요. 지금까지 문자열상수를 가리킬 때 const char *를 즐겨 사용해 왔는데 char *로 바꿔야 할 것 같습니다.

char *s = "ABC";
s[1] = 'D';

그리고 엄밀히 하면

char *s = "ABC";
----------------------------------------------------     
static const char _tmp[] = { 'A', 'B', 'C' , 0};
char *s = _tmp;