cpp——类——作用域名字查找

最新推荐文章于 2025-05-19 13:27:37 发布

原创最新推荐文章于 2025-05-19 13:27:37 发布 · 580 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#类作用域 #类作用域嵌套 #对象名字查找 #类型名字查找 #嵌套类型

cpp 专栏收录该内容

32 篇文章

订阅专栏

本文详细阐述了C++中类作用域的概念及其工作原理，包括对象名字查找和类型名字查找的过程，解释了如何在不同作用域中解决名字冲突。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

概述

在类外部看来，类类型跟非类类型，类类型对象跟非类类型对象在使用上无区别，类类型如内置类型一般使用，类类型对象如内置类型对象一般使用，但在类内部则存在复杂作用域，这就是类作用域，类作用域对类外部是透明的

对象名字查找

class CAnimal
{
public:
    CAnimal() : mGroup(1) {}
    
public:
    int mGroup;
    
public:
    void init() { cout << "CAnimal::init()" << endl; }
    
public:
    static int totalGroup;
    
public:
    static int getTotalGroup() { cout << "CAnimal::getTotalGroup()" << endl; return totalGroup; }
};

int CAnimal::totalGroup = 5;

class CDog : public CAnimal
{
public:
    CDog() : mGroup(2) {}
    
public:
    int mGroup;
    
public:
    void init() { cout << "CDog::init()" << endl; }
    
public:
    static int totalGroup;
    
public:
    static int getTotalGroup() { cout << "CDog::getTotalGroup()" << endl; return totalGroup; }
};

int CDog::totalGroup = 8;

class CHusky : public CDog
{
public:
    CHusky() : mGroup(3) {}
    
public:
    int mGroup;
    
public:
    void init() { cout << "CHusky::init()" << endl; }
    
public:
    static int totalGroup;
    
public:
    static int getTotalGroup() { cout << "CHusky::getTotalGroup()" << endl; return totalGroup; }
    
public:
    void search()
    {
        cout << "mGroup = " << mGroup << endl;
        init();
        cout << "totalGroup = " << totalGroup << endl;
        getTotalGroup();
    }
};

int CHusky::totalGroup = 58;

void search_obj_name()
{
    CHusky husky;
    husky.search();
}

output：

mGroup = 3
CHusky::init()
totalGroup = 58
CHusky::getTotalGroup()

删除CHusky除search外的所有成员

class CAnimal
{
public:
    CAnimal() : mGroup(1) {}
    
public:
    int mGroup;
    
public:
    void init() { cout << "CAnimal::init()" << endl; }
    
public:
    static int totalGroup;
    
public:
    static int getTotalGroup() { cout << "CAnimal::getTotalGroup()" << endl; return totalGroup; }
};

int CAnimal::totalGroup = 5;

class CDog : public CAnimal
{
public:
    CDog() : mGroup(2) {}
    
public:
    int mGroup;
    
public:
    void init() { cout << "CDog::init()" << endl; }
    
public:
    static int totalGroup;
    
public:
    static int getTotalGroup() { cout << "CDog::getTotalGroup()" << endl; return totalGroup; }
};

int CDog::totalGroup = 8;

class CHusky : public CDog
{
public:
    void search()
    {
        cout << "mGroup = " << mGroup << endl;
        init();
        cout << "totalGroup = " << totalGroup << endl;
        getTotalGroup();
    }
};

void search_obj_name()
{
    CHusky husky;
    husky.search();
}

output：

mGroup = 2
CDog::init()
totalGroup = 8
CDog::getTotalGroup()

把CDog除构造函数外的所有成员访问权限改为private

class CAnimal
{
public:
    CAnimal() : mGroup(1) {}
    
public:
    int mGroup;
    
public:
    void init() { cout << "CAnimal::init()" << endl; }
    
public:
    static int totalGroup;
    
public:
    static int getTotalGroup() { cout << "CAnimal::getTotalGroup()" << endl; return totalGroup; }
};

int CAnimal::totalGroup = 5;

class CDog : public CAnimal
{
public:
    CDog() : mGroup(2) {}
    
private:
    int mGroup;
    
private:
    void init() { cout << "CDog::init()" << endl; }
    
private:
    static int totalGroup;
    
private:
    static int getTotalGroup() { cout << "CDog::getTotalGroup()" << endl; return totalGroup; }
};

int CDog::totalGroup = 8;

class CHusky : public CDog
{
public:
    void search()
    {
        //cout << "mGroup = " << mGroup << endl;
        //init();
        //cout << "totalGroup = " << totalGroup << endl;
        //getTotalGroup();
    }
};

void search_obj_name()
{
    CHusky husky;
    husky.search();
}

注：编译error，不能访问private member

总结

在c中，对象声明search从对象名字所在当前作用域当前位置开始，向外层作用域forward search，一旦找到相应名字对象声明，search terminate，因此内层对象声明会屏蔽外层对象声明，局部作用域对象声明会屏蔽全局作用域对象声明

在c++类中，对象声明search分三步走：

对象声明search从对象名字所在当前作用域(成员函数作用域内)当前位置开始search，向外层作用域forward search，一旦找到相应名字对象声明，search terminate，因此内层对象声明会屏蔽外层对象声明，在这一步中遵循c的函数内对象名字声明search规则
如果在成员函数作用域内search不到相应名字对象声明，接着在类作用域内search，沿着继承体系上溯search，一旦找到相应名字对象在类作用域内的定义，search terminate，search过程中对象类型ignored，对象访问权限ignored，因此子类成员对象名字定义会屏蔽父类成员对象名字定义
如果在类继承体系内找不到相应名字对象定义，接着在类作用域外(即全局作用域内)search相应名字对象声明，一旦找到相应名字对象声明，search terminate，如果在全局作用域内仍search不到目标对象名字声明，编译error

同一类作用域内的所有成员(non-static数据成员，non-static函数成员，static数据成员，static函数成员)本质位于同一作用域，而对象名字定义search ignored对象名字的类型，因此同一类作用域内的所有成员名字不能重复(成员名字都是定义)

c++类内的对象声明search比c多了第二步，即类作用域内的相应名字对象定义search，从c角度理解，类继承体系本质就是类作用域嵌套，子类作用域和父类作用域形成嵌套作用域，子类作用域位于内层作用域，父类作用域位于外层作用域，因此类作用域内的相应名字对象定义search从对象名字所在当前类作用域(内层作用域)开始，沿着继承体系上溯search(向外层作用域forward search)，因此子类成员对象名字定义会屏蔽父类成员对象名字定义，嵌套的类作用域最外层，即类继承体系的root类作用域，最终位于全局作用域内，因此如果类继承体系中search不到对应的对象名字定义，最后会在全局作用域内search对象名字声明，如果在全局作用域内也search不到目标对象名字声明，编译error

CAnimal
{
    ...  //all animal obj name list
    CDog
    {
        ... //all dog obj name list
        CHusky
        {
        }
    }
}

注：父类所有对象定义位于子类作用域之前，即子类作用域开始于父类作用域所有对象定义之后

从访问权限角度理解，当前类对自身类所有成员都有访问权限，而对于父类成员，只有public和protected成员才有访问权限，因此从业务逻辑考虑优先search当前类成员定义非常自然

类型名字查找

类作用域内也可定义类型，称为嵌套类型，类作用域内类型名字查找遵循对象名字查找相同原理和过程，不再赘述

cpp——类——作用域 名字查找

概述

对象名字查找

总结

类型名字查找

cpp——类——作用域名字查找