Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / C++ [игнор отключен] [закрыт для гостей] / наследование, исключения. / 25 сообщений из 30, страница 1 из 2
  1  все
12.04.2007, 19:32
    #34457411
StepLg
StepLg
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
Есть класс A, в котором генерируется исключение. Класс B наследуется от него. В обоих классах имеются данные, которые необходимо уничтожить при вызове этого исключения.

Понятно, что это можно сделать какой-нибудь виртуальной функцией функцией. А что делать, если нужно вызвать деструктор? Прямой вызов в классе A деструктора this->~A() естественно не вызовет деструктор ~B(), как хотелось бы. Есть ли возможность это сделать? или вообще никак нельзя?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 20:03
    #34457470
Голенков Владимир
Голенков Владимир
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
А что делать, если нужно вызвать деструктор? Прямой вызов в классе A деструктора this->~A() естественно не вызовет деструктор ~B(), как хотелось бы. Есть ли возможность это сделать? или вообще никак нельзя?

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

так что два варианта: виртуальный метод очистки, либо ловим в B исключение чистим что надо и дальше его кидаем

особо отмечу случай если исключение происходит в конструкторе
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 20:13
    #34457490
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLg пишет:

> Понятно, что это можно сделать какой-нибудь виртуальной функцией
> функцией. А что делать, если нужно вызвать деструктор? Прямой вызов в
> классе A деструктора this->~A() естественно не вызовет деструктор ~B(),
> как хотелось бы. Есть ли возможность это сделать? или вообще никак нельзя?

Просто удали объект. Все будет хорошо, деструктор B вызовется сам.
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 20:14
    #34457492
StepLg
StepLg
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
в B мы можем отловить ислючение только в случае, если метод из А вызываем методом из B. Да и то это проходит только для обычных методов. А вот, к примеру (как Вы правильно отметили - у меня так и происходит :) ), если исключение вызывается в конструкторе - то в конструкторе B его уже никак не отловить:(

Так что для ситуации, когда B наследует несколько классов, парочка из них инициализируется, а потом A генерит exeption, то получается утечка памяти в тех классах, которые остались без вызова деструктора.

Кстати, а что, есть возможность отловить исключение производным классом, как бы оно не генерировалось в базовом? По-моему такого способа нет. Только если функция базового вызывается из функции производного.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 20:17
    #34457500
StepLg
StepLg
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
MasterZiv
StepLg пишет:

> Понятно, что это можно сделать какой-нибудь виртуальной функцией
> функцией. А что делать, если нужно вызвать деструктор? Прямой вызов в
> классе A деструктора this->~A() естественно не вызовет деструктор ~B(),
> как хотелось бы. Есть ли возможность это сделать? или вообще никак нельзя?

Просто удали объект. Все будет хорошо, деструктор B вызовется сам.
Posted via ActualForum NNTP Server 1.4

и как же его удалить? ) из основного кода? Не хорошо получается. Опять же, ситуация, когда исключение генерится в конструкторе одного из базовых объектов класса. Получается, что часть объектов уже инициализирована, а часть еще нет. Вызывать деструктор для всех подряд - смерти подобно. Не вызывать совсем - черевато утечкой памяти. Причем виртуальная функция очистки объектов здесь не пройдет никак. (почему - объяснять или нет?)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 20:29
    #34457531
StepLg
StepLg
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
кстати, просто удалить объект нельзя. он же по сути не существует. После исключение в конструкторе A конструктор B не вызывается, а значит объект B не существует. (интересно, а существует ли объект A - успел он создаться по стандарту или нет... это тоже тот еще вопрос). Поэтому никакие методы, включая деструктор, у B вызывать нельзя. Кстати, это причина, по которой нельзя пользоваться виртуальностью.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 20:47
    #34457563
White Owl
White Owl
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLgкстати, просто удалить объект нельзя. он же по сути не существует. После исключение в конструкторе A конструктор B не вызывается, а значит объект B не существует. (интересно, а существует ли объект A - успел он создаться по стандарту или нет... это тоже тот еще вопрос). Поэтому никакие методы, включая деструктор, у B вызывать нельзя. Кстати, это причина, по которой нельзя пользоваться виртуальностью.
Запусти вот это и посмотри на вывод, все вопросы отпадут.
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
#include <iostream>
using namespace std;

class A {
public:
	A() {
		cout << "A()\n";
		//throw 1;
	}
	~A() {
		cout << "~A()\n";
	}
};

class B {
public:
	B() {
		cout << "B()\n";
		throw  2 ;
	}
	~B() {
		cout << "~B()\n";
	}
};

class C : A,B {
public:
	C() {
		cout << "C()\n";
		throw  3 ;
	}
	~C() {
		cout << "~C()\n";
	}
};

int main() {
	try {
		C var;
		cout << "main()\n";
	} catch (int e) {
		cout << e;
	}
	return  0 ;
}
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 21:02
    #34457580
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLg пишет:

> в B мы можем отловить ислючение только в случае, если метод из А
> вызываем методом из B. Да и то это проходит только для обычных методов.
> А вот, к примеру (как Вы правильно отметили - у меня так и происходит :)
> ), если исключение вызывается в конструкторе - то в конструкторе B его
> уже никак не отловить:(

Почему не отловить ? внутри тела констуктора лови сколько хочешь.

> Так что для ситуации, когда B наследует несколько классов, парочка из
> них инициализируется, а потом A генерит exeption, то получается утечка
> памяти в тех классах, которые остались без вызова деструктора.

Такого не может быть. Если при вызове конструктора выбрасывается
исключение, C++ правильно вызывает все деструкторы и удаляет
память (если объект создавался в динамической памяти).

В ситуации, когда B наследуется от нескольких классов, и при
инициализации одного из подъобъектов выбрасывается exception,
С++ корректно вызовет деструкторы всех подъобъектов, которые к этому
времени уже успели проинициализироваться, и никакая память никуда
не утечет, если деструкторы написаны правильно.

> Кстати, а что, есть возможность отловить исключение производным классом,
> как бы оно не генерировалось в базовом? По-моему такого способа нет.
> Только если функция базового вызывается из функции производного.

Исключения не зависят от наследования. Они зависят от стека вызовов
функций.
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 21:03
    #34457582
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLg пишет:
> Просто удали объект. Все будет хорошо, деструктор B вызовется сам.
> и как же его удалить?

Если ты не понимаешь, приведи свой код, может кто-то что-то и скажет.
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 21:04
    #34457585
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLg пишет:
> кстати, просто удалить объект нельзя. он же по сути не существует. После
> исключение в конструкторе A конструктор B не вызывается, а значит объект
> B не существует.

Неправильно. Объект существует, но не проинициализирован.

> никакие методы, включая деструктор, у B вызывать нельзя. Кстати, это
> причина, по которой нельзя пользоваться виртуальностью.

Чего ??
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 21:35
    #34457634
StepLg
StepLg
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
class A
{
private:
  int i_;
public:
  A(const int i) : i_(i) { cout << "   A() " << i << "\n";}
  ~A(){cout << "   ~A() " << i_ << "\n";}
};

class B
{
private:
  vector<A*> vect;
public:
  B(const int n);
  virtual ~B();
};

B::B(const int n)
{
  cout << " B()\n";
  for (int i= 0 ; (i< 10 )&&(i<n); ++i)
    vect.push_back(new A(i));
  cout << "THROW!!!!\n";
  throw  1 ;
}

B::~B()
{
  cout << " ~B()\n";
  int n = vect.size();
  for (int i= 0 ; i<n; ++i)
    delete vect[i];
}

class G
{
public:
  G() { cout << " G()\n"; }
  ~G() { cout << " ~G()\n"; }
};

class C : public G, public B
{
public:
  C(const int i) :G(), B(i) {cout << "C()\n";}
  virtual ~C() { cout << "~C()\n"; }
};

int main()
{
  C b( 7 );
  return  0 ;
}

выводит:
G()
B()
A() 0
A() 1
A() 2
A() 3
A() 4
A() 5
A() 6
THROW!!!!
terminate called after throwing an instance of 'int'
Aborted
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 21:38
    #34457643
StepLg
StepLg
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
а.. все.
если в мейне добавить try блок, то G() удалится нормально. а A мы можем и самостоятельно деинициализировать до выброса исключения :)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 22:19
    #34457703
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLg пишет:

> а.. все.
> если в мейне добавить try блок, то G() удалится нормально. а A мы можем
> и самостоятельно деинициализировать до выброса исключения :)

Ты так ничего и не понял.

G удалится нормально В ЛЮБОМ СЛУЧАЕ.
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 23:17
    #34457797
grieg
grieg
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
MasterZiv
G удалится нормально В ЛЮБОМ СЛУЧАЕ.
Posted via ActualForum NNTP Server 1.4
Ой, и мне объясни тогда, почему нет печати из деструктора G.
Я не совсем вкурил.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
12.04.2007, 23:19
    #34457800
grieg
grieg
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLgа.. все.
если в мейне добавить try блок, то G() удалится нормально. а A мы можем и самостоятельно деинициализировать до выброса исключения :)
Будь добр, приведи пример, чего ты собрался самостоятельно деинициализировать. Есть предположение, что оно работать не будет.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 08:45
    #34458022
blinded
blinded
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
Хотите я открою вам страшную тайну? забудьте '\n'. пользуйтесь endl У вас буфер не сфлешился
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 10:02
    #34458250
Aklin
Aklin
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
blindedХотите я открою вам страшную тайну? забудьте '\n'. пользуйтесь endl У вас буфер не сфлешился

хотя я вам открою страшную тайну?
endl перегруженные оператор на '\n'
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 10:10
    #34458272
blinded
blinded
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
Aklin blindedХотите я открою вам страшную тайну? забудьте '\n'. пользуйтесь endl У вас буфер не сфлешился

хотя я вам открою страшную тайну?
endl перегруженные оператор на '\n'
А вот и нет это ends такой, а endl = ends + flush
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 12:04
    #34458739
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
grieg пишет:
> Ой, и мне объясни тогда, почему нет печати из деструктора G.
> Я не совсем вкурил.

Я был не прав, не вызовется. Но на самом деле я и немного не
то имел в виду. Что деструкторы будут вызываться (или не вызываться)
безотносительно наличия стека обработки исключений где-либо.

В общем, для всех полностью сконструированных подобъектов
всегда будут вызваны деструкторы при выбрасывании исключения.
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 12:05
    #34458746
MasterZiv
MasterZiv
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
Aklin пишет:
> хотя я вам открою страшную тайну?
> endl перегруженные оператор на '\n'

endl еще и вызывает flush() для потока. Поэтому << "\n" и << endl не эквивалентны.
Posted via ActualForum NNTP Server 1.4
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 14:56
    #34459539
grieg
grieg
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
MasterZiv
В общем, для всех полностью сконструированных подобъектов
всегда будут вызваны деструкторы при выбрасывании исключения.


Так почему в примере автора не вызывается? Если вставить в main блок try/catch(...), то вызывается.

Топикстартеру. Содержательным вопросом случай, когда конструктор пробует захватить два ресурса и обламывается на втором. Деструктор не отрабатывает (поскольку объект так и не был создан) и первый ресурс "утекает". На этот случай есть правило: один конструктр -- один захват ресурса. Ну или можно думать о каких-то других методах. Например, захватывать память в auto_ptr, а потом уже передавать управление ей конструируемому объекту.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 15:13
    #34459617
blinded
blinded
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
grieg MasterZiv
В общем, для всех полностью сконструированных подобъектов
всегда будут вызваны деструкторы при выбрасывании исключения.


Так почему в примере автора не вызывается? Если вставить в main блок try/catch(...), то вызывается.

Да вызывается он, просто печать не происходит, в буфере застревает.
grieg
Топикстартеру. Содержательным вопросом случай, когда конструктор пробует захватить два ресурса и обламывается на втором. Деструктор не отрабатывает (поскольку объект так и не был создан) и первый ресурс "утекает". На этот случай есть правило: один конструктр -- один захват ресурса. Ну или можно думать о каких-то других методах. Например, захватывать память в auto_ptr, а потом уже передавать управление ей конструируемому объекту.
Да у нас эта проблема возникает чуть ли не каждый месяц. если пошарить по форуму 10 ответов найдешь как правильно
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 18:25
    #34460324
grieg
grieg
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
blinded
Да вызывается он, просто печать не происходит, в буфере застревает.

Увы, я проверял с cout<<endl -- не вызывается.
Во всяком случае не выводится.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
13.04.2007, 19:34
    #34460469
nikname
nikname
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
StepLgЕсть класс A, в котором генерируется исключение. Класс B наследуется от него. В обоих классах имеются данные, которые необходимо уничтожить при вызове этого исключения.

Понятно, что это можно сделать какой-нибудь виртуальной функцией функцией. А что делать, если нужно вызвать деструктор? Прямой вызов в классе A деструктора this->~A() естественно не вызовет деструктор ~B(), как хотелось бы. Есть ли возможность это сделать? или вообще никак нельзя?

Не понял. Вы хотите внутри класса A или B перехватить исключение из этого же класса и в нём же вызвать деструктор? Это круто, но невозможно.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
14.04.2007, 11:12
    #34460866
blinded
blinded
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
наследование, исключения.
Проведенные исследования показали, что реальная раскрутка стека (вызов деструкторов и т.д.)
производится в момент обработки исключения. Не будет перехвата исключения - стек не раскрутится. Провеял и на gcc и VisualC++.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
  1  все
Форумы / C++ [игнор отключен] [закрыт для гостей] / наследование, исключения. / 25 сообщений из 30, страница 1 из 2
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 488ms
Закрыть
start [/forum/topic.php?fid=57&mobile=1&tid=2029040]:
 0ms
get settings:
 5ms
get forum list:
 13ms
check forum access:
 2ms
check topic access:
 2ms
track hit:
 152ms
get topic data:
 9ms
get forum data:
 2ms
get page messages:
 55ms
get tp. blocked users:
 1ms
others: 247ms
total:  488ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]