实用经验 24 谨慎的使用static

本议题我们讨论static关键字。在此首先简单的介绍static关键字。

字典意思：adj. 静止的；不变的；静电的；[物]静力的；n. 静电；[物]静电（干扰）；静力学；争吵）

语法意思：静态的，所谓静态的就是指变量或函数在可以执行程序开始执行时生成，程序关闭时释放消失，在程序的执行过程中不会消失。

static主要有三种使用方式，其中前两种在C/C++语言中使用， 第三种只在C++中使用。这三种使用方式分别是：静态局部变量，静态全局变量/函数，静态成员变量/函数。下面我们分别讨论这三种用法。

1. 静态局部变量

在C/C++中局部变量一般按照存储形式可分为auto，static和regester三种。与auto（普通）变量相比static主要有三点不同。

（1）存储空间不同，auto变量一般分配在栈上，即占用动态存储空间。函数调用结束后会自动释放。而static变量分配在全局静态存储区域，在程序的整个运行期间都不会释放。两种之间作用域相同，但生存期不同。

（2）static局部变量，在初次运行时进行初始化工作，且只初始化一次。

（3）对于局部静态变量，如果不赋初值，编译期会自动赋初值0或空字符，而auto类型的初值是不确定的。

static局部变量具有“记忆性”与生存期的“全局性”：

• “记忆性”是指在两次函数调用时， 在第二次调用进入时， 能保持第一次调用退出时的值。
• “全局性”是指生存周期从程序运行时开始，程序退出时结束。同全局变量相同。

小心陷阱

• 程序运行很重要的一点就是可重复性， 而static变量的“记忆性”破坏了这种可重复性， 造成不同时刻至运行结果可能不同。
• 全局性和唯一性。普通的local变量的存储空间分配在stack上， 因此每次调用函数时，分配的空间都可能不一样，而static具有全局唯一性的特点，每次调用时，都指向同一块内存，这就造成一个很重要的问题 — 不可重入性
• 由于局部static变量导致函数具有不可重入，除此之外还存在一个严重的问题这就是线程安全问题，这是大家应该注意的。

下面这个函数就因为使用了局部static变量导致不具有线程安全。

// IP地址由数字转换为字符串 
const char * IpToStr(UINT32 IpAddr) 
{ 
	static char strBuff[16];     // static局部变量， 用于返回地址有效 
	const unsigned char *pChIP = (const unsigned char *)&IpAddr; 
	sprintf(strBuff, "%u.%u.%u.%u", pChIP[0], pChIP[1], pChIP[2], pChIP[3]); 
	return strBuff; 
}

分析：假设现在有两个线程A，B运行期间都需要调用IpToStr()函数， 将32位的IP地址转换成点分10进制的字符串形式。假设A先获得执行机会，执行IpToStr()，传入的参数是0x0B090A0A，顺序执行完应该返回的指针存储区内容是：“10.10.9.11”， 现执行到006时，失去执行权，调度到B线程执行，B线程传入的参数是0xA8A8A8C0，执行至007，静态存储区的内容是192.168.168.168。当再调度到A执行时，从006继续执行，由于strBuff的全局唯一性，内容已经被B线程冲掉，此时返回的将是192.168.168.168字符串，不再是10.10.9.11字符串。所以说这个函数不具有线程安全性。

2. 静态全局变量/函数

在C/C++中static还有另外一种含义：用来表示不能被其他文件访问的全局变量和函数。为了限制函数和变量的作用域，函数或变量前加static使得函数成为静态函数。

注意事项

• 静态全局变量/函数的静态“static”指的不是存储方式，而是指函数（变量）的作用域为本文件，不能被其他文件所访问。
• 对于全局变量无论是否被static修饰限制，它的存储区域都是静态存储区，生存期都是全局的。此是的static只是起到作用域限制作用，限定作用域在本模块(文件)内部。
• 使用静态函数的好处：不同的人编写不同的函数时，不用担心自己定义的函数，是否会与其它文件中的函数同名。因为你编写的函数只是在你的模块或文件中可见。

我们看下面这个例子，本例中声明了静态全局变量和函数。从中大家可以领悟到静态全局函数/变量的用法。

//  file1.cpp
static  int  s_nVarA;
int          g_nvarB;

extern void FuncA()
{
}
static void FuncB()
{
}

// file2.cpp
extern int g_nvarB;   // 使用file1.cpp中定义的全局变量g_nvarB
extern int s_nVarA;   // 错误! varA是static类型， 无法在其他文件中使用
extern void FuncA();  // 使用file1.cpp中定义的函数
extern void FuncB();  // 错误! 无法使用file1.cpp文件中static函数

3. 静态成员变量/函数

静态成员是C++特有，在C++中静态成员包括静态成员函数和静态成员变量。这人我们分别讨论一下他们。

（1）静态成员变量。在类内数据成员的声明前加上关键字static，该数据成员就是类的静态数据成员了。我们看下面这个例子：

// 存储类型，实现利率的设置，本息和的计算。
class CSaving
{
public:
    CSaving(double dPrincipal = 0);
    virtual ~CSaving();
    // 设置利率
    static void SetInterestRate(double dInterestRate);
    // 获取利率
    static double GetInterestRate();
private:
    // 年利率
    static double m_dInterstRate;
    // 年数
    int           m_nYears;
    // 本金
    double        m_dPrincipal;
};
CSaving::CSaving(double dPrincipal /* = 0 */)
{
    m_dPrincipal = dPrincipal;
    m_nYears = 0;
}
CSaving::~CSaving()
{
}
// 静态成员变量初始化
double CSaving::m_dInterstRate = 0.05;
// 设置利率
void  CSaving::SetInterestRate(double dInterestRate)
{
    m_dInterstRate = dInterestRate; 
}
// 获取利率
double CSaving::GetInterestRate()
{
    return m_dInterstRate;
}

int main()
{
    CSaving mySaving;
    cout << "my saving 's interest rate =" << mySaving.GetInterestRate() << endl;

    CSaving Yoursaving;
    Yoursaving.SetInterestRate(0.10);
    cout << "my saving 's interest rate =" << mySaving.GetInterestRate() << endl;
    cout << "your saving 's interest rate =" << Yoursaving.GetInterestRate() << endl;	   
}

这段代码输出结果为：

my saving 's interest rate =0.05
my saving 's interest rate =0.1
your saving 's interest rate =0.1

下面我们根据上面这段代码，总结一下static成员变量的特点：

1. 静态数据成员和普通数据成员一样遵从public，protected，private访问规则；
2. 静态数据成员初始化的格式为：<数据类型><类名>::<静态数据成员名>=<值> ；
3. 此例声明的两个对象，修改一个对象中的静态变量，另外一个对象的静态变量也会被修改。所以可以看出。无论这个类的对象被定义了多少个，静态数据成员在程序中也只有一份拷贝，由该类型的所有对象共享访问。

注意事项

• 静态成员变量属于类所有，不属于类的实例所有。就是说即使一个类没有定义任何实例，类中的静态成员也是存在的，我也也可以正常使用它。
• 静态数据成员存储在全局数据区，静态数据成员定义时要分配空间，所以不能在类声明中定义。另外类的静态数据成员不占用类的存储大小。
• 与全局变量相比：静态数据成员没有进入程序的全局名字空间，因此不会存在与程序中其他全局名字冲突的可能性。另外将静态变量声明为private成员可以实现数据信息的隐藏，而全局变量则无法实现。

（2）静态成员函数。静态成员函数和静态成员变量一样，它为类的服务而不是为类的具体对象服务。这儿需要特别说明的是：一般普通成员函数都隐含一个this指针（this指针指向类的对象本身），而静态成员函数不存在this。因为静态成员函数不属于任何对象，它属性类。从这种意义上将，静态成员函数无法访问类对象的非静态成员（包括非静态数据成员和非静态成员函数），它只能调用静态成员函数。

因为静态成员函数也属于类的成员函数，所以可以采用访问操作符（.）和（->）进行静态成员函数的调用。同样由于静态成员函数属性类，我们亦可采用下述格式进行静态成员函数的调用。

<类名>::<静态成员函数名>（<参数表>）

小心陷阱

• 静态成员可以访问静态成员，但绝对不能访问非静态成员。这是因为：静态成员在类定义时便产生和分配空间了。而非静态成员只是在类定义是才会产生并分配空间。所以当静态成员操作非静态成员时一般会报出：访问未定义变量错误。
• 静态成员随着程序的开始运行而产生，而后便一直存在不会消失。只有当程序执行完毕退出时才会释放空间并消失。所以静态成员函数不能在任何函数内分配空间和初始化。
• 静态成员不能声明为虚函数。这是因为静态成员函数在对象实例未生成前便可以调用。而如果对象实例未产生，虚函数调用使用的虚函数表未生成，导致虚函数调用时不知调用子类的虚函数还是父类的虚函数。
• 非静态成员函数可以任意的访问静态成员函数。而静态成员函数只能访问静态成员函数。

请谨记

• static修饰的静态成员同全局变量具有相同的生存周期，而作用域却不同。这才是static的真正意义。通过static可以限制变量的作用域，可以防止名字冲突的效果。有时候还可以提升运行效率的效果。
• static有三种使用方式，他们是静态局部变量，静态全局变量/函数，类的静态成员。C语言支持前两种，C++又扩展并支持了第三种。