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=就好！