Разница в поведении при использовании dynamic_cast со ссылкой и указателями

Я проверял поведение 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. Это правильное поведение? Если да, то почему существует разница?

Ответ 1

Да, это правильное поведение. Причина в том, что вы можете иметь нулевой указатель, но не пустую ссылку - любая ссылка должна быть привязана к объекту.

Поэтому, когда dynamic_cast для типа указателя завершается с ошибкой, он возвращает нулевой указатель, и вызывающий может его проверить, но когда он не работает для ссылочного типа, он не может вернуть нулевую ссылку, поэтому исключение является единственным разумным способом сигнализировать о проблеме.

Ответ 2

См. стандарт С++, раздел 5.2.7/9:

9 Значение неудачного приведения в действие Тип указателя - значение нулевого указателя требуемого типа результата. Ошибка бросать в ссылочный тип бросает bad_cast (18.5.2).

Что касается того, почему - это слова Страуструпа из книги D и E, раздел 14.2.2:

Я использую ссылку ссылки, когда хочу предположение о ссылочном типе проверить и считать мое предположение ошибочно. Если вместо этого Я хочу выбрать среди правдоподобных альтернативы, я использую указатель и проверьте результат.

Ответ 3

Да, 5.2.7/9

Значение неудачного нажатия на тип указателя - это нулевое значение указателя требуемого типа результата. Неудавшийся приведение к ссылочному типу вызывает bad_cast (18.5.2).

Ответ 4

Да, это так. Поскольку dynamic_cast не может возвращать NULL для неудавшегося ссылки, исключение является единственным выходом.

То есть ссылка не может быть NULL, поэтому нет ничего подходящего для возврата.