Что происходит с указателем?

Question

[Александр Казакевич]

Пишу курсач. Возникла весьма странная проблема.

// Метод возвращает указатель на объект Account. Валидный, инициализированный объект, я вас уверяю на 99.99%.
Account* acc = e.getAccount();
// При попытке вызвать метод от этого указателя, указатель чудесным образом превращается... в 0xCCCCCCCC. Что простите???
User u = acc->getUser();

Скрин 1. Перед выполнением метода. (указатель 'acc' ссылается на область, занимаемую объектом Account)

Скрин 2. Непосредственно вызов метода.

ЧЯНТД?

Если это облегчит ситуацию, или P.S.:
1. В коде используется friend-класс.
2. Там 2 проекта. Первый это DLL-библиотека, там весь код. Второй - исполняемый exe, к которому подключена эта DLL.
3. Это моя первая программа на плюсах, уж сильно не ругайте.
4. Класс Engine создает (и хранит указатель на) класс Account, а класс Account получает (и хранит) указатель на класс Engine.
5. Весь проект не выложу, там 20+ классов и много кода.

Comments

[Евгений Шатунов]

Александр Казакевич , подозреваю, ты малость рановато беспокоишься. Переработал уже, похоже. :)
Судя по второму скрину, ты еще не зашел в область метода getUser(). В этом случае осмотр переменных тебе все что угодно может писать.
Считай так: когда стрелка отладчика смотрит на фигурную скобку, значениям переменных можно временно не верить.

Answer 1

[15432]

Возможно, getUser находится в библиотеке, и у студии просто возникли проблемы с отладкой либы. (например, символов нет). Возвращается нормальный объект User?

Ну или такой экзотический вариант как Engine e объявлена локально и самоуничтожилась до вызова getUser, удалив заодно и Account внутри себя. (попробуйте Engine через new создать)

Comments

[15432]

Интересно, какой результат выполнения - какой User u вернулся. Всё ещё допускаю, что VS не показывает, но на деле всё работает.
Не должно влиять, что Engine на стеке, ради эксперимента предложил через new выделить.

[Александр Казакевич]

15432: Я вот ожидал, что произойдет ошибка чтения. Но нет, в переменной 'u' лежит мусор. Этого объекта ТАМ (по адресу 0xCCCCCCCC + небольшое_смещение) и не было. Объекты User и Account лежат в другом месте.
Складывается такое ощущение, что переменная 'acc' имеет тип Account * const. То есть значение указателя после создания этой переменной не поменялось, хотя метод вроде как присваивает ей адрес.
---UPD---
Engine* e = new Engine(...);
Engine e(...);
Разницы увы, нет. Придется оставить это на совести компилятора и переписать.

[15432]

Если так, то что будет при u = e.getAccount()->getUser() ?

[15432]

Я бы посмотрел на дизасм бинарника)

[Евгений Шатунов]

Александр Казакевич , не, ты точно перетрудился уже. Ну пятый час ночи, спать бы лучше лег пораньше. :)
Смотри, у тебя метод getUser() возвращает объект по значению. А копирование/перемещение у класса User реализовано? Мне кажется, твой User тоже должен передаваться по указателю, как и все остальные сущности. Не?

В целом, когда у тебя составной проект, это не слишком хорошо - оперировать значениями переменных.
User из памяти динамической библиотеки по значению передается в память приложения. Память-то одна и та же - память процесса. Но вот передача по значению... Честно, я не рискну предполагать что там творится. Ни разу сам так не делал и не сталкивался с таким в работе. Но идея мне радикально не нравится.
Лучше все пограничные интерфейсы между библиотекой и приложением исполнять на указателях и через выделение на куче. Или оперировать указателями из статической памяти. Главное - это указатели и абстрактные классы / интерфейсы, никаких значений.

В качестве дополнения подкину одну старенькую, но все еще интересную заметку об использовании STL в динамических библиотеках.
rsdn.org?article/cpp/stlproblem.xml