c与c++的static函数

c 与c++ static 函数的区别

本文转自：http://blog.csdn.net/lipps/archive/2007/05/18/1615419.aspx
static 关键字是 C, C++ 中都存在的关键字 ,  它主要有三种使用方式 ,  其中前两种只指在 C 语言中使用 ,  第三种在 C++ 中使用 (C,C++ 中具体细微操作不尽相同 ,  本文以 C++ 为准 ).
(1) 局部静态变量
(2) 外部静态变量 / 函数
(3) 静态数据成员 / 成员函数
下面就这三种使用方式及注意事项分别说明
一、局部静态变量
在 C/C++ 中 ,  局部变量按照存储形式可分为三种 auto, static, register

(<C 语言程序设计 ( 第二版 )> 谭浩强 ,  第 174-175 页 )
与 auto 类型 ( 普通 ) 局部变量相比 , static 局部变量有三点不同
1.  存储空间分配不同
auto 类型分配在栈上 ,  属于动态存储类别 ,  占动态存储区空间 ,  函数调用结束后自动释放 ,  而 static 分配在静态存储区 ,  在程序整个运行期间都不释放 .  两者之间的作用域相同 ,  但生存期不同 .
2. static 局部变量在所处模块在初次运行时进行初始化工作 ,  且只操作一次
3.  对于局部静态变量 ,  如果不赋初值 ,  编译期会自动赋初值 0 或空字符 ,  而 auto 类型的初值是不确定的 . ( 对于 C++ 中的 class 对象例外 , class 的对象实例如果不初始化 ,  则会自动调用默认构造函数 ,  不管是否是 static 类型 )
特点 : static 局部变量的”记忆性”与生存期的”全局性”
所谓”记忆性”是指在两次函数调用时 ,  在第二次调用进入时 ,  能保持第一次调用退出时的值 . 
示例程序一
#include <iostream>
using namespace std;
void staticLocalVar()
{
static int a = 0; //  运行期时初始化一次 ,  下次再调用时 ,  不进行初始化工作
cout<<"a="<<a<<endl;
++a;
}
int main()
{
staticLocalVar(); //  第一次调用 ,  输出 a=0
staticLocalVar(); //  第二次调用 ,  记忆了第一次退出时的值 ,  输出 a=1
return 0;
}
应用 :
利用”记忆性” ,  记录函数调用的次数 ( 示例程序一 )
利用生存期的”全局性” ,  改善” return a pointer / reference to a local object ”的问题 . Local object 的问题在于退出函数 ,  生存期即结束 ,.  利用 static 的作用 ,  延长变量的生存期 .
示例程序二 :
// IP address to string format
// Used in Ethernet Frame and IP Header analysis
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;
}

注意事项 :
1.  “记忆性” ,  程序运行很重要的一点就是可重复性 ,  而 static 变量的”记忆性”破坏了这种可重复性 ,  造成不同时刻至运行的结果可能不同 .
2.  “生存期”全局性和唯一性 .  普通的 local 变量的存储空间分配在 stack 上 ,  因此每次调用函数时 ,  分配的空间都可能不一样 ,  而 static 具有全局唯一性的特点 ,  每次调用时 ,  都指向同一块内存 ,  这就造成一个很重要的问题  ---- 不可重入性 !!!
这样在多线程程序设计或递归程序设计中 ,  要特别注意这个问题 .
( 不可重入性的例子可以参见 <effective C++ (2nd)>( 影印版 ) 第 103-105 页 )
下面针对示例程序二 ,  分析在多线程情况下的不安全性 .( 为方便描述 ,  标上行号 )
①  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 ” ,  现执行到⑥时 ,  失去执行权 ,  调度到 B 线程执行 , B 线程传入的参数是 0xA8A8A8C0,  执行至⑦ ,  静态存储区的内容是 192.168.168.168.  当再调度到 A 执行时 ,  从⑥继续执行 ,  由于 strBuff 的全局唯一性 ,  内容已经被 B 线程冲掉 ,  此时返回的将是 192.168.168.168 字符串 ,  不再是 10.10.9.11 字符串 .

二、外部静态变量／函数
在 C 中  static 有了第二种含义：用来表示不能被其它文件访问的全局变量和函数。但为了限制全局变量 / 函数的作用域 ,  函数或变量前加 static 使得函数成为静态函数。但此处“ static ”的含义不是指存储方式，而是指对函数的作用域仅局限于本文件 ( 所以又称内部函数 ) 。注意此时 ,  对于外部 ( 全局 ) 变量 ,  不论是否有 static 限制 ,  它的存储区域都是在静态存储区 ,  生存期都是全局的 .  此时的 static 只是起作用域限制作用 ,  限定作用域在本模块 ( 文件 ) 内部 .
使用内部函数的好处是：不同的人编写不同的函数时，不用担心自己定义的函数，是否会与其它文件中的函数同名。
示例程序三 :

//file1.cpp

static int varA;
int varB;
extern void funA()
{
……
}

static void funB()
{
……
}

//file2.cpp

extern int varB; //  使用 file1.cpp 中定义的全局变量
extern int varA; //  错误 ! varA 是 static 类型 ,  无法在其他文件中使用
extern vod funA(); //  使用 file1.cpp 中定义的函数
extern void funB(); //  错误 !  无法使用 file1.cpp 文件中 static 函数

三、静态数据成员／成员函数 (C++ 特有 )
C+ + 重用了这个关键字，并赋予它与前面不同的第三种含义：表示属于一个类而不是属于此类的任何特定对象的变量和函数 .  这是与普通成员函数的最大区别 ,  也是其应用所在 ,  比如在对某一个类的对象进行计数时 ,  计数生成多少个类的实例 ,  就可以用到静态数据成员 . 在这里面 , static 既不是限定作用域的 ,  也不是扩展生存期的作用 ,  而是指示变量 / 函数在此类中的唯一性 .  这也是”属于一个类而不是属于此类的任何特定对象的变量和函数”的含义 .  因为它是对整个类来说是唯一的 ,  因此不可能属于某一个实例对象的 . ( 针对静态数据成员而言 ,  成员函数不管是否是 static,  在内存中只有一个副本 ,  普通成员函数调用时 ,  需要传入 this 指针 , static 成员函数调用时 ,  没有 this 指针 . )
请看示例程序四 (<effective c++ (2nd)>( 影印版 ) 第 59 页 )
class EnemyTarget {
public:
EnemyTarget() { ++numTargets; }
EnemyTarget(const EnemyTarget&) { ++numTargets; }
~EnemyTarget() { --numTargets; }
static size_t numberOfTargets() { return numTargets; }
bool destroy(); // returns success of attempt to destroy EnemyTarget object
private:
static size_t numTargets; // object counter
};
// class statics must be defined outside the class;
// initialization is to 0 by default
size_t EnemyTarget::numTargets;

在这个例子中 ,  静态数据成员 numTargets 就是用来计数产生的对象个数的 .