C++ 为什么派生类中的重写函数隐藏基类的其他重载？
以代码为例：C++ 为什么派生类中的重写函数隐藏基类的其他重载？,c++,polymorphism,overriding,C++,Polymorphism,Overriding,以代码为例： #include <stdio.h> class Base { public: virtual void gogo(int a){ printf(" Base :: gogo (int) \n"); }; virtual void gogo(int* a){ printf(" Base :: gogo (int*) \n"); }; }; class Derived : public Base{ p
#include <stdio.h>
class Base {
public:
virtual void gogo(int a){
printf(" Base :: gogo (int) \n");
};
virtual void gogo(int* a){
printf(" Base :: gogo (int*) \n");
};
};
class Derived : public Base{
public:
virtual void gogo(int* a){
printf(" Derived :: gogo (int*) \n");
};
};
int main(){
Derived obj;
obj.gogo(7);
}
#包括
阶级基础{
公众：
虚拟虚空果戈（INTA）{
printf（“Base:：gogo（int）\n”）；
};
虚空果戈（int*a）{
printf（“Base:：gogo（int*）\n”）；
};
};
派生类：公共基{
公众：
虚空果戈（int*a）{
printf（“派生：：gogo（int*）\n”）；
};
};
int main（）{
派生obj；
对象gogo（7）；
}
- 从引用的类型开始，然后转到基类型，找到第一个具有名为“gogo”的方法的类型
- 仅考虑该类型上名为“gogo”的方法，才能找到匹配的重载
- 从引用的类型开始，然后转到基类型，找到第一个具有名为“gogo”的方法的类型
- 仅考虑该类型上名为“gogo”的方法，才能找到匹配的重载
由于派生函数没有名为“gogo”的匹配函数，因此重载解析失败 名称解析规则规定，名称查找在找到匹配名称的第一个范围内停止。在这一点上，重载解析规则开始寻找可用函数的最佳匹配 在这种情况下，在派生类作用域中（单独）找到了
gogo（int*）using Base::gogo;
…将允许名称查找规则查找所有候选名称，因此重载解析将按预期进行。名称解析规则表示名称查找将在找到匹配名称的第一个作用域中停止。在这一点上，重载解析规则开始寻找可用函数的最佳匹配 在这种情况下，在派生类作用域中（单独）找到了
gogo（int*）using Base::gogo;
…将允许名称查找规则查找所有候选名称，因此过载解决将按照您的预期进行。从您的问题的措辞（您使用了“隐藏”一词）判断，您已经知道这里发生了什么。这种现象被称为“姓名隐藏”。出于某种原因，每当有人问起为什么会发生姓名隐藏的问题时，回答的人要么说这叫做“姓名隐藏”，并解释它是如何工作的（你可能已经知道），要么解释如何覆盖它（你从来没有问过），但似乎没有人关心解决实际的“为什么”问题
这个决定，隐藏名字的原理，即为什么它实际上被设计成C++，是为了避免某些反直觉的、不可预见的和潜在的危险行为，如果允许的重载函数的继承集允许与给定类中当前的重载集混合。您可能知道，在C++中，超载解析是通过从候选集中选择最佳函数来工作的。这是通过将参数类型与参数类型相匹配来实现的。匹配规则有时可能很复杂，并且常常导致结果可能会被未做好准备的用户认为不合逻辑。向一组以前存在的函数中添加新函数可能会导致重载解析结果发生相当大的变化
例如，假设基类Bfoovoid*foo（NULL）B:：foo（void*）B:：foo（void*）BBDfoo（int）Dfoo（void*）foo（int）Dfoo（NULL）D:：foo（int）intNULLfoo（NULL）D另一个例子是C++的设计和演化，第77页：
class Base {
int x;
public:
virtual void copy(Base* p) { x = p-> x; }
};
class Derived : public Base{
int xx;
public:
virtual void copy(Derived* p) { xx = p->xx; Base::copy(p); }
};
void f(Base a, Derived b)
{
a.copy(&b); // ok: copy Base part of b
b.copy(&a); // error: copy(Base*) is hidden by copy(Derived*)
}