Question

#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 选项。

Answer 1

这是未定义的行为。有时UB会导致崩溃。有时似乎“工作”。你是对的，你不应该这样做，即使在这种情况下发生了不那么糟糕的事情。

Answer 2

您正在尝试的是未定义的行为，因此可能会发生任何事情。这似乎工作（并且可能有效），因为您不尝试访问任何数据成员（您没有任何数据）。尝试向这两个类添加一些数据成员并从方法中访问它，您将看到该行为将变为完全不可预测。

Answer 3

我怀疑这个特例是UB。首先，它只是将指针从一种类型转换为另一种类型。由于不涉及虚拟/多重继承，因此不执行指针调整，因此基本上指针值保持不变。当然它指的是一个错误类型的对象，但谁在乎，只要我们不访问任何B成员，即使有一些？即使涉及指针调整，如果我们不访问它指向的任何内存仍然可以，我们不会。

然后，该示例调用B的方法。由于它不是虚拟的，它只是带有隐藏参数this的正常函数调用（想象B::B_Method(this)）。现在，this指向一个错误类型的对象，但同样，谁在乎呢？它唯一能做的就是打印它，这总是一件安全的事情。

实际上，您甚至可以使用NULL指针调用方法。只要方法不是虚拟的并且不尝试访问this指向的任何内容，它就可以工作。我曾经有过许多程序使用的库。这个库有一个类似单例的类，必须明确构造，但没有一个程序实际上是这样做的。默认情况下，实例指针初始化为NULL，因为它是全局的。由于课程根本没有数据成员，所以它工作得很好。然后我添加了一些，所有程序突然开始崩溃。当我发现原因时，我笑得很开心。我一直在使用一个甚至不存在的物体。

static_cast怀疑

3 个答案: