C++类作用域判定、变量访问与头文件编译规则问题咨询

#include <iostream>
using namespace std;
string barValue = "OUTSIDE CLASS";

class foo
{
public:
    void print_bar()
    {
        cout << barValue << endl;
    }
};

int main()
{
    foo f;
    f.print_bar();
    return 0;
}

问题1：代码中的barValue变量是否属于foo类的类作用域范围？ #

不属于。
foo类的类作用域仅覆盖类花括号{}内部声明的所有成员（包括成员变量、成员函数、嵌套类型等），以及类外定义的类成员的实现范围。你代码里的barValue是全局命名空间下的全局变量，只是因为它的定义在foo类定义之前，所以类内成员函数可以通过名字查找访问到它，本质上并不属于foo的类作用域。

问题2：若barValue定义在某一个引入的头文件中，是否可以被类成员函数正常访问？ #

只要满足以下两个条件就可以正常访问：

• 包含barValue声明/定义的头文件，被#include到foo类定义的位置之前
• barValue的可见性符合访问要求（比如没有被static限定为当前翻译单元私有）

补充注意：如果barValue是直接定义在头文件中的非inline全局变量，多个翻译单元引入该头文件会触发多重定义错误。常规做法是在头文件中放extern string barValue;的声明，将定义放在单独的cpp文件中。

问题3：类所在的当前文件及其所有引入的头文件，是否可以被认定为foo类的作用域？ #

完全不是。
你描述的“当前文件+所有引入的头文件”对应的是C++的翻译单元概念，和类作用域是完全独立的两个范畴。类作用域的范围严格限定为类体内部，以及类成员的实现上下文，不会延伸到整个翻译单元。

问题4：我已知若barValue定义在类体之后将无法被类成员函数访问，这是否意味着所有引入的头文件内容都会被处理到当前文件类体定义之前的位置？ #

不是，头文件的展开位置完全由你写#include指令的位置决定。
#include的本质是预处理器将对应头文件的内容，原封不动插入到#include指令所在的位置：如果你把#include写在类定义之前，头文件内容就会展开到类定义之前；如果写在类定义之后，就会展开到类定义之后。
你遇到的“barValue定义在类体之后无法访问”的本质是C++的名字查找规则：从名字被使用的位置出发，仅查找该位置之前已经声明的名字，和内容来自当前文件还是头文件没有任何关系。

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