C++多态场景下基类派生类作用域解析符::使用问题

问题复现代码 #

#include <iostream>
using namespace std;

class Animal
{
    protected:
        int ID=4;
    public:
        void getID();

};

void Animal::getID()
{
    cout << Animal::ID << endl;
}

class Frog:public Animal
{
    public:
        Frog();
};

Frog::Frog()
{
    Animal::ID = 1;
}



class Cat:public Animal
{
    public:
        Cat();
};

Cat::Cat()
{
    Cat::ID = 500;
}

int main()
{
    Frog frog;
    Cat cat;
    cat.getID();
    frog.getID();
}

/*
程序运行后屏幕输出为：
500
1
*/

核心疑问解答 #

针对“派生类中Animal::和Frog::是否指向同一成员、是否会自动转换”的问题，结论如下：

• 你当前的代码场景（单公有继承、派生类没有定义同名ID成员遮蔽基类成员）下，两种写法访问的是内存中的同一个成员变量。
• 不存在“写Animal::时程序自动识别为Frog::”的逻辑。实际规则是：当你用类作用域符号::访问成员时，如果当前类找不到对应成员，编译器会沿着继承链向上查找，直到找到匹配的成员为止。Frog本身没有定义ID成员，写Frog::ID时编译器向上溯源到Animal类的ID成员，最终和直接写Animal::ID定位到了同一个实体，所以赋值效果完全一致。
• 你可以自己做个验证：在Frog类中新增一个同名成员protected: int ID = 999;，此时再写Frog::ID = 1修改的是Frog自身的ID，写Animal::ID =1修改的是从基类继承的ID，两者完全独立，运行结果就会出现差异。

你当前代码的运行结果符合预期：每个派生类实例在构造时，都会修改自己继承到的基类子对象里的ID值，调用基类的getID()方法时，读取的就是当前实例对应的ID值，因此cat输出500、frog输出1。

附加问题解答 #

关于“是否能从Frog实例中输出基类Animal的初始ID值4”，结论是：按你当前的代码结构无法实现，必须调整代码设计。
你代码里写的int ID=4;是非静态成员的默认初始化值，逻辑是：每次创建Animal或其派生类的实例时，先将这个成员初始化为4，后续你在派生类构造函数里给它赋值为1、500时，原来的初始值4就被直接覆盖了，内存中不会保留这个初始值，自然无法读取。

如果要实现“既保留派生类修改后的ID，又能获取基类初始ID值”，可以参考以下改法：

• 将基类的初始ID定义为类级别的静态常量，和实例成员独立存储，不会被实例的赋值操作修改：

class Animal
{
    protected:
        int ID = 4;
    public:
        // 所有实例共享的静态常量，存储基类默认ID
        constexpr static int DEFAULT_ID = 4;
        void getID();
        void getBaseInitID() {
            cout << DEFAULT_ID << endl;
        }
};

修改后，哪怕frog实例自身的ID已经被改为1，调用frog.getBaseInitID()就能输出基类的初始值4。

如果你的需求是保留基类子对象的ID不被派生类修改，可以在派生类中定义自己的同名ID成员，不要直接修改基类的ID，此时实例中会同时存储基类未修改的ID（值为4）和派生类自定义的ID，通过作用域符就能分别访问，只是这种写法需要同步调整getID等成员函数的逻辑，避免读取到不符合预期的值。

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