不能向上转换指向指针参数的指针

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

interconvertible 指针类型是指向派生/基类型对象的指针。 “指向指针的指针”不能与其他类型相互转换（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 的非 const 引用只能绑定到 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 的任何值类别，包括生命周期延长的临时对象。因为我们可以将dog 转换为Animal*。该转换发生并产生一个临时的Animal*，其生命周期由const 引用延长。