[c] 다른 문자열 리터럴에 대한 두 문자 포인터의 주소가 동일합니다.

두 포인터의 값을 인쇄하면 동일한 주소가 인쇄됩니다. 왜?



답변

동일한 내용을 가진 두 개의 다른 문자열 리터럴이 동일한 메모리 위치에 배치되는지 또는 다른 메모리 위치에 배치되는지는 구현에 따라 다릅니다.

동일한 주소를 가리킬 수도 있고 가리 키지 않을 수도 있으므로 항상 pp1두 개의 다른 포인터 (컨텐츠가 같더라도)로 취급해야 합니다. 컴파일러 최적화에 의존해서는 안됩니다.

C11 표준, 6.4.5, 문자열 리터럴, 의미 체계

요소에 적절한 값이있는 경우 이러한 배열이 구별되는지 여부는 지정되지 않습니다. 프로그램이 이러한 배열을 수정하려고하면 동작이 정의되지 않습니다.


인쇄 형식은 다음 %p과 같아야합니다 .

이유는 이 답변 을 참조하십시오 .


답변

컴파일러는 매우 영리 해 보이며 두 리터럴이 동일하다는 것을 감지합니다. 그리고 리터럴이 일정하기 때문에 컴파일러는 두 번 저장하지 않기로 결정했습니다.

이것이 반드시 그럴 필요는 없다는 것을 언급 할 가치가있는 것 같습니다. 참조하시기 바랍니다 블루 문 ‘의 이에 대한 대답을 .


Btw : printf()진술은 다음과 같아야합니다.

같은 "%p"포인터 값을 출력하기 위해 사용되어야하며, 이는 타입 포인터 정의 void *만. *1


또한 코드가 return성명을 놓친다고 말하고 싶지만 C 표준이 변경되는 과정에있는 것 같습니다. 다른 사람들은 이것을 친절하게 설명 할 수 있습니다.


* 1 : 포인터에는 void *여기로 캐스팅 할 필요가 없지만 char *다른 모든 유형에 대한 포인터에는 캐스팅 이 필요하지 않습니다 .


답변

여러분의 컴파일러는 “문자열 풀링”이라는 것을 수행했습니다. 동일한 문자열 리터럴을 가리키는 두 개의 포인터를 원한다고 지정 했으므로 리터럴의 복사본을 하나만 만들었습니다.

기술적으로 : 포인터를 “const”로 만들지 않았다고 불평 했어야합니다.

Visual Studio를 사용 중이거나 -Wall없이 GCC를 사용하고 있기 때문일 수 있습니다.

명시 적으로 메모리에 두 번 저장하려면 다음을 시도하십시오.

여기서는 문자에 대한 두 개의 포인터가 아닌 두 개의 c- 문자열 문자 배열을 원한다고 명시 적으로 설명합니다.

주의 사항 : 문자열 풀링은 컴파일러 / 최적화 기능이며 언어의 일부가 아닙니다. 다른 환경에서 이러한 다른 컴파일러는 최적화 수준, 컴파일러 플래그 및 문자열이 다른 컴파일 단위에 있는지 여부에 따라 다른 동작을 생성합니다.


답변

다른 사람들이 말했듯이 컴파일러는 동일한 값을 가지고 있음을 인식하고 최종 실행 파일에서 데이터를 공유하도록 결정합니다. 하지만 더 화려 해집니다. 다음과 같이 컴파일하면gcc -O

4195780 4195783나를 위해 인쇄 합니다. 즉, p13 바이트 뒤에 시작 p하므로 GCC는 def( \0종결자를 포함하여 ) 의 공통 접미사를 확인 하고 표시된 것과 유사한 최적화를 수행했습니다.

(댓글이 되기에는 너무 길기 때문에 답변입니다.)


답변

코드의 문자열 리터럴은 코드의 읽기 전용 데이터 세그먼트에 저장됩니다. “abc”와 같은 문자열 리터럴을 적을 때 실제로 ‘const char *’를 반환하고 모든 컴파일러 경고가 있으면 해당 시점에서 캐스팅하고 있음을 알려줍니다. 이 질문에서 지적한 바로 그 이유 때문에 이러한 문자열을 변경할 수 없습니다.


답변

문자열 리터럴 ( “abc”)을 만들면 문자열 리터럴이 포함 된 메모리에 저장되고 동일한 문자열 리터럴을 참조하는 경우 다시 사용되므로 두 포인터가 동일한 위치를 가리키는 ” abc “문자열 리터럴이 저장됩니다.

나는 이것을 얼마 전에 배웠기 때문에 정말 명확하게 설명하지 않았을 수도 있습니다. 죄송합니다.


답변

실제로 사용하는 컴파일러에 따라 다릅니다 .

TC ++ 3.5를 사용 하는 내 시스템에서는 두 포인터에 대해 두 개의 다른 값, 즉 두 개의 다른 주소를 인쇄 합니다 .

컴파일러는 메모리에 값있는지 확인 하고 그 존재에 따라 동일한 값이 참조되는 경우 이전에 저장된 값 의 동일한 참조다시 할당 하거나 사용하도록 설계 되었습니다.

따라서 컴파일러 가 코드를 구문 분석 하는 방식에 따라 다르 므로 너무 많이 생각하지 마십시오 .

그게 다야…