@no_wearines

Здрст.

объект по адресу p лежит в куче.
Вопрос: а где лежит объект-член 'a'? (в куче или в стеке)
и с помощью какого средства можно это проверить?

0

nd2

Првт.
Там же, где и объект H.

Добавлено через 30 секунд
Адреса сравни.

1

@no_wearines

идею понял. При динамическом создании объекта, его "стековые"-члены лежат в куче. А при создании объекта в стеке его динамические-члены кладутся в кучу.

0

@hoggy

1

nd2

Нет там стековых или динамических членов данных (static есть). Если не static, то где объект - там и члены данных.

0

@Mournful Max

no_wearines, ознакомься с такими понятиями как: автоматическая, динамическая, статическая продолжительность хранения данных или просто модели памяти C++, или что-то в этом роде. Статейку какую найди.
Это очень долго объяснять, и я не смогу все правильно растолковать, а люди поопытнее уже устали писать об этом в каждом сотом посте Так что выход один — загуглить

Пока очень кратко и очень грубо опишу. Вот, написали мы функцию:
Все переменные этой функции ( включая ее параметры ), имеют автоматическую продолжительность хранения. Что это значит? А значит вот что: эти переменные живут до тех пор, пока существует функция. Как только она выполнилась, программа больше ничего не знает об этих переменных. Это может быть не только функция, но и какой-нибудь блок операторов:
Здесь a создается, когда процесс выполнения доходит до #1, а освобождается, когда процесс выполнения достигает #2. После выхода из соответствующего блока, переменная не существует ( это означает, что к ней нельзя обратиться ).

Динамическая продолжительность хранения отличается тем, что переменная, "созданная на куче", живет до тех пор, пока ее не освободили ( или, в многих системах, если этого не случилось, то до конца программы ). Пример:
То есть, ты можешь выделить память для такой переменной в одной функции, и использовать ее в другой функции ( чего не позволяет переменная, имеющая автоматическую продолжительность хранения ). Пример приводить не буду, оно сейчас не нужно. Я просто хочу подготовить некий фундамент, перед тем как буду объяснять про:
Статическая продолжительность хранения: здесь все просто. Переменные живут на протяжении всего выполнения программы. Они создаются, когда программу запустили, и уничтожаются при ее завершении. Пример такой переменной — то, что ты называешь "глобальной переменной".

Учти, что я объяснил крайне неграмотно и даже не поверхностно. Еще раз советую почитать об этом. Это интересно.
Теперь о главном:
Смотри, похоже, ты не совсем понимаешь что же такое структура. Для примера будем использовать такую:
Что она из себя представляет? А это всего лишь последовательность байт. Предположим, что в твоей системе, int и float занимает 4 байта, тогда структура будет занимать 4 + 4 байт. То бишь, структура — это почти такая же переменная, как и int или float, которая имеет свой размер ( зависящий от типов данных, которая она содержит ).
Чтобы понять, к какой переменной в структуре обратиться, используется оператор точки ( . ):
Ну и все в таком духе... ( это тоже можно прочитать в любой книге по основам C++ )

Из всей выше написанной каши что можно вынести:
Переменная s0 живет на протяжении всего цикла программы, располагается в особом месте ( не знаю точно, наверное, где удобно системе, там и расположит ).
Переменная s1 живет "на стеке" в идиллии со всеми остальными, как, например s2.
Да, s2 расположена "на стеке", ведь это обычный указатель. Просто он указывает не на int или double, а на struct Some. А вот место, где хранится структура, находится "на куче". Так вот то место, где хранится структура, s2 указывает на него.
То бишь, указатель s2 располагается "на стеке", а место, куда он указывает, там хранится структура.
Более подробно об указателях также можно почитать в книжечках или годных статейках.

Надеюсь, хоть как-то помог, хотя это вряд ли. Очень уж я все неграмотно написал. Надеюсь, это простительно

3

oldnewyear

Глобальные переменные имеют автоматическую продолжительность хранения
Это справедливо только для глобальных статических объектов. Локальные статические объекты создаются когда функция, в которой они определены, запускается в первый раз

0

Croessmah

Статическое.

1

@Mournful Max

Это же нелогично. Есть тому подтверждение какое-то?

0

@GbaLog-

здесь a создаётся, когда выполняется #2,
и на #3 разрушается, соответственно.

1

Croessmah

Captain Maxee, так и есть. Объект будет создан при первом "достижении объявления". И это как раз логично.

2

@Mournful Max

GbaLog-, смотря какое понятие вкладывать в слово "создается")
Так-то память для нее выделена на #1, но область ее видимости начинается только с #2, но не будем разводить костер на эту тему
( Я итак проиграю спор )

0

@GbaLog-

кто вам такое сказал?

0

@Mournful Max

GbaLog-, не помню, вычитал где-то. Как я понял, это нужно забыть))

0

Croessmah

Captain Maxee, с чего бы она выделялась в #1?

0

@Mournful Max

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

0

oldnewyear

Поглядел в стандарт. Судя по всему зависит от компилятора
Добавлено через 11 минут
В общем, получается, что от компилятора зависит создавать локальный статический объект перед входом в блок, либо после декларэйшена. Если это локальная переменная, она не создается в начале программы.
ПС. Если этот объект объявлен в main, то может и в начале программы (?)

1

ValeryS

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

1

@hoggy

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


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

0

@Notoriously

Croessmah,
Допустим Эккель пишет, что память для всех переменных блока выделяется сразу при заходе в него.
Можно предположить, что переменные вложенных блоков не являются исключением.
Причем, возможно, память лишь "резервируется", а в момент достижения уже связывается с именем переменной.
Он упомянул, что технику выделения памяти, даже порядок данного действа, определяют разработчики компилятора, то есть в дальнейшем - компилятор.
Если же для современного C++ это не так, покажите, пожалуйста, где это написано, быть может определено стандартом, хотя по моим старым темам мне запомнилось, что скользкие вещи стандарт отдает на откуп компиляторам.

0