번역 단위 간 문자열 리터럴 주소

C 및 C에서 프로그래머는 다양한 목적으로 문자열 리터럴을 사용하는 경우가 많습니다. 일반적인 질문이 생깁니다. 서로 다른 번역 단위의 동일한 문자열 리터럴이 동일한 메모리 주소를 가질 것이라고 가정하는 것이 신뢰할 수 있습니까?

C/C 표준

C99 그리고 C 초안 표준은 특별히 이 주제를 지정하지 않은 상태로 둡니다. C99 초안 표준의 섹션 6.4.5에는 "해당 요소에 적절한 값이 있는 경우 이러한 배열[문자열 리터럴]이 고유한지 여부는 지정되지 않습니다."라고 명시되어 있습니다. 이는 컴파일러가 문자열 리터럴을 풀링할지 여부를 자유롭게 결정할 수 있음을 의미합니다.

컴파일러 구현

실제로 컴파일러마다 문자열 리터럴 풀링과 관련하여 동작이 다릅니다.

• GCC: 다음을 사용하여 컴파일 단위 전체에서 문자열 리터럴 풀링을 지원합니다. -fmerge-constants 플래그. 이 동작은 -fno-merge-constants를 사용하여 비활성화할 수 있습니다.
• Visual Studio: 문자열 리터럴 풀링을 위한 옵션(/GF)을 포함합니다.
• 기타 컴파일러: 문자열 리터럴 풀링을 지원할 수도 있고 지원하지 않을 수도 있습니다. 구현에 따라 다릅니다.

요구 사항 부족에 대한 이론적 근거

C 표준에서 문자열 리터럴을 풀링하도록 요구하지 않는 이유는 다음의 다양성 때문입니다. 당시의 컴파일러와 런타임 환경. 일부 구현에서는 문자열 리터럴을 ROM에 저장하고 다른 구현에서는 쓰기 가능한 데이터 섹션에 저장했습니다. 이식성을 보장하기 위해 특정 동작을 요구하지 않는 것이 최선이라고 간주되었습니다.

실용적 고려 사항

일반적으로 동일한 문자열 리터럴에 의존하는 것은 이식성이 없습니다. 번역 단위 전체의 메모리 주소. 그러나 동일한 번역 단위 내에서는 컴파일러가 최적화에 대해 더 많은 제어권을 가지므로 동작이 일관될 가능성이 더 높습니다.

결론

문자열 리터럴은 구현 세부 사항이며 번역 단위 전체에서 일관성을 유지한다고 신뢰할 수 없습니다. 이 사실을 인지하고 이러한 구현 세부 사항과 무관한 코드를 작성하는 것이 중요합니다.