static_cast疑问

#include <iostream>
class A
{
public:
    A()
    {
        std::cout << "n A_Constructor t" << this <<std::endl;
    }
    void A_Method()
    {
        std::cout <<"n A_Method t" << this <<std::endl;
    }
};
class B:public A
{
public:
    B()
    {
        std::cout <<"n B_Constructor n";
    }
    void B_Method()
    {
        std::cout <<"n B_Method t" << this <<std::endl;
    }
};

int main()
{
    A *a_obj = new A;
    B *b_obj = static_cast<B*> (a_obj);  // This isn't safe.
    b_obj->B_Method();      
    getchar();
    return 0;
}
输出:   A_Constructor 001C4890     B_Method 001C4890 由于类型转换不涉及运行时检查,因此
static_cast
不安全。但在这个例子中,我得到了我甚至没想到的东西。由于没有调用
B::B()
,任何成员都不应该被
b_obj
调用。尽管我得到了输出。 在这个简单的例子中,我可能已经成功,虽然它已知不安全。我的疑虑是 - 虽然没有打电话给
B::B()
,但我怎么能够访问
class B
成员函数。 有人可以提供一个例子,这是不安全的,可能会出错(虽然我之前给出的可能是一个不好的例子,但更好)。 我是在Visual Studio 2010上使用 Wall选项设置的。     
已邀请:
这是未定义的行为。有时UB会导致崩溃。有时似乎“工作”。你是对的,你不应该这样做,即使在这种情况下发生了不那么糟糕的事情。     
你正在尝试的是未定义的行为,所以任何事情都可能发生。这似乎工作(并且可能有效),因为您不尝试访问任何数据成员(您没有任何数据)。尝试向这两个类添加一些数据成员并从方法中访问它,您将看到该行为将变为完全不可预测。     
我怀疑这个特例是UB。首先,它只是将指针从一种类型转换为另一种类型。由于不涉及虚拟/多重继承,因此不执行指针调整,因此基本上指针值保持不变。当然它指的是一个错误类型的对象,但谁在乎,只要我们不访问任何B成员,即使有一些?即使涉及指针调整,如果我们不访问它指向的任何内存仍然可以,我们不会。 然后,该示例调用B的方法。因为它不是虚拟的,它只是一个隐藏参数
this
的正常函数调用(想想
B::B_Method(this)
)。现在,
this
指向一个错误类型的对象,但又一次,谁在乎呢?它唯一能做的就是打印它,这总是一件安全的事情。 实际上,您甚至可以使用NULL指针调用方法。只要方法不是虚拟的并且不尝试访问
this
指向的任何内容,它就可以工作。我曾经有过许多程序使用的库。这个库有一个类似单例的类,必须明确构造,但没有一个程序实际上是这样做的。默认情况下,实例指针初始化为NULL,因为它是全局的。由于课程根本没有数据成员,所以它工作得很好。然后我添加了一些,所有程序突然开始崩溃。当我发现原因时,我笑得很开心。我一直在使用一个甚至不存在的对象。     

要回复问题请先登录注册