VC++一个函数引起的思考

  Windows一些系统函数返回值是指针，例如

char FAR* inet_ntoa(
  struct in_addr in
);

    这个函数传入一个结构，返回一个指向字符串的指针，一般C++编程中接口设计的时候对内存的使用都是坚持谁申请谁释放，这样才不会造成忘记释放的内存泄漏问题。

    可是这个函数直接返回一个指针，如果是一般的函数肯定是申请的堆栈空间，而堆栈申请的空间必须通过显式释放的方式释放，例如free(void *p)、delete，否则就会造成内存泄漏。

    那这个函数返回的指针什么时候释放呢？

    于是在调用结束后试图释放它：

    char *strip = inet_ntoa(add);//假设in_addr add;已存在并赋值

    free(strip);

可是以上代码执行到free(strip)就会出现如下错误：

 

如果使用delete strip也会出现同样的错误。

    问题是不释放会不会造成内存泄漏？

    一次偶然的机会，发现连续两次调用inet_ntoa函数，最后得到两次结果总是相同的，也就是两次执行完后，无论两次传入的参数是否相同，最后两次保存的结果都是相同的！

     再进一步跟踪，发现其实第一次和第二次返回指针指向的字符串值并不想同，只是执行到第二次的时候第一个返回值也改变了！

     char *strip1 = inet_ntoa(add1);//返回一个IP地址字符串

     char *strip2 = inet_ntoa(add2);//返回另一个IP地址字符串，但是strip1也跟这个返回值一样了。

 

    原来inet_ntoa函数每次返回的是同一个内存块，而这个内存块是系统内存，因此它并不释放。

    不释放可以，但问题又来了，如果我多个线程同时调用inet_ntoa能保证每次调用返回的都是自己要的正确结果吗？

   如果在这个函数返回之前切换到另一个线程，同样调用了这个函数，第二次调用覆盖了第一次结果，这时一次的结果就是错误，在网络编程中，这是很要命，明明是发给这个IP的数据，发到另外一个IP去了，甚至导致系统崩溃。

   这个问题还是可以通过加锁的方式来保证数据的正确性的，如下：

Thread1

mutex1.lock();

char *str1 = (char*)malloc(20);

strcpy(str1,inet_ntoa(add1));//add1假设已经存在并赋值

mutex2.unlock();

//othercode

 

Thread2

mutex2.lock();

char *str2 = (char*)malloc(20);

strcpy(str2,inet_ntoa(add2));//add2假设已经存在并赋值

mutex2.unlock();

//other code

这样在每次使用inet_ntoa函数之前加锁，在正确返回并保存返回值后解锁，就不会出现上面所说的冲突，但誓毕影响程序的效率。

 

看来在使用有些Windows系统函数之前还是要小心，没有充分了解这些接口的特征就会造成意想不到的错误。