C++存储修饰符解释 zosatapo(原作)

类别:VC语言 点击:0 评论:0 推荐:

C++存储修饰符解释(纯理论部分)

在C++中,存储空间主要是指变量或者函数或者类(下文中为了方便都称为标识符)的可见性和使用范围。为此C++提供下面几个存储空间修饰(storageclassspecifiers),这些修饰符告诉编译器标识符的生存周期和可见性(可以理解为可引用性),以及这些标识符是应该如何被存储。

生存空间修饰符:
auto
register
static
extern
本文分成几个部分,每一个部分相对独立。

//////////////////////////////////////
//         链接(Linkage)         //
//////////////////////////////////////

[重要]定义一个标识符是如何被引用的

这里我首先解释一下链接的概念。这个概念对于我们理解本文中的一些其他的概念有着很重要的影响作用。链接是指声明在不同生存空间的标识符或者是在同一个生存空间中声明多次的标识符实际上都指向一个共同的内存空间(比如变量或者函数)。链接(Linkage)定义了一个标识符在程序中不同部分的是否可以引用(也就是是否"可见")。

c++中链接可以分成三类:
internal,
external,
以及
no linkage.

///////////////////////////
//  Internal Linkage
///////////////////////////

在文件生存空间(file
scope)中用static存储修饰符来声明标识符(变量或者函数)的话,
我们就说这个标识符是internal linkage。
否则的话,我们则说这个标识符是external linkage。

///////////////////////////
//  External Linkage
///////////////////////////

在文件生存空间(file
scope)中用我们没有使用任何存储修饰符来声明标识符(变量或者函数)的话,
我们就说这个标识符是external
linkage。虽然来讲我们应该显式使用存储修饰符extern来声明external linkage
标志符的,但是因为默认的情况就是external
linkage,所以我们可以不显式的提供extern修饰符。


///////////////////////////
//  No Linkage
///////////////////////////


如果标识符声明在一个区块(block)中,同时又没有extern 存储修饰符修饰,
我们就说这个标识符是no linkage,同时这个标识符只对这个区块是可见的。

////////////////////////////////////////
//         生存空间与可见性           //
//       (Scope and Visibility )    //
////////////////////////////////////////

[重要]定义变量在放在程序文件的那个部分

在进行下面的内容之前我先讲个实际上存在的现象。浩瀚的宇宙对于我们每个人来说都是那样的神秘,我们可以说那些东西对于我们生存在地球上人都是共有的,哈哈。至少我们在心里可以这样认为的。因为物体客观的存在在那里,不属于任何个人和团体的。但是我们说这些话有意义吗?其实一点意义都没有,只是我讲的一个现象而已拉。哈哈好下面把这个话题再拓展一下,对于浩瀚宇宙中的物体虽然不属于任何个人和团体,但是是每个人都可以取用吗?一个很简单的例子你去过月球吗?没有吧!!但是有些人却去过的,因为他们有着更好的工具条件(可以认为他们有更高的权限)。好拉,说现象就说到这里,

下面正式开始我们的话题。

标识符的"可见性"决定了我们可以在程序的哪些部分可以引用。当你的代码处于标识符生存空间的范围内,你可以引用标识符,否则你不可能引用到标识符。生存空间可以大概分成四类:
function scope,file scope,block scope和function prototype scope;

下面逐个解释一下生存空间与标识符可见性的关系:

※File scope
file scope标识符经常也被称“global” 或者
“external”标识符。标识符生存周期是从标识符
定义或者声明点开始一直到文件结束。
※Function scope
※Block scope
※Function-prototype scope
这三种生存空间很相似,这里不在表述。

这样我要用到我讲的那个现象了,因为出现了紧急状况。
生存空间只是可见性的必要条件但是绝对不是充分条件,现在开始分析一下file scope中涉及到的具体问题。我们是标识符是file scope是否意味着在程序中任何地方都可以引用标识符呢,实践的证明不是这样的,那现在弄清楚原因就是我们的目标。不错,在filescope中声名或者定义的标识符是"global"或者是"external"的,这个这是意味着这些标识符编译时候会被放在程序的数据段(.data segment)中,但是程序中其他部分能否引用这样的标识符就得看自己的本事了。这个本事跟linkage有关了,你现在要是还没有弄清楚linkage的话,现在回头再看看。这个就是标识符的可见性。
哈哈到这里你结合我前面讲的那个现象可以先静下心来想一想。

实际上在全局生存空间定义的变量和函数如果被加上了static存储标识符的话,他们仅仅在定义他们的源文件中是"可见"的。而其他的在全局生存空间中定义的变量和函数才是真正全局
“可见”的。

 

本文地址:http://com.8s8s.com/it/it2695.htm