VPF::безопасное преобразование типов

Jcs

Дата 22.1.2004, 08:36 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 156
Регистрация: 1.10.2003

Репутация: нет
Всего: нет

В каких случаях dynamic_cast генерит исключения? Может быть, кроме наличия виртуальных функций есть еще какие необходимые требования?

Код


class A{
	int mem;
public:
	A(){}
	A& operator=(A& rsm){return *this;}
	~A(){};
	virtual g(){return 0;}
};
class AA:public A
{
public:
	AA& operator=(AA& rsm){return *this;}
	virtual g(){return 1;}
};

int main(int argc, char* argv[])
{
	A ex0;
	AA ex1;
	
	A& rex0 = ex0;
	ex0 = ex1;

                 AA& rex1 = dynamic_cast<AA&>(rex0);  // генерится исключение
	return 0;
}

Jcs

Дата 22.1.2004, 10:19 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 156
Регистрация: 1.10.2003

Репутация: нет
Всего: нет

Все нормально работает, просто забыл поддержку rtti включить

Jcs

Дата 22.1.2004, 12:29 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 156
Регистрация: 1.10.2003

Репутация: нет
Всего: нет

Опять ошибся... Щас генерится bad_cast, в прошлом случае было "non rtti-types" или чего-то в этом роде. Если же ссылки заменить на указатели, то никаких исключений не генерится. Может быть для ссылок и указателей используетс я разная семантика?

Waters

Дата 27.1.2004, 20:22 (ссылка)

(нет голосов)

Загрузка ...

Новичок

Профиль
Группа: Участник
Сообщений: 28
Регистрация: 16.11.2003

Репутация: нет
Всего: нет

Цитата

Может быть для ссылок и указателей используетс я разная семантика?

Да, в случае ссылок dynamic_cast сам проверяет результат преобразования и в случае неудачи выбрасывает исключение bad_cast. Оно и понятно - ведь ссылка не может быть невалидной. В случае каста к указателю этого нет.
Если интересуют подробности - глава 15.4.1.1 (это по специальному изданию).

wbr.

Это сообщение отредактировал(а) Waters - 27.1.2004, 20:24

Jcs

Дата 28.1.2004, 16:05 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 156
Регистрация: 1.10.2003

Репутация: нет
Всего: нет

Спасибо, в случае указательного каста возвращается нулевой указатель, если объект для преобразования не был создан как базовый. Толстый, однако, этот dynamic_cast, к typeinfo долбится, исключения генерит..

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »