const用法小议

阿呆@Rachel — Thu, 04 Sep 2008 11:02:00 GMT

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 = 0, float _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引用。

阿呆@Rachel 2008-09-04 19:02 发表评论

malloc/free与new/delete的区别

阿呆@Rachel — Fri, 22 Aug 2008 01:06:00 GMT

由于编程的习惯，动态管理内存的时候总是用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  *a = (obj *) malloc( sizeof( obj ) );     // allocate memory
      a->Initialize();                                                // initialization
      //…
      a->Destroy();                                                // deconstruction
      free(a);                                                           // release memory
}

void UseNewDelete(void)
{
    Obj  *a = 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必须配对使用。

阿呆@Rachel 2008-08-22 09:06 发表评论

C++博客-阿呆的砌码生涯-随笔分类-C++

const用法小议

malloc/free与new/delete的区别