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后,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=就好!