使用带有引用和指针的dynamic_cast时的行为差异

Nav*_*een 39 c++ dynamic-cast casting

我正在检查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;
}
Run Code Online (Sandbox Code Playgroud)

输出是"Caught bad cast"和"NULL pointer".代码使用VS2008编译.这是正确的行为吗?如果是,那为什么会有区别?

sha*_*oth 66

是的,这是正确的行为.原因是您可以使用空指针,但不能使用空引用 - 任何引用都必须绑定到对象.

因此,当指针类型的dynamic_cast失败时,它返回一个空指针,调用者可以检查它,但是当它为引用类型失败时,它不能返回空引用,所以异常是发出问题的唯一合理方式.


小智 25

请参阅C++标准,第5.2.7/9节:

9失败转换为指针类型的值是所需结果类型的空指针值.失败的强制转换为引用类型会抛出bad_cast(18.5.2).

至于为什么 - 这些是Stroustrup在D&E书中的第14.2.2节所说的话:

当我想要一个关于检查引用类型的假设时,我使用引用转换,并认为这是我的假设错误的失败.如果我想在合理的替代方案中进行选择,我会使用指针转换并测试结果.

  • 我很欣赏这个答案中的额外工作,将标准和Stroustrup对它的解释联系起来. (3认同)

APr*_*mer 8

是的,5.2.7/9

失败的强制转换为指针类型的值是所需结果类型的空指针值.失败的强制转换为引用类型会抛出bad_cast(18.5.2).


Kim*_*man 5

是的.因为dynamic_cast失败的引用强制转换不能返回NULL,所以异常是唯一的出路.

也就是说,引用不能为NULL,因此没有什么适合返回的.

  • 然后,您将不得不尝试捕获每个是脏代码的 dynamic_cast。相反,您可以获取地址,dynamic_cast 并检查是否为空。 (2认同)