引用指针和 C++ 多态性

Question

有谁知道为什么这会导致编译器错误？我试过 VS 2005 和 Codewarrior：

class Parent {
   protected:
      int m_Var;
   public:
      Parent() : m_Var(0) {}
      virtual ~Parent() {}
      void PubFunc();
};

class Child : public Parent {
   protected:
      bool m_Bool;
   public:
      Child() : m_Bool(false) {}
      virtual ~Child() {}
      void ChildFunc();
};

void RemoveObj(Parent *& ppObj)
{
   delete ppObj;
   ppObj = 0;
}

int main()
{
   Parent* pPObj = 0;
   Child*  pCObj = 0;
   pPObj = new Parent();
   pCObj = new Child();

   RemoveObj(pPObj);
   RemoveObj(pCObj);
   return 1;
}

视觉工作室说：

refptr.cpp(33)：错误 C2664： “RemoveObj”：无法转换参数 1 从“子 *”到“父 *&”

谢谢

Answer 1

RemoveObj 的 ppObj 参数是对 Parent* 的引用。如果RemoveObj() 方法将指针替换为指向新Parent 对象的指针怎么办？当方法返回您的 pCObj Child* 将不再指向 Child 对象。

Answer 2

来自 C++ 标准 (1998)

除非在上下文中 用户自定义初始化 转换 (13.3.1.4, 13.3.1.5), a 格式良好的隐式转换 序列是以下之一 形式：——标准转换 序列（13.3.3.1.1），-用户 定义...

13.3.3.1.1

每个转化最多一次 类别允许在单个 标准转换顺序

所以 c++ 不能连续两次隐式转换：从指针到指针，然后再从指针。

为了解决这个问题，考虑这样的 RemoveObj 声明

void RemoveObj(Parent ** ppObj)

你会看到这个错误

error: invalid conversion from 'Child**' to 'Parent**'

你必须像这样使用显式转换

   RemoveObj((Parent**)&pCObj);
   RemoveObj((Parent*&)&pCObj);

或者不得不改变

void RemoveObj(Parent *& ppObj)

到

void RemoveObj(Parent * ppObj)

或到

template <typename T>
void RemoveObj(T *& pObj)
{
   delete pObj;
   pObj = 0;
}

Answer 3

ppobj 是指针的引用。 *ppobj 取消引用变量指向的内容，因此您可以获取变量指针。

由于取消引用的类型不正确，您会看到错误。

Answer 4

指向引用的指针允许指针值在函数中改变。正如Michael Burr 所指出的，可能会分配不正确的类引用并返回它。想象一下你的整个程序错误地使用 *pchickens 作为 *peggs :)

我认为值得添加（尽管没有明确您的要求）： 我对多态实现的偏好是将常用函数作为方法移动到内部。如果它们都共享一个函数，只需将其添加到基类中即可。

那么无论哪种方式，您都可以简单地调用 Foo->Bar() 并达到预期的效果。但是对于您给出的具体实现示例，只需 delete Foo 将调用适当的析构函数。

Answer 5

这不是权威，但我认为问题在于 C++ 类的多态性并没有扩展到它们的指针；您期望在这里完成的是将Child * 转换为Parent *；虽然您可以将 Child 转换为 Parent，但您不能将指针 reference 转换。也就是说，类是多态的，但指向类的指针在作为引用时不是。这是迈克尔·伯尔（Michael Burr）在上面给出的原因； Child * 暗示了某种Parent * 没有的内存结构。