Почему локальные строки, объявленные в основной функции, являются частью памяти сегмента Rodata?

Question

После разборки следующий код:

#include <stdio.h> 

static const char HELLO1[] = "Howdy"; 

int main(){ 
char hello2[6]="hello\0"; 
printf("%s",string); 
} 

можно видеть, что строки hello1 объявляется в сегменте .rodata, что вполне понятно, как постоянные переменные объявляются в этом сегменте.

Однако hello2 также объявлены в сегменте .rodata. Но локальные переменные объявляются в Stack прямо вправо?

Можете ли вы объяснить мне, почему эта строка объявлена ​​в этот сегмент?

Answer 1

программы C часто использует тетср и MemSet внутренне построить содержимое стеки во время выполнения. Несмотря на то, что это платформа зависит, это общие для кода, как ваша, чтобы расширить на что-то вроде:

#include <stdio.h> 

static const char HELLO1[] = "Howdy"; 

int main(){ 
    // hidden 
    static const char *__temporary_main_hello2 = "hello\0"; 
    char hello2[6]; 
    // hidden 
    memcpy(hello2, __temporary_main_hello2, sizeof(hello2)); 
    printf("%s",string); 
} 

Вы можете видеть теперь, почему привет также в .rodata. Исходные данные для строки исходят из статичности в .rodata, но хранилище для массива hello2 находится в стеке. Компилятор нуждается в способе заполнения hello2 при вызове main. Если платформа имеет удобный способ представления данных непосредственно, это может быть сделано таким образом, но для этого обычно удобнее использовать хорошо оптимизированную memcpy.

Answer 2

String literals существует для жизни программы

Строковые литералы имеют static storage duration, и, таким образом, существуют в памяти для жизни программы.

Static storage duration.

Хранение объекта назначается, когда программа начинается, и освобождается при завершении программы. Существует только один экземпляр объекта . Все объекты, объявленные в области пространства имен (включая глобальное пространство имен ), имеют такую ​​длительность хранения, плюс те, которые объявлены со статическими или extern.

Так gcc реализовать static storage в .RODATA в ELF двоичная

Для дальнейшей разработки ...

char a[] = "Hello world A"; 
char* p = "Hello world P"; 

Для обоих a и p, их строковые литералы имеют статическую продолжительность хранения (это означает, что они оба сохранены в .RODATA) с разницей в том, что для a строковый литерал копируется в этой переменной стека, а p просто указывает на .RODATA память. Именно поэтому вы можете изменить a но не p

Примечания: Знайте, что ссылки выше от c++ синтаксиса, но причина c таких же