将指向派生类指针的指针作为构造函数的参数传递给期望指向基类指针的指针

Question

我读了

• 将指针传递给派生类，传递给希望指向基类的指针的函数？

但答案似乎不适用于我的问题。

我通过Ideone检查以下文件是否可以编译：

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

class Derived : public Base
{
public:
    Derived() {}
    virtual ~Derived() {}
};

class Manager
{
public:
    Manager(Base* b) {}
    ~Manager() {}
private:
    Manager() {}
};

int main()
{
    Derived* d = new Derived;
    Manager* m = new Manager(d);
    return 0;
}

但是，我认为与我的实际程序中的场景相同，这会产生错误（当然，关键字已被替换）：

"main.cc", line 551: Error: Could not find a match for Manager::Manager(Derived*) needed in main().

我意识到发布显式代码会有所帮助，但是代码的复杂性（不是我写的，涉及无数继承层，每个文件包含数十个包含内容，各处都有朋友类，外部变量等），这让人很烦恼，而且我什至不知道该减少些什么（什么是相关的而哪些是没有什么），以获得可以在此处发布的合理内容。

我有一个提示可能会有所帮助。 我发现强制转换为基类是可行的：

Manager* m = new Manager((Base*)d);

当然，我不必这样做。 但是，这一事实告诉我，我并没有犯一些琐碎的错误，例如在构造函数的签名中忘记了* 。

有人能想到我可能会收到的错误的某些可能原因，但是当我将派生实例显式转换为基类时却没有吗？

我正在使用Sun Studio 12 Update 1。

---

额外细节

我不知道为什么这很重要，但是在我的实际应用程序中，我正在使用指针指针， 例如

...

class Manager
{
public:
    Manager(Base** b) {}
    ~Manager() {}
private:
    Manager() {}
};

...

    Derived* d = new Derived;
    Derived** d_ptr = &d;
    Manager* m = new Manager(&d_ptr);

因此，重申一下，当我执行以下操作时，以上方法有效。

    Manager* m = new Manager((Base**)(&d));

Answer 1

从指针到派生到指针到基的隐式转换不会扩展到指针到指针到的派生。 如果您尝试此操作，则会得到相同的错误：

struct Base{};
struct Derived: Base {};

void f(Base **p){}

int main()
{
    Derived *dp = 0;
    f( &dp);
}

Answer 2

考虑下面的最小示例：

struct Base {};

struct Derived {};

int main()
{
    Derived** ppD;
    Base** ppB = ppD; // (A)
}

该代码无法编译，因为（A）行中没有隐式转换，无法从Derived**转换为Base** 。 [conv.ptr] / 3

类型的prvalue“指向cv D ”，其中D是一个类型，可被转化为式的“指向cv一个prvalue B ”，其中B是一个基类的D 。 如果B是D的不可访问或模棱两可的基类，则需要进行此转换的程序格式错误。

这意味着转换Base* pB = *ppD; 格式正确，但（A）行中的情况没有隐式转换。 如果它是合法的，例如对于多重继承，虚拟继承或任何其他必须调整指向Derived对象的指针的地址以获取指向Base类型的子对象的指针的情况，则可能会出现问题。

还请考虑以下情形：

void f(Base** p)
{
    delete *p;
    *p = new Base;
}

int main()
{
    Derived* pDerived = new Derived;
    f(&p); // imagine this was allowed
    // pDerived now points to an object of type Base!
}

Answer 3

以下代码将作为“派生”类从“基本”类派生而编译并工作。

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

class Derived : public Base
{
public:
    Derived() {}
    virtual ~Derived() {}
};

class Manager
{
public:
    Manager(Base* b) {}
    ~Manager() {}
private:
    Manager() {}
};

int main()
{
    Derived* d = new Derived;
    Manager* m = new Manager(d);
    return 0;
}

但是，指向“派生”类的指针的指针与指向“基”类的指针的指针（也不是派生自）相同。

有关碗香蕉和苹果的详细说明，请参见此处： 从派生**转换为基**

HTH。

Answer 4

要么做

Derived* d = new Derived;
Derived** d_ptr = &d;
Manager* m = new Manager(*d_ptr);

要么

Derived* d = new Derived;
Derived** d_ptr = &d;  // not needed ?
Manager* m = new Manager(d);