Преобразование из полученного* к Base*&

• У ваших классов нет виртуальной функции. См. FAQ 20.7

• Beacuse Parent * & - ссылка на указатель на объект Parent . Вы передаете указатель на потомок - это несовместимые типы. Вы можете привязать временную ссылку к const-ссылке, т. Е. Если вы измените свой параметр на:

  void RemoveObj (Parent * const & foo);

Но тогда вы не сможете много с этим сделать.

Это был просто тестовый код, поэтому я не создавал виртуальных деструкторов. Если я правильно понимаю во втором вызове RemoveObj (), я получаю временный объект Parent *, который можно передать как постоянную ссылку на функцию. Это правильно?

Я настоятельно рекомендую вам запустить следующую программу в стандартном режиме C ++ 98, один раз как и затем снова после того, как вы закомментировали foo (b) и раскомментировали delete b . Затем попробуйте вставить виртуальный перед ~ s () . Различия должны быть самоочевидными!

#include <iostream>
using namespace std;
struct s { 
  s() {cout << __func__ << endl; }
  ~s() {cout << __func__ << endl; } 
};

struct t : s { 
   t() {cout << __func__ << endl; }
   ~t() {cout << __func__ << endl; } 
};

void foo(s* const& x) { delete x; }

int main() {
 t* b = new t;
 foo(b);
 //delete b;
}

type * & является другой синтаксической формой типа ** и Parent * & и Child * & не связаны друг с другом, так же как Parent ** и Child ** - это разные типы не в одной иерархии классов.

You can convert a Child* to a Parent*: this creates a temporary. But you cannot bind a non-const reference to that temporary.

That's not a problem of **/*&/etc. What you are trying to do is totally OK and makes sense. That Shark vs. Kitten has the same issue: not a matter of mixing kitten and sharks. You cannot bind a non-const reference to that unnamed pointer.

This is not the Parent** vs. Child** problem: there, if a Child** was a Parent**, then one could assign p[0] = new NotAChild;. A collection of objects which are all subtypes of A is not a collection of A.

Это не сработает по причинам, указанным Дирком. Если вам действительно нужен метод RemoveObj, я бы просто сохранил вновь выделенный дочерний объект как родительский *:

#include <iostream>

class Parent 
{
public:
    virtual ~Parent()
    {
        std::cout << "Parent destructor" << std::endl;
    }
};

class Child : public Parent 
{
public:
    virtual ~Child() 
    {
        std::cout << "Child destructor" << std::endl;
    }
};

void RemoveObj(Parent*& pObj)
{
    delete pObj;
    pObj = NULL;
}



int main (int argc, const char * argv[]) {

    Parent* pPObj = new Parent;
    Parent*  pCObj = new Child;

    RemoveObj(pPObj);    
    RemoveObj(pCObj); // This is line 32


    return 0;
}