Отличие приведение типов указателей

@rikimaru2013 · Регистрация: 30.11.2013

Author24 — интернет-сервис помощи студентам

Чем отличаются при Base* a_ptr = new Derivered(); следующие строки:

A) auto ptr = static_cast<Derived*>( a_ptr );
B) auto ptr = dynamic_cast<Derived*>( a_ptr );

Мои предположения:
1) если в A тип a_ptr не находится в иерархии с Derivered - UB
2) если Base в B не имеет VTABLE ошибка компиляции
3) если в В оба виртуальных типа, но Base и Derivered не в одной ветке иерархии - вернёт nullptr, когда UB

Что я пропустил?

C++

class Base
{
};
class Derived : public Base
{
};

@Aymurat · 29.02.2016, 18:55

Сообщение от rikimaru2013

Base* a_ptr = new Derivered();

Сообщение от rikimaru2013

A) auto ptr = static_cast<Derived*>( a_ptr );

Так Derived или Derivered? Или обе?

@hoggy · 29.02.2016, 19:18

Сообщение от Aymurat

Так Derived или Derivered? Или обе?

нет.
только Derived, я думаю.

@rikimaru2013 · 29.02.2016, 21:33 **[ТС]**

Да там опечатка. new Derived

@Nosey · 01.03.2016, 00:05

static_cast - это наиболее безопасный компайл тайм каст -> ~~у него ub быть не может~~. А будут ошибки компиляции.
Посыпаю голову пеплом, конечно может быть ub.

Сообщение от rikimaru2013

1) если в A тип a_ptr не находится в иерархии с Derivered - UB

Вот в этом случае будет не ub а ошибка компиляции.

@Kastaneda · 01.03.2016, 09:18

Сообщение от rikimaru2013

вернёт nullptr, когда UB

если что-то в определенной ситуации возвращает nullptr - это уже не UB, а вполне себе defined.
Все UB описаны в стандарте, зачем их додумывать?

@rikimaru2013 · 01.03.2016, 11:13 **[ТС]**

Kastaneda, там вырезалась фраза - когда у конкурента UB

Nosey, так вы чтоли рекомендуете использовать статик_каст в местах, где надо динамик_каст?

@Nosey · 01.03.2016, 12:49

Не по теме:

Удалите меня с форума :rofl:, а-то пишу всякую недодуманую чушь:-[

Сообщение от rikimaru2013

Nosey, так вы чтоли рекомендуете использовать статик_каст в местах, где надо динамик_каст?

Это идеальная рекомендация, но недостижимая - избавляться от динамик каста.

Сообщение от rikimaru2013

1) если в A тип a_ptr не находится в иерархии с Derivered - UB

Если не находится в иерархии подразумевает статическое не нахождение в иерархии, то компилятор выдаст ошибку компиляции.
Если же в рантайме окажется, что a_ptr не дорос до Derived - будет ub.

@rikimaru2013 · 01.03.2016, 13:53 **[ТС]**

Не по теме:

Nosey, Nosey, всё для тебя !

C++

 std::string user = "Nosey";
     auto seach = std::find_if(std::begin(m_users), std::end(m_users), [=](const User& curr){
                  return User.getName() == user;
     });
     if(seach != std::end(m_users))
     {
         m_users.erase(seach);
     }

@Aymurat 125 / 117 / 67 Регистрация: 07.11.2014 Сообщений: 788
	29.02.2016, 18:55	2
	Сообщение от rikimaru2013 Base* a_ptr = new Derivered(); Сообщение от rikimaru2013 A) auto ptr = static_cast<Derived*>( a_ptr ); Так Derived или Derivered? Или обе? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	29.02.2016, 19:18	3
	Сообщение от Aymurat Так Derived или Derivered? Или обе? нет. только Derived, я думаю. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	29.02.2016, 21:33 [ТС]	4
	Да там опечатка. `new Derived` 0

@Nosey 1379 / 406 / 144 Регистрация: 22.10.2014 Сообщений: 872
	01.03.2016, 00:05	5
	static_cast - это наиболее безопасный компайл тайм каст -> ~~у него ub быть не может~~. А будут ошибки компиляции. Посыпаю голову пеплом, конечно может быть ub. Сообщение от rikimaru2013 1) если в A тип a_ptr не находится в иерархии с Derivered - UB Вот в этом случае будет не ub а ошибка компиляции. 1

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	01.03.2016, 09:18	6
	Сообщение от rikimaru2013 вернёт nullptr, когда UB если что-то в определенной ситуации возвращает nullptr - это уже не UB, а вполне себе defined. Все UB описаны в стандарте, зачем их додумывать? 1

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	01.03.2016, 11:13 [ТС]	7
	Kastaneda, там вырезалась фраза - когда у конкурента UB Nosey, так вы чтоли рекомендуете использовать статик_каст в местах, где надо динамик_каст? 0

@Nosey 1379 / 406 / 144 Регистрация: 22.10.2014 Сообщений: 872
	01.03.2016, 12:49	8
	Не по теме: Удалите меня с форума :rofl:, а-то пишу всякую недодуманую чушь:-[ Сообщение от rikimaru2013 Nosey, так вы чтоли рекомендуете использовать статик_каст в местах, где надо динамик_каст? Это идеальная рекомендация, но недостижимая - избавляться от динамик каста. Сообщение от rikimaru2013 1) если в A тип a_ptr не находится в иерархии с Derivered - UB Если `не находится в иерархии` подразумевает статическое не нахождение в иерархии, то компилятор выдаст ошибку компиляции. Если же в рантайме окажется, что a_ptr не дорос до Derived - будет ub. 0