2008年9月4日

const是C++的关键字之一,与其他的关键字相比,C++初学者可能对于const的使用会一时摸不着头脑,若能正确的使用const,将使你的程序更加Robust!


测试题先行~~

1 int i = 5;
2 const int *ip = &i;
3 int const *ip = &i;
4 int* const ip = &i;
5 const int* const ip = &i;

对于上面四个条语句,你能说出它们之间的区别吗?
2)和3)中const修饰的是*ip, 这表明ip所指向的变量i是const的,类似*ip = 1的操作编译的时候都会报错;4)const修饰的是ip,说明指针本身是const,修改指针指向的变量是合法的,而类似++ip修改指针本身的操作是违法的;5)指针本身和指向的变量都是const的。

const的用法主要体现在函数声明中的应用,它既可以修饰函数参数,还可以修饰函数的返回值,此外对于类的成员函数,它还可以修饰整个函数。下面是一个简单简单的二维向量类:

class Vector2D{
    
float x, y;
public:
    Vector2D( 
float _x = 0float _y = 0 ) : x( _x ), y( _y )
    {}
    Vector2D( 
const Vector2D &vec ) : x( vec.x ), y( vec.y )  // 修饰参数
    {} 
    
float GetX() const { return x; }     // 修饰整个函数     
    const Vector2D operator + ( const Vector2D &rval ) const            // 修饰参数,返回值和整个函数
    { return Vector2D( x + rval.x, y + rval.y );   }   
};

--const修饰函数参数
在copy构造函数中,const修饰的是函数的参数,调用函数的时候,用相应的变量初始化const常量,则在函数体中,按照const所修饰的部分进行常量化,如形参为const Vector2D &vec,则不能对传递进来的引用对象的进行改变,从而保护了原对象的属性。
[Tips]const通常用于修饰指针或引用类型的参数。

--const修饰返回值
在重载的向量加法运算符的函数中,返回值用const修饰,这样如下的赋值操作就非法的:
Vector2D vec1, vec2, vec3;
(vec1+vec2) = vec3;
[Tips]一般情况下,函数的返回值为某个对象时,如果将其声明为const时,多用于运算符的重载。通常,函数返回值为某个对象或对象的引用时,不用const来修饰。因为,这样返回的实例只能访问public成员和const成员函数,并且赋值操作也是非法的,这样的用法是非常罕见的。

--const修饰类的成员函数
对于Vector2D::GetX()函数,因为它不会修改成员数据,若声明成const,如果函数实现中修改了成员变量,编译的时候将报错,这样程序会更加的Robust~~

[Tips]
a.在你搞清楚const的用法之后,请大胆使用;
b.在参数中使用const应该使用引用或指针,而不是一般的对象实例;
c.不要轻易的将函数的返回值类型定为const;
d.除了重载操作符外一般不要将返回值类型定为对某个对象的const引用。

posted @ 2008-09-04 19:02 阿呆@Rachel 阅读(1406) | 评论 (4)编辑 收藏

2008年8月22日

由于编程的习惯,动态管理内存的时候总是用new/delete,malloc/free很少使用,两者之间的区别就不是很清楚了。

1. 本质区别
malloc/free是C/C++语言的标准库函数,new/delete是C++的运算符。
对于用户自定义的对象而言,用maloc/free无法满足动态管理对象的要求。对象在创建的同时要自动执行构造函数,对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free。因此C++需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete。

class Obj
{
public :
      Obj(
) { cout << “Initialization” << endl; }
      
~Obj() { cout << “Destroy” << endl; }
      
void Initialize() { cout << “Initialization” << endl; }
     
void Destroy() { cout << “Destroy” << endl; }
};

void UseMallocFree()
{
      Obj  
*= (obj *) malloc( sizeof( obj ) );     // allocate memory
      a->Initialize();                                                // initialization
      
//
      a->Destroy();                                                // deconstruction
      free(a);                                                           // release memory
}

void UseNewDelete(void)
{
    Obj  
*= new Obj;                                         
    
//
    delete a;
}


类Obj的函数Initialize实现了构造函数的功能,函数Destroy实现了析构函数的功能。函数UseMallocFree中,由于malloc/free不能执行构造函数与析构函数,必须调用成员函数Initialize和Destroy来完成“构造”与“析构”。所以我们不要用malloc/free来完成动态对象的内存管理,应该用new/delete。由于内部数据类型的“对象”没有构造与析构的过程,对它们而言malloc/free和new/delete是等价的。

2. 联系
既然new/delete的功能完全覆盖了malloc/free,为什么C++还保留malloc/free呢?因为C++程序经常要调用C函数,而C程序只能用malloc/free管理动态内存。如果用free释放“new创建的动态对象”,那么该对象因无法执行析构函数而可能导致程序出错。如果用delete释放“malloc申请的动态内存”,理论上讲程序不会出错,但是该程序的可读性很差。所以new/delete,malloc/free必须配对使用。

posted @ 2008-08-22 09:06 阿呆@Rachel 阅读(781) | 评论 (0)编辑 收藏

2008年3月3日

在C++中,内存分成5个区,他们分别是堆、栈、自由存储区、全局/静态存储区和常量存储区。

***栈***
那些由编译器在需要的时候分配,在不需要的时候自动清除的变量的存储区。里面的变量通常是局部变量、函数参数等;

***堆***
那些由new分配的内存块,他们的释放编译器不去管,由我们的应用程序去控制,一般一个new就要对应一个delete。如果程序员没有释放掉,那么在程序结束后,操作系统会自动回收;

***自由存储区***
那些由malloc等分配的内存块,他和堆是十分相似的,不过它是用free来结束自己的生命的;

***全局/静态存储区***
全局变量和静态变量被分配到同一块内存中,在以前的C语言中,全局变量又分为初始化的和未初始化的,在C++里面没有这个区分了,他们共同占用同一块内存区;

***常量存储区***
是一块比较特殊的存储区,他们里面存放的是常量,不允许修改(当然,你要通过非正当手段也可以修改,而且方法很多)

posted @ 2008-03-03 19:10 阿呆@Rachel 阅读(284) | 评论 (0)编辑 收藏

仅列出标题