C++关键字 之 const使用详解

一、对于基本声明

const int X = 100;

const加在int X的前面，用来定义一个不可被改变的整型常量X，这个X必须在声明时赋值。这种用法用来替代传统的

#define

如

#define PI 3.14

改为

const float PI = 3.14;

总结：C++代码中应该使用const替换#define，const常量必须在声明时初始化

二、对于指针

如下几种指针

int x = 100;

int* p = &x; // 1. 非const指针，非const数据

const int* p = &x; // 2. 非const指针，const数据

int const *p = &x; // 3. 非const指针，const数据

int* const p = &x; // 4. const指针，非const数据

const int* const p = &x; // 5. const指针，const数据

可以看出2和3的功能是完全一样的，只是两种不同的写法，这种指针表示指针本身可以修改，但是指向的数据不能通过

这个指针修改。即p可以指向其他的变量，但是不能通过*p修改x的值。

对于4，允许通过指针修改数据，但是不能修改指针本身。即p只能指向x，可以通过*p修改x的值。

5的功能是前两种的叠加，即指针不能修改，数据也不能修改

总结：对于指针来说，如果const在*的左边，说明数据是const的，如果const在*的右面，说明指针是const的，如果是

指针是const的话，必须在声明时为指针初始化。

三、对于函数的参数

以下几种形式

void method(const int x); // 1. 普通变量的const

void method(const int& x); // 2. 普通变量引用的const

void method(const int* p); // 3. 普通变量指针的const

void method(const MyClass x); // 4. 类的const

void method(const MyClass& x); // 5. 类引用的const

void method(const MyClass* x); // 6. 类指针的const

对于1和2来说，这两种形式完全没有意义，这里就不多说了。

对于3来说，如果传递数组的首地址是有意义的，否则同1和2一样，也无意义例如

int a[10] = {……};

method(a);

那么a中所有的元素都不能被修改。通常为char*类型的参数加上const修饰，保证字符串不会在函数内被修改，即void

method(const char* str);

第4种用法也不应该出现，因为默认情况下C++的函数参数都是值传递。例：

MyClass c;

method(c); // 声明void method(const MyClass x);

这是C++会为c产生一个临时变量，也就是说传递到method中的是c的副本，这样增大了系统开销。所以传递类时一般要使

用5和6的方法。

对比5和6，没有本质区别，只是由于指针和引用的不同，指针可能为空值，函数进入时要检查参数的合法性。所以通常

使用第5种方法。

总结：对于一般内置类型来说(int, char等)不管引用还是指针，都没有必要传递加const修饰的参数，数组首地址除外

。对于类应该传递const引用，这样能提高运行时效率。（但是对于STL迭代器等少部分类除外，参考Effective C++

Item 20）

四，对于函数返回值

函数返回值加const修饰，对于内置类型来说(int, char等)指的是函数的返回值的初值不能被修改，同函数的参数一样

，函数的返回值也是值传递，所以对于内置类型来说，返回值前面加const基本上没有意义。

即，下面两种const返回值是不必要的

const int method(void);

const int& method(void);

下面要特别说明一下返回指针时加const修饰的情况

const int* method();

请参考下面两种实现方式

const int* method() // 1

{

int x = 100;

return &x; // 函数结束后x已经离开作用域，返回的是野指针

}

const int* method() // 2

{

int* x = new int(100);

return x; // 要记得在调用method后delete

}

对于返回对象时加const修饰的情况，和内置类型的情况基本相同，值传递时没有必要加const修饰，更不可返回类对象

的引用（类的operator =除外，下面章节会介绍）（参考Effective C++ Item10 & Item21），如果返回一个局部变量的

地址，或在堆上创建对象的地址时要小心，对于类的成员函数，需要返回内部数据时，应该返回const的指针，如下

class MyClass

{

char* m_str;

const char* GetString()

{

return m_str; // 返回const，防止外部修改对象内部数据

}

}

总结：返回值前面加const基本上没有意义，非类的成员函数返回const指针时要小心野指针和内存泄露的问题，不要返

回类对象的引用（类的operator =除外）

五、对于成员变量

class MyClass

{

const int x = 100;

}

这种用法会造成空间的浪费，每个MyClass对象都要用4字节保存一个永远不变的常量。如果为某个类定义一个常量，应

该使用static const，如下

class MyClass

{

static const int x = 100;

}

还有一种用法，可以在运行时对const成员变量初始化，使每个对象的const成员变量拥有不同的数值，如下：

class MyClass

{

public:

MyClass ( int sz ) : size( sz ) {};

const int size;

};

这个const成员变量只能在成员初始化列表中初始化。

总结：要使同一类型不同的对象拥有相同数值的const成员变量，使用static const，要使同一类型的不同对象拥有不同

数值的const成员变量，直接使用const，但是这个const成员变量应在成员初始化列表中初始化。

六、对于成员函数

函数的参数和返回值已经介绍过了，这里介绍const成员函数，如下 ：

class MyClass

{

void method() const

{

}

}

这个const写在成员函数的后面，区别于对返回值的修饰。在const成员函数中，不能修改任何一个非静态成员变量，也

不能调用其他非const成员函数修改成员变量。如下

class MyClass

{

int a;

static int s_a;

void method() const

{

other_method(); // 错误

a = 100; // 错误

s_a = 100; // OK

}

void other_method()

{

a = 100; // OK

}

}

另外要注意的是如果是const的对象，这个对象只能调用const成员函数，否则编译会出错，如下

void F(const MyClass& myclass)

{

myclass. method(); // OK

myclass. other_method (); // 错误，因为对象是const的，但是other_method可能会

// 改变对象的成员变量

}

还有一个例外，用C++关键字mutable标识的成员变量可以在const成员函数中修改。如下：

class MyClass

{

mutable int a;

void method() const

{

a = 100; // OK

}

}

总结：const写在成员函数后面可以定义const成员函数，const成员函数不能修改任何非静态成员变量（静态变量可以修

改），用mutable标识的成员变量例外，可以在const成员函数中修改，const的对象只能调用const成员函数。

七、对于类的operator =

类的operator应该返回const的引用，如下：

class MyClass

{

public:

const MyClass& operator = (const MyClass& rhs)

{

……

return *this;

}

}

参考Effective C++ Item 10。

八、默认的const

下面这种情况，声明char* 同时初始化字符串常量是，运行时会初始化char*为const：

char* str = "Hello";

str[0] = 'a'; // 运行时错误

因为编译时不会出错，只有运行时才报错，所以这里使用时要注意。

FROM:http://blog.csdn.net/macomfan/article/details/5884121