作用域及可见性

1. 存储类型(Storage Class)，是C语言与C++语言的标准中，变量与函数的可访问性(即作用域范围scope)与生存期(life time)的类型。存储类型可分为auto、register、static、extern、mutable、thread_local等。上述关键字有各自使用域。如：
namepace nnn
{
 auto void func();//错误
 auto int i;//错误
 static int j;//正确，此时static的文件可见性消失，被限制为namespace可见性
}
class C
{
public:
 auto int i;//错误
};
类的可见性，比namespace特殊一点，需要对象绑定，如果显示声明static可以消除对象绑定。
详见百度百科。

2.文件中直接声明非const变量，默认是extern的，即全局作用域全局可见性。

文件：1.cpp

int i; // 等价于extern int i = 默认初始化。

文件：2.cpp

extern int i;

上面程序中，2.cpp的i变量在1.cpp中定义。

3. 文件中声明const变量，具有文件作用域文件可见性(和static修饰符一样)。

文件1.cpp

const int i = 0; //等价于static const int i = 0;

文件：2.cpp

extern int i;

上面程序中，由于1.cpp中i是文件可见性，2.cpp看不到i的定义，所以2.cpp的i还没有定义。将2.cpp中修改为extern const int i = 0; 出现一个问题：由于2.cpp的i是全局可见的，文件1.cpp编译时可以看到2.cpp的i，会不会出现i重定义。答案：不会，因为不同在同一个作用域是不会出现重定义的。如：

int i;

{

 int i;

}

4. 对于文件中直接声明函数也是默认extern的（尽管函数有const属性，即函数定义一次不能再次修改）。

文件：1.cpp

void func() {};

文件：2.cpp

void func() {};

在编译时会出现函数重定义。在重定义检测方面根据编译器不同而匹配。如将1.cpp文件中改为int func() {return 0;} gun c就会出现重定义，而vs不出现重定义，在同一个文件函数名相同一定出现重定义。extern void func() 和void func()一样，extern void func(){} 也和extern void func()一样，所以在函数在外部定义的话，不用加extern。

5. 对于inline函数

liline函数有时不会解释成liline，那该函数自动转成全局的。如果其他文件有一个全局的该函数，在调用该函数（注意，不调用则不会）会重定义。

如：在带main函数的文件中定义

main.cpp

inline void func() {}

int main()

{

func();//函数中使用了inline函数就会出现重定义。

}

body.cpp

void func() {}

有可能出现重定义。虽然inline函数作用域是文件的，如：

文件1.cpp

inline void func(){}

文件2.cpp

inline void func(){}

这两者互不可见。但是对于下段程序

文件1.cpp

inline void func(){}

void funcx() { func() }//调用会出现重定义

文件2.cpp

void func() {}

inline函数在调用时，会检查上层作用域，目的是防止inline函数定义模糊。
6. 对于类的作用域和namespace的作用域
类内定义具有文件作用域和namespace作用域，类外定义，具有全局作用域和namespace作用域，注意namespace作用域是可以跨文件的。（全局作用域的一个名字，两种类型在不同文件是不冲突的，而一个文件中一个名字只能出现一次，即使不同类型）。class比namespace域表示更复杂一点。类名和ns名是文件作用域的，但其有定义了一个作用域，这个作用域却又是跨文件的。
类的复杂的一点是：两个文件中同名类中可以有同名变量，而ns中却不可以。因为ns作用域是跨文件的。而在类内部的话，类的作用域是不跨文件的。