1) char *x = "asdq" – в данном случае значением указателя является адрес переменной в сегменте данных, который получаем во время компиляции? Правильно я понял?

2) А если переменная не глобальная?

fun()
{ 
   char x1[5]  = "aaaa";
   char *x = "asdq";
}

При вызове функции "aaaa" помещается в стек, после,  строка "asdq". Значением x является вершина стека?
т.е. стек выглядит так?

значение      адрес
asdq              04
aaaa              05

х = 04?

почти .. во время компиляции  получаем смещение, а реальный адрес получается в момент рантайма, путем прибавления смещения к адрессу сегмента.


во время компиляции эти строки ложатся в сегмент данных, 
а в рантайме указатели инициализируются адресом  этой строки, а массивы данными той строки из сегмента данных.

стек выглядит примерно так :

нач.адреес  значение      кон.адрес                      
00                 asdq\0           04 // x1[5] = 
05                 0x....              08  // где 0х... адрес строки
5 байт на массив, и 4 на указатель (для обычных (х86) 32хбитных машин, при условии отсутствия выравнивания на стеке.. но это смысла не меняет)


Это сообщение отредактировал(а) mes - 1.2.2009, 13:19

вовсе не обязательно,  в случе с указателем строка может быть помещена в любой read only сегмент, а может и не быть помещена. Во втором случе я вообще причн не вижу хранить строку, оставить ее в стеке и не марать сегмент данных вовсе.

откуда она возьмется то в рантайме  ? )

Добавлено через 45 секунд

это не принципиально и на текущий момент только запутает..

Посоветуйте, что можно почитать по данной теме.

а причем тут рантайм?

это не рантайм

mes, хз как у С++ а в делфи константы кладутся в сегмент кода, сразу за телом функции в которой они используются

инициализация массива x1(заполнение стека) происходит  в рантайме.


также, зависит от компилятора и места  где определены данные (глобально или в функции)
в нашем случае сегмент данных, и данные в сегменте кода означает одно и то же, "данные хранящиеся в теле "ехешника" " и с точки зрения языка неразличимы.




Это сообщение отредактировал(а) mes - 1.2.2009, 14:43

Посоветуйте литературу по данной теме.

Это сообщение отредактировал(а) lv151 - 1.2.2009, 15:16

давай не будет понятия подменять, нет там никакого рантайма. Все известно на этапе компиляции.

с точик зрения языка вообще никаких сегментов нет, так, что ты изначально не прав.

Добавлено через 1 минуту и 1 секунду

книжки по С\С++ любые, огбсуждения книжек идут в прикрепленном топике

Там так глубоко не копают. Просмотрел не одну, перед тем как задать вопрос.

потомучто это копание отношения к С++ не имеет, это уже зависит от реализации. Самая подробная книга у Страуструпа, знать глубже чем там написано, зачастую даже вредно 

давай.. и так когда происходит создание и инициализация массива ? размер которого и содержание (точнее сказать образ) известны на этапе компиляции.


я про обязательное наличие сегментов и не утверждал, было лишь употреблено для легкого понимания





не вид, ни место хранения данных, которыми заполняется массив не важен. 

Важно, что компилятор сохраняет  строку в теле программы в "удобном" (зависимом от контекста использования) виде, и
1. при создании массива использует содержимое этой строки для инициализации стека,
2  а при инициализации указателя используется адрес этой строки

в рантайме, но для языка это рантаймом не является потому, как не зависит ни от каких внешних факторов и всегда статично.

т.е инициализация стека происходит в рантайме, но рантаймом не является.. так ? интересно..
так  данные в стек помещаются на этапе компиляции ? если нет , то откуда берутся ?
или я неправильно трактую Ваше высказывание  ? :



Это сообщение отредактировал(а) mes - 1.2.2009, 16:38