程序偶然出错绝不是偶然

C/C++, Linux, 日志 1 Comment »

       最近项目的程序完成部分代码,需要进行测试,由于测试需要好几台主机才能进行,由于设备限制,我就先把程序在Elastix Linux(我们实验室服务器的linux版本)和我自己的fedora7下进行测试。在Elastix下可以编译通过,但是在程序运行时一旦收到消息开始处理,程序就会崩溃,并且反馈为 glibc detected *** : free(): invalid pointer 错误。但是因为我在fedora7下该程序可以正常接收和处理消息,当时只是认为是操作系统的问题,也没有太在意。

       今天好不容易装好了几台测试电脑,都是fedora系统的,本来打算晚上把测试的程序装上,然后就OK了,应该不会有什么错的。没想到当在多个fedora下运行该程序进行测试时,对于前面几条消息程序还是可以正常处理的,但是当处理到3,4条消息的时候程序开始提示上面的同样的错误。当时自己花了很长时间来找原因,程序的配置改了又改,但还是没有解决,整的也很郁闷。晚上回去后又继续调试,用gdb加载程序,当程序退出后,查看程序的堆栈信息(输入bt)命令,经过几次尝试后终于发现错误的所在,原来是自己当时初始化一个字符串时分配的空间太小。有点像下面这样:char   tempString[MAX_LENGTH]; tempString[length]=0;但是在程序中没有检查length的大小,如果length>=MAX_LENGTH时就会出现上面的错误。然后修改程序后就一切正常了。 

        看来在程序的世界里没有偶然,只有必然,当程序出错时很可能就是你程序错了,不要报有侥幸的心理,专心的找出错误的根源才是王道 :D

一些好的技术文章的收集

C/C++, Linux No Comments »

最近实验室项目有点紧,本来前段时间看了很多关于linux 进程、信号、回调函数等知识,想做一下总结,但自己现在发现自己对知识的理解并不是很深,整理的工作并不轻松。在此把最近看到的一些好文章整理一下,一来是方便大家查阅,另外也方便自己日后回顾  :mrgreen: 

1、The Open Group Base Specifications Issue 6  可以在这里对许多关键函数(包括系统调用)进行查询,非常好的一个网址

2、IBM developerWorks 中国 – Linux – 文档库  上面有很多文章写的很好,没事可以在上面多看看

3、c string 详解  这个文章对string的用法写的很详细,而且也很有见解,如果对string的用法不是很了解的可以去看看

4、Linux环境进程间通信(二)- 信号(上)  讲的很好,而且有很好的 示例程序

5、Linux环境进程间通信(二)- 信号(下)

6、从全局变量到IOC模式  讲的很好,例子写的也很好。我也看过一段时间spring,但了解的还是比较浅的^_^

7、堆与栈的区别  如果你对堆栈不是很了解,建议你读一下

8、Linux下的段错误的原因及调试 上面的方法对我们调试程序很有帮助

9、C-C++中static变量和static函数的用法

10、static_cast、dynamic_cast、reinterpret_cast和const_cast  C++的转型运算符,相对与C语言来说更加安全,但对于习惯了C语言的转型操作的人来说还需要习惯

11、Boost   C++ library   C++库开发的前沿领域

12、C语言头文件的使用    自己刚开始对头文件的理解也是很模糊,现在经过这段时间的开发,对头文件理解的更深刻了,这篇文章写的挺好的。有空我再写一下自己的理解和经验吧~~

13、C++ Programming HOW-TO   很好的一个网站

14、Linux RPC  编程  

15、RPM Search  一个很好的(应该也是必须知道的)搜索RPM安装文件的地方,适用于多种Linux操作系统

暂时就先列举这些吧,以后有好的资源再行补充~~~~ 8)

auto_ptr,shared_ptr智能指针的使用

C/C++ 2 Comments »

在C++中,内存资源的管理经常是一个令人头痛的问题,指针的错误使用经常是造成内存泄露和“未定义行为”的根源。很多资源被动态分配与heap内而后被用于单一区块或函数内。它们应该在控制流离开那个区块或函数时被释放。智能指针就是针对这种形势而设计的特制产品。它是一种外观和行为都被设计成与内建的指针相类似的对象,不过它提供更多的功能,其析构函数会自动对其所指的对象调用delete来进行删除。

常用的智能指针有auto_ptr(C++标准库提供),shared_ptr(tr1库提供,最为常用),另外还有scoped_ptr,intrusive_ptr,weak_ptr(均为tr1库提供)。在此着重介绍auto_ptr以及shared_ptr两种,在文章最后会对其他智能指针也进行简单的介绍。

1、auto_ptr:它允许程序员创建一个指向某种资源的指针对象,当该对象离开它的作用域时,它所指向的资源也会被自动释放。在此类中对*和->运算符进行了重载,使它可以像指针一样被使用,另外它也提供get(),reset(),release()等方法来供外界取出和重新设置它所指向的对象,详细内容参考[5]以及C++标准库的说明文档。下面通过一个示例来展示auto_ptr的使用。

//文件名为test_auto_ptr.cpp
//auto_ptr位于<memory>头文件中

#include <memory>
#include <iostream>

using namespace std;
class MyClass {
public:
int i;
MyClass(int s) {i=s;}
~MyClass() {cout<<"This class has been destroied.  "<<i<<endl;}
void myFunc() {cout<<"myFunc() done.  "<<i <<endl;}
};

int main() {
auto_ptr<MyClass> ptr1(new MyClass(1));
auto_ptr<MyClass>ptr2(new MyClass(2));
ptr1->myFunc();
ptr2->myFunc();
cout<<"test 1 done"<<endl;

ptr2 = ptr1;
ptr2->myFunc();
//ptr1->myFunc();//取消注释会发生段错误或未定义结果
cout<<"test 2 done"<<endl;

MyClass* ptr = ptr2.get();
ptr->myFunc();
ptr2.reset(new MyClass(3));
ptr2->myFunc();
ptr->myFunc(); //此处会产生未定义的结果
cout<<"test 3 done"<<endl;
return 0;
}

编译并运行:

#g++  -g -o test_auto_ptr  test_auto_ptr.cpp

# ./test_auto_ptr

运行结果如下:

myFunc() done.  1
myFunc() done.  2
test 1 done
This class has been destroied.  2
myFunc() done.  1
test 2 done
myFunc() done.  1
This class has been destroied.  1
myFunc() done.  3
myFunc() done.  0
test 3 done
This class has been destroied.  3 

从上面的结果可以看出auto_ptr具有智能指针的功能,但是由于auto_ptr被销毁时会自动删除它所指之物,所以一定要注意不要让多个auto_ptr同时指向同一对象,否则一个对象会被删除多次,这会导致“未定义的行为”。另外,auto_ptr在进行复制时会产生一些诡异的行为,如进行ptr2=ptr1;之后ptr2指向对象,而ptr1会被设为NULL,调用ptr1会产生未定义行为(或段错误)。由此也可以看出auto_ptr不能用于STL容器中。

2、shared_ptr:它是一种引用计数型智能指针,它的复制行为相比auto_ptr要正常许多,它也可以被自由用于STL容器中。但是shared_ptr类不属于标准C++库,而是属于tr1库(C++ tr1是针对C++标准库的第一次扩展。即将到来的下一个版本的C++标准c++0x会包括它,以及一些语言本身的扩充),现在的编译器对于tr1库的支持良莠不齐,但是从gcc 4.0开始就实现了对于shared_ptr的支持。shared_ptr的用法和auto_ptr类似,具体参见[1] 。下面通过示例来介绍shared_ptr的使用:

//文件名为test_shared_ptr.cpp
//shared_ptr位于 <tr1/memory> 头文件中

#include <tr1/memory>
#include <iostream>
#include<vector>
using namespace std;
using std::tr1::shared_ptr;
class MyClass {
public:
int i;
MyClass(int s) {i=s;}
~MyClass() {cout<<"This class has been destroied.  "<< i <<endl;}
void myFunc() {cout<<"myFunc() done.  "<< i <<endl;}
};

int main() {

//下面分别建立两个智能指针,然后测试他们的基本使用
//注意不能使用如下形式: shared_ptr<MyClass> ptr = new MyClass(2);
shared_ptr<MyClass> ptr1(new MyClass(1));
shared_ptr<MyClass>ptr2(new MyClass(2));
(*ptr1).myFunc();
ptr2->myFunc();
cout<<"test 1 done!"<<endl;

//下面尝试复制操作,并进行把两个
ptr2 = ptr1;
ptr2->myFunc();
ptr1->myFunc();
ptr1.reset();
cout<<"ptr1.reset() done!"<<endl;
ptr2.reset();
cout<<"test 2 done!"<<endl;

MyClass* temp_ptr=new MyClass(3);
ptr1.reset(temp_ptr);//把普通指针委托给智能指针进行托管
ptr1->myFunc();  //注意委托之后不要使用delete,否则程序会出现异常,轻则出错,重则挂掉
//delete temp_ptr;
cout<<"test 3 done"<<endl;

//智能指针也可以放入STL容器中,并且不影响其使用
//注意这里MyClass>  后面有一个空格,否则会被当作一个>>运算符
vector<shared_ptr<MyClass> > myVector;
{
shared_ptr<MyClass> temp_shared_ptr(new MyClass(4));
myVector.push_back(temp_shared_ptr);
}//离开temp_shared_ptr的作用域,只是它自己析构,MyClass并不会析构

vector<shared_ptr<MyClass> >::iterator itor =myVector.begin();

(*itor)->myFunc();
myVector.clear();
cout<<"test 4 done!"<<endl;

return 0;
}

编译并运行:

# g++  -g  -o  test_shared_ptr  test_shared_ptr.cpp

#./test_shared_ptr

运行结果如下:

myFunc() done.  1
myFunc() done.  2
test 1 done!
This class has been destroied.  2
myFunc() done.  1
myFunc() done.  1
ptr1.reset() done!
This class has been destroied.  1
test 2 done!
myFunc() done.  3
test 3 done
myFunc() done.  4
This class has been destroied.  4
test 4 done!
This class has been destroied.  3 

从运行结果中也可以看出shared_ptr 具有很好的资源管理的能力,可以实现理想的复制操作,并且可以和STL容器兼容。在多线程情况下shared_ptr可以达到和c++内置类型同等的安全性。无疑shared_ptr类将是tr1中最常使用的类型。

但是shared_ptr并不是尽善尽美的,它还存在环状引用等问题。在使用shared_ptr时也有一些注意事项需要遵守,否则反而会弄巧成拙。文章[3]中指出了一些shared_ptr的缺点,不防也看看,有些地方说的还是有道理的。

3、其他一些智能指针介绍

scoped_ptr 与auto_ptr类似,但是不允许复制;
intrusive_ptr是shared_ptr侵入式版本。使用情况,内部以及编写好了自己的内部引用计算器的代码,而又没有时间重写它。intrusive_ptr可以从this构造。
weak_ptr是智能指针shared_ptr的观察者。

上面只是对于智能指针的一个简单的介绍和示例的说明,我也是刚开始学习智能指针,希望上面的内容对大家有帮助。

see also:

[1]http://www.boost.org/doc/libs/1_40_0/libs/smart_ptr/shared_ptr.htm

[2]http://yangzhifeng.spaces.live.com/blog/cns!C5004D8C06F8760E!440.entry

[3]http://blog.liancheng.info/archives/85

[4]http://anteru.net/2008/09/01/260/

[5]http://blog.csdn.net/xkyx_cn/archive/2009/03/05/3960569.aspx

指针和引用的区别

C/C++ No Comments »

这篇开始就是最新的内容了,呵呵。这段时间我们的项目已经开始了正式的编程阶段,也渐渐的开始涉及到一些实际的编程的细节。

下面简单说一下指针和引用的区别,搞清两者的不同对以后的编程会有帮助的

1、两者的操作方式不同,指针采用”*”(解引用)和”->”(直接取出指针指向内容中的方法或是变量);引用采用”.”操作符。

2、指针允许为空(NULL),但引用在任何情况下都不允许为空;也即指针可以不进行初始化(这样做很危险),但引用必须进行初始化

3、在对指针赋值后可以改变它的值(即它指向的对象),但引用只能在初始化时进行赋值,之后再不能改变

4、在你对某些运算符进行重载时需要采用引用,这样可以方便外部的调用。例如:

  vector<int> v(10);//建立整形向量,大小为10

  v[5]=20;

此处vector对[]进行了重载,并返回一个引用。如果返回指针,则必须这么写赋值语句:

  * v[5]=20;

这样无疑会很别扭,所以在对运算符进行重载时建议返回引用(其他运算符情况也类似) 

总的来说,如果你考虑到可能指向一个不存在的对象(其值为空),或是可能会改变它所指向的值,此时应该使用指针。如果你考虑到以后不会指向其他对象,或是为了使用方便(运算符重载时或是其他情况),此时应该使用引用。

视C++为一个语言联邦

C/C++ No Comments »

这些天由于项目的关系,又开始重新学习C++,给自己补补课。《C++ Prime》是一本很经典的书,在此我就不推荐了(而且由于那本书太厚了,实在没有耐心全读下去,只能作为参考书了,汗~),最近在看《 Effective C++》,现在才看了前面一部分,觉得很受启发,对实际编程很有帮助,在此郑重向大家推荐这本书(更重要的是它很薄,^_^)。下面摘选一些我觉得很好的内容,跟大家分享一下。 

    最初,C++只是C加上一些面向对象的特性,但后来随着这个语言的逐渐成熟,C++已经成为一个多重泛型编程语言,一个同时支持过程形式、面向对象形式、函数形式、泛型形式、元编程形式的语言。这些能力和弹性增加了C++性能也增加了C++的复杂度。

    学习C++最简单的方法是将C++视为一个由相关语言组成的联邦而非单一语言。在其某个次语言中,各种守则和通例都倾向简单、直观易懂,并且容易记住。然而你从一个次语言移往另一个次语言,守则可能改变。C++主要的次语言有四种: 

  • C。说到底C++仍然是以C为基础。区块、语句、预处理器、内置数据类型、数组、指针等统统来自C。许多时候C++对问题的解法其实不过就是较高级的C解法,但当你以C++内的C成分工作时,高效编程守则映照出C语言的局限:没有模板(templates),没有异常(exceptions),没有重载(overloading)。。。。
  • Object-Oriented C++。这部分也就是C with Classes所诉求的:class(包括构造函数和析构函数),封装、继承、多态,virtual函数(多态绑定,用来实现多态)。。。等等。这一部分是面向对象设计之古典守则在C++上的直接实施。(个人感觉java就是主要是借鉴了C++的面向对象的思想,并且把这种思想发挥到极致,再加上java通过舍弃C++的灵活性来换取语言的简单,这些都造成了java语言的流行。从面向过程到面向对象是程序设计的一次飞跃~~)
  • Template C++。这是C++的泛型编程部分,也是大多数程序员经验最少的部分。Template相关考虑与设计已经弥漫整个C++,良好编程守则中“惟Template适用”的思想并不罕见。实际上由于templates威力强大,它们带来崭新的编程范型,也就是所谓的template metaprogramming (TMP,模板元编程)。(我们只需要会适用模板即可,TMP不必深究。现在java也支持模板类,它主要是为了保证类型的安全性)。
  • STL。STL是个template程序库,看名称也知道,但它是非常特殊的一个。它对容器、迭代器、算法以及函数对象的规约有极佳的紧密配合与协调,然而templates及程序库也可以其他想法建置出来。STL有自己特殊的办事方式,当你伙同STL一起工作,你必须遵守它的规约。    

    记住这四个次语言,当你从某个次语言切换到另一个,导致高效编程守则要求你改变策略时,不要感到惊讶。例如对内置(C-like)类型而言pass-by-value通常比pass-by-referenc高效,但当你从C part of C++移往Object-Oriented C++,由于用户自定义构造函数和析构函数的存在,pass-by-reference-to-const往往更好。运用Template C++时尤其如此,以为那时你甚至不知道所处理的对象的类型。然而一旦跨入STL你就会了解,迭代器和函数对象都是在C指针之上塑造出来的,所以对STL的迭代器和函数对象而言,旧式的C pass-by-value守则再次适用。

   因此,C++并不是一个带有一组守则的一体语言:它是从四个次语言组成的联邦政府,每个次语言都有自己的规约。记住这四个次语言你就发现C++容易了解很多。(我也有同感,希望你也一样~~)

WP Theme & Icons by N.Design Studio
Entries RSS Comments RSS 登录