Różnica w zachowaniu podczas używania dynamicznego rzutu z odniesieniami i wskaźnikami
Sprawdzałem zachowanie dynamic_cast i stwierdziłem, że gdy się nie powiedzie, wyjątek STD:: bad_cast jest wyrzucany tylko wtedy, gdy docelowy jest typem odniesienia. Jeśli celem jest typ wskaźnika, to żaden wyjątek nie jest wyrzucany z rzutu. To jest mój przykładowy kod:
class A
{
public:
virtual ~A()
{
}
};
class B : public A
{
};
int main()
{
A* p = new A;
//Using reference
try
{
B& b = dynamic_cast<B&>(*p);
}
catch(std::bad_cast exp)
{
std::cout<<"Caught bad cast\n";
}
//Using pointer
try
{
B* pB = dynamic_cast<B*>(p);
if( pB == NULL)
{
std::cout<<"NULL Pointer\n";
}
}
catch(std::bad_cast exp)
{
std::cout<<"Caught bad cast\n";
}
return 0;
}
Wyjście To "Caught bad cast" i "NULL pointer". Kod jest kompilowany przy użyciu VS2008. Czy to właściwe zachowanie ? Jeśli tak, to dlaczego jest różnica?
4 answers
Tak, to jest prawidłowe zachowanie. Powodem jest to, że możesz mieć wskaźnik null, ale nie odniesienie null - każde odniesienie musi być powiązane z obiektem.
Więc gdy dynamic_cast dla typu wskaźnika nie powiedzie się, zwraca wskaźnik null i wywołujący może to sprawdzić, ale gdy nie powiedzie się dla typu odniesienia, nie może zwrócić odniesienia null, więc wyjątek jest jedynym rozsądnym sposobem na zasygnalizowanie problemu.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2009-08-14 09:14:38
Patrz Standard C++, sekcja 5.2.7/9:
9 wartość nieudanego rzutu do typ wskaźnika jest wartością wskaźnika null wymaganego typu wyniku. Nieudany cast to reference type throws bad_cast (18.5.2).
Dlaczego-to są słowa Stroustrupa z D & E book, sekcja 14.2.2:
Używam referencji, gdy chcę założenie o typie odniesienia sprawdzone i Uznaj to za porażkę dla moje założenie jest błędne. Jeśli zamiast Chcę wybrać spośród alternatywy, używam wskaźnika obsady i sprawdź wynik.
Tak, 5.2.7 / 9
Wartość nieudanego oddania do wskaźnika jest wartością wskaźnika null wymaganego typu wyniku. Nieudany rzut do typu odniesienia rzuca bad_cast (18.5.2).
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2009-08-14 09:17:42
Tak, jest. Ponieważ dynamic_cast
nie może zwrócić NULL dla nieudanej referencji, jedynym wyjściem jest wyjątek.
Oznacza to, że odniesienie nie może być NULL, więc nie ma nic odpowiedniego do powrotu.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2009-08-14 09:14:34