typedef
extern
static
_Thread_local
register
其中,除了 typedef (放在这里仅仅是为了描述语法方便),其它几个(配合变量声明的位置)描述了的变量的 linkage 和 storage duration。但是 storage class specifier 跟 linkage / storage duration 并不是一一对应的。
linkage:
linkage 有三种,exteranl, internal,none 。
linkage 用于描述多次相同的声明是否描述同一个变量。
external linkage 的变量表明在不同源文件(实际应为 translation unit)声明的同名变量(包括 linkage 与 type 都相同,下同)为同一个变量。通常使用 extern 声明。
internal linkage 的变量表明在不同源文件中的同名变量为不同的变量,但是同一个源文件中的多次声明为同一个变量。
no linkage 表明变量的每一个声明(即使同名)都是不同的变量。没有 extern 修饰的局部变量都是 no linkage
storage duration:
storage duration 是对象(object)的生存期:有四种:static, thread, automatic, allocated 。
static: 在整个程序的周期存在。全局变量,external linkage 变量,static 变量,等等都是 static storage duration。
thread: 在每个线程的存在周期存在。每个线程有自己不同的副本。使用 _Thread_local 声明。
automatic: 一般的局部变量。在定义域内存在,离开定义域则声明周期结束。
allocated: 使用 malloc 等动态内存管理函数创建的对象。他们没有自己对应得变量。但是通常他们得地址会存在一个变量中。
C++ 的跟这个相似但是并不相同。
“函数返回一个值相当于定义一个和返回值类型相同的临时变量并用return后面的表达式来初始化。
这个是描述 C++ 的,不是 C 。C++ 由于有类,所以比较复杂。另外,在 C++ 里,这个叫临时对象,而不是临时变量。
C 的 return 直接返回一个值。
C++ 一定要明确此处出翔的临时对象,因为在 C++ 里临时对象的创建与销毁会带来副作用(会调用构造与析构函数)。
产生这个问题的原因是我无法记忆linux里面ELF文件中bss段存储的变量到底是什么。。我觉得我对变量的类别没有一个清楚的认识。
bss 是放(全局)未初始化变量的。局部变量不会进 bss 。