C 문자열 상수 (char*)

Question

char* p &#61; &#34;Hello World&#34;; char* p2 &#61; &#34;Goodbye&#34;; p &#61; &#34;Goodbye&#34;;이렇게 한 뒤에 p와 p2의 값을 출력해보면 같은 값이 나옵니다. 포인터 변수 p와 p2가 같은 주소값을 가지고 같은 곳을 가리키는 것으로 보이는데, 어떻게 이런게 가능한 건가요? p &#61; &#34;Goodbye&#34;;라는 코드가 실행될 때, 컴퓨터가 텍스트 세그먼트에 있는 문자열들을 전부 탐색해서 Goodbye라는 문자열을 찾아내는 건가요?

사과맛오렌지 · Accepted Answer

컴파일 시간에 이미 &#34;Hello World&#34; 및 &#34;Goodbye&#34;;는 읽기 전용 메모리 구역에 저장됩니다.p &#61; &#34;Goodbye&#34;;라는 코드도 그냥 단순히 p에 &#34;Goodbye&#34;가 저장된 메모리 주소를 대입해주는 코드가 되고요. 어떤 문자열인지가 명확한데 굳이 탐색을 할 필요가 없지요.코드를 컴파일해 보면 다음과 같은 어셈블리가 됩니다..LC0: .string &#34;Hello World&#34;.LC1: .string &#34;Goodbye&#34;mov QWORD PTR [rbp-8], OFFSET FLAT:.LC0 <- char* p &#61; &#34;Hello World&#34;;mov QWORD PTR [rbp-16], OFFSET FLAT:.LC1 <- char* p2 &#61; &#34;Goodbye&#34;;mov QWORD PTR [rbp-8], OFFSET FLAT:.LC1 <- p &#61; &#34;Goodbye&#34;; 보시다시피 단순히 스택에 저장된 지역변수에 LC1 또는 LC0의 메모리 주소를 할당하는 코드가 됩니다.

bot99 · Answer

어떤 문자열을 따옴표로 둘러싼 것들은 문자열 상수입니다. 문자열 상수는 컴파일할 때 처리되고, 그 실체는 정적 기억수명을 가지는 변경불가능한 char형 배열이며 그 안에 주어진 문자열이 저장되어 있습니다. 그리고 어떤 두 문자열 상수의 내용이 같을 때, 이걸 각각 따로 만들지 하나만 만들어서 쓸 것인지는 컴파일러가 알아서 결정합니다(unspecified). 굳이 여러개를 필요가 없으므로 대체로 내용이 같은 문자열 상수는 하나만 만들며, 따라서 주어진 코드에서 p와 p2는 같은 주소값일 가능성이 아주 큽니다.

C 문자열 상수 (char*)

2개의 답변

기타 목록