以类型安全的方式将指针转换为指针

给出以下代码：

class Base
{
public:
   virtual ~Base() = default;
};

class Derived : public Base { };

int main(void)
{
  Derived d;
  Base* pb = &d;
  Base** ppb = &pb;

  Derived** ppd = ...; // Can this be defined in a type-safe manner?

  return 0;
}

是否可以为赋值给出一个类型安全的表达式ppd，无需引入类型的中间变量Derived*?

AFAIK，并非没有声明Derived指向d. The Base指向d (pb) 已经通过抽象丢失了类型信息，如果不进行不安全的强制转换就无法恢复。

由于您声明的是一个指向 a 的指针Derived，你需要一个指向Derived第一的。例如：

Derived* pd = &d;
Derived** ppd = &pd;

这两个定义都是类型安全的，在编译时进行检查。