1.所有被static修饰的变量都被存储到全局存储区,因为static数据的生命周期与全局函数一样,拥有一样的“static enduration”。注意,被static修饰的常量并没有这个性质,比如static const int n=1,n是不允许被修改的常量,它在编译期就被全部换成了1,并不占用固定的存储空间。
2.关键字static的作用是通过编译器表现出来的,编译器会对static类型的数据做“语义”上的检查,一旦违背static语义上的要求,编译器便会提示错误。而static的“语义”主要有以下五点:
一、static变量的生命周期与全局变量一致,因此应该将static变量存储于全局存储区(常量除外,如static const int n=1)。
二、static变量有明确的作用范围,static全局变量作用范围是file-scope,不同的file可以有同名的static变量,而static局部变量作用范围则是local-scope,比如所处的函数体之中。static变量在其作用范围之外不允许被访问,因为它已经不可见了,被static修饰的全局变量也不允许在另外的file里使用extern关键字引入。这一点对static函数同样有效。
三、函数的static局部变量只被初始化一次,它能保存自己的状态。函数调用结束涉及到退栈,但退栈并影响static局部变量,因为它存放在全局存储区而非栈空间中。
四、类的static成员变量起到共享的作用,所有类的对象都能访问它(或它们)。类的static成员变量也存放在全局存储区,只有一份,即使类有很多实例(或称对象),static成员变量仍然只有一份,因为只有这样才能起到共享的作用。static成员变量一旦被修改,对该类的所有实例都起作用。
五、类的static成员函数只能访问类的static成员变量,static成员函数并不隐式包含类对象this指针,所以也没有能力访问类对象的普通成员。
编译器严格遵循上述语义要求对语句进行合法性检查,一旦违规则提示错误。只要编译通过,程序则不会再提示有关static的运行时错误,因为static的作用早在编译期就表现出来了。
3.由于全局存储区是一片默认为0x00的内存区域,因此没被初始化的static变量默认被置为0。