C++无菱形继承下函数重载机制及函数隐藏问题咨询

1. 无菱形继承下C++函数重载的工作机制 #

咱先把这事掰扯明白：在普通的无菱形继承结构里，函数重载的核心是同名但签名不同的函数，在同一个作用域（或者能通过作用域规则被找到的范围）里共存，编译器会根据你调用时传的参数类型、数量、顺序，精准匹配最合适的那个重载版本。

具体逻辑大概是这样：

• 编译器首先在你调用函数的当前作用域里找同名函数。如果找到多个，就挨个比对参数，挑最匹配的；要是当前作用域找不到，才会去外层作用域（比如父类的作用域，前提是父类的同名函数没被隐藏）接着找。
• 划个重点：重载必须是同一个作用域内的同名不同签名函数，或者是你主动用using声明把父类的同名函数引入到当前作用域的情况。要是子类自己声明了同名函数，哪怕签名和父类的完全不一样，父类的所有同名函数都会被“藏起来”——这就是你第二个问题里碰到的情况。

2. 为什么Parent的f(int)会隐藏Grandparent的所有f重载？ #

先把你给的示例代码贴出来，方便对照：

void f(double, double); // 全局作用域
struct Grandparent {
    void f(int);
    void f(double, double);
};
struct Parent : public Grandparent {
    void f(int); // 这里直接隐藏了Grandparent中所有f的重载版本
};
struct Child : public Parent {
    void g() {
        f(2.14, 3.17); // 编译器会尝试匹配Parent::f，直接报错
    }
};

这其实是C++里的**名称隐藏（Name Hiding）**规则，和函数重载完全是两码事！重载是同一个作用域里的同名不同签名函数玩的游戏，而名称隐藏是：当子类声明了一个和父类同名的函数（不管签名对不对得上），父类里所有叫这个名字的函数都会被“屏蔽”——编译器在子类或者子类的派生类里找这个名称时，只会先看当前类和直接父类，不会自动去更远的祖先类里找那些被藏起来的同名函数。

那为啥要搞这么个规则？说白了就是为了避免意外的函数调用。你想啊，如果子类加了一个同名函数，编译器自动把父类的重载也拉进来一起匹配，很可能会出现你本来想调用子类的函数，结果却误打误撞匹配到了父类某个你压根没注意到的重载版本，这反而更容易出bug。C++的设计思路向来是“显式优于隐式”，如果你想让父类的重载在子类里可见，得主动用using声明把它们拉进来，比如：

struct Parent : public Grandparent {
    using Grandparent::f; // 把Grandparent的所有f重载都引入当前作用域
    void f(int); // 现在这个f(int)就和父类的f重载构成重载关系了
};

这样Child里调用f(2.14, 3.17)就会正确匹配到Grandparent的f(double, double)，不会再报错啦。

内容的提问来源于stack exchange，提问作者Sripooja