std::queue

std::queue 是 stl 里面的容器适配器, 用来适配FIFO的数据结构。

std::queue, 入队列的方法是: std::queue::push(),

出队列的方法是: std::queue::pop(), 为了异常安全, 这个方法返回void, 所以通常调用std::queue::front(), 查看队列头部的元素, 然后调用std::queue::pop(), 让元素出队列.

 

  今天在写一个服务器程序的时候，发现请求量大的时候，程序发生崩溃，原因是我传入某个函数的string的size()过大。
这个程序是一个典型的生产者/消费者：生产者产生的信息放入 string，然后加锁放入std::queue中；消费者线程加锁，从std::queue.front()中获得对象的应用，然后pop()队头元素。一切看起来都是那么清晰简单。
消费者的代码看起来就像是这样：
string& str = q.front();q.pop();func( str.data(), str.size() );

为什么从队列取出string后，size就变了？
试了很多种方法，最后只删除了一个符号，程序就正常了：
string str = q.front(); //把取引用改成调用对象的operator=q.pop();func( str.data(), str.size() );
通过上面的问题的解决，我了解了：原来queue的pop()方法会调用string的析构函数，引用指向一个已经析构的对象，当然会出错。
真的是这样吗？我又做了如下的三个实验：
//--------------------- test_queue_pop.cpp-----------------------------
#include <stdio.h>#include <queue>#include <string>using namespace std;#include <pthread.h>#include <unistd.h>void test1() //第一个实验，在一个线程里面，并没有问题{queue<string> q;string str1("str1");printf("str1=%08X, len=%u/n", (unsigned int)str1.data(), str1.size());q.push(str1);string& temp = q.front();printf("temp=%08X, len=%u/n", (unsigned int)temp.data(), temp.size());q.pop();printf("temp=%08X, len=%u/n", (unsigned int)temp.data(), temp.size());}void* _thread_func(void* param){queue<string>& q = *(queue<string>*)param;string& temp = q.front();printf("temp=%08X, len=%u/n", (unsigned int)temp.data(), temp.size());q.pop();printf("temp=%08X, len=%u/n", (unsigned int)temp.data(), temp.size());return NULL;}void test2() // 第二个实验：两个线程，还是没有问题{queue<string> q;string str1("str1");printf("str1=%08X, len=%u/n", (unsigned int)str1.data(), str1.size());q.push(str1);pthread_t thread;pthread_create(&thread, NULL, _thread_func, &q);pthread_join(thread, NULL);}void* _thread_func_1(void* param){queue<string>& q = *(queue<string>*)param;string str1("str1");printf("str1=%08X, len=%u/n", (unsigned int)str1.data(), str1.size());q.push(str1);return NULL;}void* _thread_func_2(void* param){queue<string>& q = *(queue<string>*)param;sleep(1);string& temp = q.front();printf("temp=%08X, len=%u/n", (unsigned int)temp.data(), temp.size());q.pop();printf("temp=%08X, len=%u/n", (unsigned int)temp.data(), temp.size());return NULL;}void test3() //第三个实验：我在项目中出现的错误终于重现了{queue<string> q;pthread_t thread1, thread2;pthread_create(&thread1, NULL, _thread_func_1, &q);pthread_create(&thread2, NULL, _thread_func_2, &q);pthread_join(thread1, NULL);pthread_join(thread2, NULL);}int main(){test1();printf("====================================/n");test2();printf("====================================/n");test3();return 1;}

为什么呢？为什么pop()仅仅只在多线程环境下才调用对象的析构函数？这只能理解为stl的bug了。
还好，总是使用operator=就好！