作用域及可见性

1. 存储类型(Storage Class),是C语言与C++语言的标准中,变量与函数的可访问性(即作用域范围scope)与生存期(life time)的类型。存储类型可分为auto、register、static、extern、mutable、thread_local等。详见百度百科。
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() {}
body.cpp
void func() {}
有可能出现重定义。
 
原文地址:https://www.cnblogs.com/dyllove98/p/3149468.html