指针的reinterpret_cast指针

Question

如果我有一个指向Derived**指针的Derived**类指针，并希望将其转换为一个指向Base**指针的基类指针，则无法使用static_cast<Base**>(ppd)编译，因此我不得不使用reinterpret_cast<Base**> ，似乎工作正常。 是否有一个原因？ 在进行这种reinterpret_cast时，有什么需要注意的注意事项吗？

以下是我编写的一段示例代码：

struct Base {
    Base(int x0) : x(x0) {}
    int x;
};

struct Derived : Base {
    Derived(int x0, int y0): Base(x0), y(y0) {}
    int y;
};

void foo(Base** ppb) {
    *ppb = new Derived(5, 7);
}

void bar(Derived** ppd) {
    foo(reinterpret_cast<Base**>(ppd));
}

int main() {
    Base* pb = new Base(3);
    cout << pb->x << endl;
    delete pb;

    foo(&pb);
    cout << pb->x << ' ' << static_cast<Derived*>(pb)->y << endl;
    delete pb;

    Derived* pd = new Derived(2,4);
    cout << pd->x << ' ' << pd->y << endl;
    delete pd;

    bar(&pd);
    cout << pd->x << ' ' << pd->y << endl;
    delete pd;
}

Answer 1

reinterpret_cast<Base**>(ppDerived)定义正确。 如果对js的指针指向派生的指针，则取消对结果的引用是未定义的行为，而不是您可以执行的操作。 UB可能的症状之一是“看起来工作正常”。

您可能想要的是：

Base* foo() {
  return new Derived(5, 7);
}

Derived* bar() {
  return static_cast<Derived*>(foo());
}

它不包含UB，并且在逻辑上是等效的。

或者，您可以执行以下操作：

template<class...Ts>
using sink=std::function<void(Ts...)>;

void foo(sink<Base*> ppb) {
  ppb(new Derived(5, 7));
}

void bar(sink<Derived*> ppd) {
  foo([&](Base*b){ ppd(static_cast<Derived*>(b)); });
}

甚至

void foo(Base** ppb) {
  *ppb = new Derived(5, 7);
}

void bar(Derived** ppd) {
  Base*p=0;
  foo(&p);
  *ppd=static_cast<Derived*>(p);
}

Answer 2

您实际上根本不需要reinterpret_cast ：

void bar(Derived** ppd) {
    Base *base;
    foo(&base);
    *ppd = static_cast<Derived*>(base);
}