《你真的了解C++吗》No.025：隐藏（Hiding）而非覆盖（Overriding）的陷阱

《你真的了解C++吗》No.025：隐藏（Hiding）而非覆盖（Overriding）的陷阱

在解决了菱形继承的物理布局后，我们要面对一个非常隐蔽的逻辑陷阱。很多开发者在写派生类时，本想增强基类的功能，结果却不小心“抹杀”了基类的所有同名函数。

导言：消失的函数

在 C++ 中，我们习惯了重载（Overloading）——在同一个作用域里，函数名相同但参数不同。但在继承体系中，规则发生了剧变。

核心准则：派生类的作用域嵌套在基类的作用域之内。一旦派生类定义了与基类同名的函数，基类的所有同名函数在派生类中都会被立即“隐藏”。

一、 案例拆解：你以为的重载，其实是抹杀

看看这段极具迷惑性的代码：

classBase{public:voidfunc(){std::cout<<"Base::func()\n";}voidfunc(intx){std::cout<<"Base::func(int)\n";}};classDerived:publicBase{public:// 我只想增加一个带 double 参数的版本voidfunc(doubled){std::cout<<"Derived::func(double)\n";}};

当你调用时：

Derived d;d.func(3.14);// 成功，调用 Derived::func(double)d.func(10);// 警告！调用的是 Derived::func(double)，10 被隐式转成了 doubled.func();// 编译报错！编译器说 Derived 类里找不到无参的 func()

为什么报错？
编译器在Derived的作用域里找到了func(double)，于是它就此打住，不再去Base的作用域里寻找其他func的重载版本。这就是所谓的名字隐藏（Name Hiding）。

二、 隐藏（Hiding）vs 覆盖（Overriding）

这是两个极易混淆的概念，它们的物理本质完全不同：

三、 如何找回被隐藏的函数？

如果你确实想在派生类中保留基类的那些重载版本，而不必手动一个个去重写一遍，C++ 提供了一个优雅的武器：using声明。

classDerived:publicBase{public:usingBase::func;// 声明：请把 Base 里的所有名为 func 的函数搬到我的作用域里来voidfunc(doubled){...}};// 现在 Derived 同时拥有了 func(), func(int), func(double)

四、 为什么 C++ 要这样设计？

这看起来像是个设计缺陷，但实际上是为了防止**“远距离干扰”**。
如果基类位于一个遥远的库中，某天库更新增加了一个新的重载版本，而你刚好在派生类里有一个类似名称的函数。如果没有隐藏规则，基类的新函数可能会在不经意间改变你代码的重载解析结果，导致难以排查的 Bug。

隐藏规则强制你：如果你要改，你就得明确知道你在改什么。

总结：作用域的权力

• 名字查找（Lookup）优先于类型检查。只要名字对上了，编译器就不再往上找了。
• 在继承体系中，如果你需要重载基类的函数，请务必配合使用using声明。
• 记住：只有virtual配合相同的签名才是覆盖，其他的统统是隐藏。

下一篇预告：聊完了编译器的静态查找，我们要看看运行时最昂贵的操作之一。当你不得不问一个基类指针“你到底是不是某个子类”时，幕后发生了什么？

➡️《你真的了解C++吗》No.026：运行时类型识别（RTTI）的开销——dynamic_cast 的代价。