Я проверял поведение dynamic_cast и обнаружил, что когда он терпит неудачу, исключение std:: bad_cast выбрасывается только в том случае, если назначение является ссылочным типом. Если пункт назначения является типом указателя, исключение не исключается из списка. Это мой пример кода:
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;
}
Вывод - "Попал плохой бросок" и "NULL-указатель". Код компилируется с использованием VS2008. Это правильное поведение? Если да, то почему существует разница?
Да, это правильное поведение. Причина в том, что вы можете иметь нулевой указатель, но не пустую ссылку - любая ссылка должна быть привязана к объекту.
Поэтому, когда dynamic_cast для типа указателя завершается с ошибкой, он возвращает нулевой указатель, и вызывающий может его проверить, но когда он не работает для ссылочного типа, он не может вернуть нулевую ссылку, поэтому исключение является единственным разумным способом сигнализировать о проблеме.
См. стандарт С++, раздел 5.2.7/9:
9 Значение неудачного приведения в действие Тип указателя - значение нулевого указателя требуемого типа результата. Ошибка бросать в ссылочный тип бросает bad_cast (18.5.2).
Что касается того, почему - это слова Страуструпа из книги D и E, раздел 14.2.2:
Я использую ссылку ссылки, когда хочу предположение о ссылочном типе проверить и считать мое предположение ошибочно. Если вместо этого Я хочу выбрать среди правдоподобных альтернативы, я использую указатель и проверьте результат.
Да, 5.2.7/9
Значение неудачного нажатия на тип указателя - это нулевое значение указателя требуемого типа результата. Неудавшийся приведение к ссылочному типу вызывает bad_cast (18.5.2).
Да, это так. Поскольку dynamic_cast не может возвращать NULL для неудавшегося ссылки, исключение является единственным выходом.
То есть ссылка не может быть NULL, поэтому нет ничего подходящего для возврата.