之前, 我们讲过不可重入函数, 现在, 我们继续深挖一下。 我说过,大道至简, 能把复杂的问题简化, 那是一种可贵的能力。
我们先看一个超级简单的可重入函数, 上菜:
#include <iostream>
using namespace std;
int fun()
{
int a = 0;
a++;
return a;
}
int main()
{
cout << fun() << endl;
cout << fun() << endl;
return 0;
}
我相信, 只要你能找到我的博客,会读到该博文,那么你肯定知道上述的结果是
1
1
上面的fun函数就是可重入函数, 下面我们看看不可重入的fun函数;
#include <iostream>
using namespace std;
int fun()
{
static int a = 0;
a++;
return a;
}
int main()
{
cout << fun() << endl;
cout << fun() << endl;
return 0;
}
只要你不是特别菜, 那么, 你肯定知道上述的结果是
1
2
好, 继续上菜,如果你水平还可以, 你肯定不会知道下面程序的结果:
#include <iostream>
using namespace std;
int *fun(int x)
{
int a = x;
return &a;
}
int main()
{
int *p = fun(10);
int *q = fun(20);
cout << p << endl;
cout << q << endl;
cout << *p << endl;
cout << *q << endl;
return 0;
}
结果是(我在VC++6.0中运行):
0013FF1C
0013FF1C
4200781
4200781
为什么是这么多呢? 因为返回栈指针后, 栈指针指向的值被淹没了。
继续看程序:
#include <iostream>
using namespace std;
int *fun(int x)
{
static int a = x;
return &a;
}
int main()
{
int *p = fun(10);
int *q = fun(20);
cout << p << endl;
cout << q << endl;
cout << *p << endl;
cout << *q << endl;
return 0;
}
结果为:
0047BDEC
0047BDEC
10
10
为什么呢? 因为static int形式的a只会被初始化一次。
继续上菜:
#include <iostream>
using namespace std;
int *fun(int x)
{
static int a = 0;
a = x;
return &a;
}
int main()
{
int *p = fun(10);
int *q = fun(20);
cout << p << endl;
cout << q << endl;
cout << *p << endl;
cout << *q << endl;
return 0;
}
结果为:
0047BDEC
0047BDEC
20
20
为什么都为20呢? 因为第一次的值被替换了。
再次上菜, 爱吃不吃:
#include <iostream>
using namespace std;
int *fun(int x)
{
static int a = 0;
a = x;
return &a;
}
int main()
{
int *p = fun(10);
cout << p << endl;
cout << *p << endl;
int *q = fun(20);
cout << q << endl;
cout << *q << endl;
return 0;
}
0047BDEC
10
0047BDEC
20
这才对呀。 可见, 不可重入函数, 十恶不赦。
下面,我们来看看不可重入函数localtime:
#include <iostream>
#include <ctime>
using namespace std;
int main()
{
time_t tNow =time(NULL);
time_t tEnd = tNow + 3600;
struct tm* ptm = localtime(&tNow);
struct tm* ptmEnd = localtime(&tEnd);
char szTmp[100] = {0};
strftime(szTmp, 100, "%H:%M:%S",ptm);
char szEnd[100] = {0};
strftime(szEnd, 100, "%H:%M:%S",ptmEnd);
printf("%s\n", szTmp);
printf("%s\n", szEnd);
return 0;
}
结果:
00:39:24
00:39:24
哈哈, 一样的。
再上佳肴:
#include <iostream>
#include <ctime>
using namespace std;
int main()
{
time_t tNow =time(NULL);
time_t tEnd = tNow + 3600;
struct tm* ptm = localtime(&tNow);
char szTmp[100] = {0};
strftime(szTmp, 100, "%H:%M:%S",ptm);
struct tm* ptmEnd = localtime(&tEnd);
char szEnd[100] = {0};
strftime(szEnd, 100, "%H:%M:%S",ptmEnd);
printf("%s\n", szTmp);
printf("%s\n", szEnd);
return 0;
}
结果为:
23:40:37
00:40:37
这回算是正确了, 可重入函数, 确实是个孬种啊。
下面, 我来引用http://blog.csdn.net/aican_yu/article/details/7012019中的一段话, 我认为分析得相当好:
localtime函数实现的问题:
该函数返回的是一个指针,表示某一个地址。大家知道,如果是一个非静态的局部变量,返回它的地址是错误的做法,因为非静态的局部变量在函数返回时,已经被销毁了,它的地址成为无用的地址。因此localtime函数返回的指针只有以下三种可能:要么是一个静态变量的地址,要么是一个全局变量的地址,或者是使用malloc等函数在堆上分配的空间。
对于最后一种情况,因为标准并没有规定可以对localtime返回的地址进行free,所以如果localtime函数是使用malloc函数分配空间的话,程序员不会使用free函数去释放它,因此造成内存泄露,这是不好的做法。
前两种情况其实是非常相似的,这里仅以第一种情况来做说明。如果localtime函数使用静态变量,则它大致像下面这个样子:
struct tm* localtime(const time_t* ptr)
{
static struct tm ret;
// 在这里计算并得到ret的值
return &ret;
}
如果真是这样的话,不论调用多少次localtime,则它返回的地址都是一样的。只是地址中保存的内容可能不同而已。
比较正确的做法是:
struct tm* temp;
struct tm* temp1;
struct tm tm1;
struct tm tm2;
temp = get_local_time();
tm1 = *temp;
sleep(3);
temp1 = get_local_time();
tm2 = *temp1;
则虽然可能有temp == temp1,但是tm1和tm2则会不同。静态变量在进行多线程编程时是危险的,因此微软搞出了一个新的localtime_s函数来取代localtime函数(新版本的VC有这个函数,VC 6.0则似乎没有,linux系统我并不清楚)。这两个函数在功能上一致,只是localtime返回地址,而localtime_s是传入一个地址,让函数填充其内容。后者不需要使用静态变量,在多线程的情况下更安全。
花近10块钱买了个苹果, 吃掉, 睡觉。