继承和指向指针的指针：为什么它不起作用以及如何解决它？

Question

当我使用指向继承类的指针调用基类函数时，为什么会出现编译错误？

示例：

class cFoo {};
class cBar : public cFoo {};
void func1(cFoo *) {}  // base class
void func2(cFoo **) {}  // base class

void main(void)
{   cBar bar, *pbar;   // inherited class

    func1(&bar);   // compiles OK
    func2(&pbar);  // fail
    func2(dynamic_cast<cFoo**>(&pbar));  // 'class cFoo ** ' : invalid target type for dynamic_cast
}

我该如何解决这个问题？

Answer 1

考虑以下情况：

class cFoo {};
class cBar : public cFoo {};
void func1(cFoo *) {}
void func2(cFoo **p) { *p = new cFoo; }  // modify pointee

void main(void)
{   cBar bar, *pbar;   // inherited class

    func1(&bar);   // compiles OK

    func2(&pbar);
}

如果这样做有效，您将设法将 cFoo 对象放入 cBar 指针中，而不会出现编译器错误，并且类型系统将被破坏。动态施法不会有帮助，因为施法无法防止损坏。

Answer 2

它不起作用，因为 dynamic_cast 适用于类的指针或引用。并且您尝试在指向指针的指针上使用它。

简单的修复方法如下：

func2(&dynamic_cast<cFoo*>(pbar));

Answer 3

你试图做的事情是有缺陷的。

（非常量）指向指针的指针作为函数参数的典型用例 - 是函数将修改参数以指向某个实例的指针。

这是选择实例的函数。
工厂方法示例。

参数的类型描述了函数保证有效的类型。

如果您的函数保证该实例是 cBar，那么它应该采用 cBar** 参数。

由于它需要一个 cFoo** 它只保证该对象是一个有效的 cFoo。

在当前形式中，如果强制强制转换，将导致任何类型的 cFoo 暴露为 cBar - 即使情况并非如此。