Здравсвуйте! Хотелось бы просветиться по следующему вопросу. В C++ можно объявить объект класса вот так: MyClass a; и через указатель: MyClass* b. Насколько я понимаю, внешнее отличие в этих двух способах в том, что переменной а мы не можем передать другой объект типа MyClass, а переменной b - можем. Однако хочется понять, как дело обстоит на более низком уровне? Переменная а будем размещена в стэке или в куче?

что куда передать? 
Отличие в том, что первое - это объект, а второе - указатель.

не в куче

Idsa, MyClass* b - указатель на объект, сам объект в этом случае нигде сам не появится, если только мы память под него не выделим: b = new MyClass(/*params if need*/);

неправильно понимаете.
 
Если рассматривать такую ситуацию:

то переменная a представляет из себя объект класса (причем он лежит в стеке), а переменная b - это адрес объекта в куче.

или такой случай:

a - объект класса, а b - указатель на него, те все действия над объектом лежащим по адресу, хранящемуся в b будут отражены на объекте a, так как это он и есть   

А вы из дотнета пожаловали?  
В таком случае напомню, что память выделенную под объекты (MyClass* b  = new MyClass;) надо еще и освобождать delete b; (delete []b; - для массивов). 
Стековых переменных это не касается 

Это сообщение отредактировал(а) zkv - 16.5.2007, 20:00

Понт 


Да, именно такую ситуацию я имел в виду.


Ага. Просто после C# дико смотрится то, что классы могут храниться в стеке .

zkv, +1.

Ну и еще в тему топика. Чем обусловлено то, что на этапе компиляции мы можем задать массив, хранящийся в стеке: int a[3], а в рантайме можем заюзать для массива только кучу: int* a[] = new int[n]?

Это сообщение отредактировал(а) Idsa - 16.5.2007, 20:22

Idsa, а потому что, насколько я понимаю, чтобы посчитать смещение в стеке, нужно знать размер массива...

поправьте, если ошибаюсь...

Partizan, конечно так . Но ведь к моменту выделения памяти через new мы уже знаем размер массива.

Idsa, в том то и прикол что момент выделения памяти происходит в рантайме и на этапе сборки смещения посчитать ну никак компилятор несможет )

"не в куче" не означает в стеке. В стеке размещаются автоматические переменные.
Глобальная  неавтоматическая и  размещается в сегменте данных. Так что именно "не в куче"...

Что значит в рантайме?
new [] используется когда размер при компилляции неизвестен. Конструкция int* a[] = new int[3] в любом случае может быть заменена на int a[3]

Я очепятался и уже исправил. Вопрос звучал именно так:


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

Переменная типа MyClass myVar будет удалена из стека сразу после выхода из ее области видимости?

да

Понятно. Пасиб. +1.

Ну а что все-таки насчет вот этого вопроса:



Но при этом в первом случае память выделится в куча, а во втором - в стеке? 

В смысле, я так понял, имелась в виду конструкция
int *a = new int[3];

Что-то я не понял. Это по какому праву компилятор сделает массив в стеке? Это же может привести к AV причем совершенно на ровном месте.

А вообще-то конструкция
int a[3] не обязательно создается в стеке.
Например, определенная вне функций и  методов она создастся в куче. А еще есть слово static...

Это сообщение отредактировал(а) Anikmar - 16.5.2007, 21:11

верно всегда

а это зависит от обстоятельств(где создано)

Да 


Что за AV? По контексту я подумал про Stack Overflow... но не подходит 


Если массив статический или глобальный, то он будет создан в сегменте данных. Но если массив ни статический, ни глобальный, то он точно будет создан в стеке. Ведь так?

P. S. Прошу обратить внимание на мою подпись!

Это сообщение отредактировал(а) Idsa - 16.5.2007, 22:22

Ну, в принципе, и в первом случае можно память в стеке выделить - если перегрузить оператор new.

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

Это он так Memory [A]ccess [V]iolation обозвал.