无法将指针向上转换为指针参数

Question

我在这里什么都不懂。 我希望，如果我可以将dog指针传递给采用动物指针的函数，也可以将＆dog传递给采用指向Animal指针的函数。

struct Animal{};
struct Dog : Animal{};

void ptrToPtr(Animal** arg){}
void refToPtr(Animal*& arg){}
void refToConstPtr(Animal* const & arg){}
void ptrToConstPtr(Animal* const * arg){}

int main(void)
{
    Dog* dog;
    Animal* animal;

    ptrToPtr(&animal); // Works
    ptrToPtr(&dog); // Argument of type Dog** is incompatible with argument of type Animal**

    refToPtr(animal); // Works
    refToPtr(dog);      // A reference of type Animal*& (not const-qualified) cannot be initialized with a value of type Dog*

    ptrToConstPtr(&animal); // Works
    ptrToConstPtr(&dog);    // Argument of type Dog** is incompatible with paramater of type Animal* const*

    refToConstPtr(animal); // Works
    refToConstPtr(dog);  // Works. This is the only one that allows me to send Dog to Animal

    return 0;
}

我只是不明白，有谁能解释为什么特定案例起作用而其他案例不起作用的原因是什么？ 就像将狗的指针地址传递给Animal **一样，这是一个错误，不是吗？

Answer 1

互转换指针类型是指向派生/基本类型的对象的指针。 A“指针的指针”是不是相互转换的与其它类型的（具有除外void* ）。 同样适用于参考文献。

这意味着给定以下任何层次结构：

struct Animal{};
struct Dog : Animal{};

和以下变量：

Dog* dptr;
Animal* aptr;

dptr可以转换为Animal* （甚至隐式），同样aptr可以转换为Dog* （但不能隐式）。 因为：在类层次结构中进行向上转换始终是合法的，因此这将由ICS隐式完成。 但是，向下转换并不总是这样，因此它从未隐式完成）

然而：

Dog** ddptr;
Animal** aaptr;

ddptr不能隐式转换为Animal** ，同样aptr不能转换为Dog** 。 因为，它们是两种没有层次关系的不同类型。

---

---

---

上面的解释说明了为什么指针重载指针失败。 也就是说，让我们处理引用类型的重载。 根据您的代码，

refToPtr(animal); // Works
refToPtr(dog);      // A reference of type Animal*& (not const-qualified) cannot be initialized with a value of type Dog*

第二个调用不起作用，因为说X非常量引用只能绑定到X的确切glvalue对象。 由于refToPtr对Animal*类型采用非常量引用，因此我们只能向其传递Animal*类型的glvalues，即animal是，而dog不是。

最后一个有效，这是合法的，因为

refToConstPtr(animal); // Works
refToConstPtr(dog);    // Works. This is the only one that allows me to send Dog to Animal

const发言权引用X可以绑定到任何值产品类别X ，包括temproaries其寿命延伸。 因为我们可以将dog转换为Animal* 。 进行该转换并生成一个临时的Animal* ，其寿命通过const引用延长。