Const

const修饰普通变量和指针

const修饰变量，一般有两种写法：

1 2	const TYPE value; TYPE const value;

这两种写法在本质上是一样的。它的含义是：const修饰的类型为TYPE的变量value是不可变的。

对于一个非指针的类型TYPE，无论怎么写，都是一个含义，即value值不可变。 例如：

1 2	const int nValue；    //nValue是const int const nValue；    //nValue是const

但是对于指针类型的TYPE，不同的写法会有不同情况：

1.  指针本身是常量不可变，必须进行初始化！

1	char* const pContent;  //错误，没有进行初始化！

2.  指针所指向的内容是常量不可变

1 2	const char *pContent; char const *pContent;

3.  两者都不可变

1	const char* const pContent;

将*号和变量之间的全都括起来：

如果const位于括号的外面，则const就是用来修饰指针所指向的变量，即指针指向的内容为常量；

如果const位于括号的里面，则const就是修饰指针本身，即指针本身是常量。

 

const修饰函数参数

表示在函数体中不能修改参数的值(包括参数本身的值或者参数其中包含的值)：

1 2 3 4

void function(const int Var);     //传递过来的参数在函数内不可以改变(值传递，无意义) void function(char* const Var);   //参数指针本身为常量不可变(也是值传递，无意义) void function(const char* Var);   //参数指针所指内容为常量不可变 void function(const Class& Var);  //引用参数在函数内不可以改变

    参数const通常用于参数为指针或引用的情况，若输入参数采用“值传递”方式，由于函数将自动产生临时变量用于复制该参数，该参数本就不需要保护，所以不用const修饰。

 

const修饰类对象/对象指针/对象引用

const修饰类对象表示该对象为常量对象，其中的任何成员都不能被修改。对于对象指针和对象引用也是一样。

const修饰的对象，该对象的任何非const成员函数都不能被调用，因为任何非const成员函数会有修改成员变量的企图,只能调用类的const成员函数。

例如：

1 2 3 4 5 6 7 8 9 10 11 12

class AAA {    void func1();    void func2() const; } const AAA aObj; aObj.func1(); //错误 aObj.func2(); //正确   const AAA* aObj = new AAA(); aObj->func1(); //错误 aObj->func2(); //正确

 

const修饰数据成员

const数据成员只在某个对象生存期内是常量，而对于整个类而言却是可变的。因为类可以创建多个对象，不同的对象其const数据成员的值可以不同。所以不能在类声明中初始化const数据成员，因为类的对象未被创建时，编译器不知道const 数据成员的值是什么，例如：
class A
{
    const int size = 100;   //错误
    int array[size];            //错误，未知的size
}
const数据成员的初始化只能在类的构造函数的初始化列表中进行。

要想建立在整个类中都恒定的常量，可以用类中的枚举常量来实现，例如：
class A
{

enum {size1=100, size2 = 200 };

int array1[size1];

int array2[size2];

}

  枚举常量不会占用对象的存储空间，他们在编译时被全部求值。但是枚举常量的隐含数据类型是整数，其最大值有限，且不能表示浮点数。

 

const修饰成员函数

const修饰类的成员函数，用const修饰的成员函数不能改变对象的成员变量。

把const写在成员函数的最后：

 void function()  const;   //常成员函数, 它不改变对象的成员变量. 也不能调用类中任何非const成员函数。

 

const修饰成员函数的返回值

把const写在成员函数的最前面：

通常，不建议用const修饰函数的返回值类型为某个对象或对某个对象引用的情况。 

1 2 3 4

const char * GetString(void); char *str=GetString(); //将出现编译错误 //正确的用法是： const char *str=GetString(); //返回值只能被赋给加const修饰的同类型指针

 

const常量与define宏定义的区别

l  编译器处理方式不同

define宏是在预处理阶段展开。

const常量是编译运行阶段使用。

l  类型和安全检查不同

define宏没有类型，不做任何类型检查，仅仅是展开。

const常量有具体的类型，在编译阶段会执行类型检查。

l  存储方式不同

define宏仅仅是展开，有多少地方使用，就展开多少次，不会分配内存。

const常量会在内存中分配(可以是堆中也可以是栈中)。

 

mutable关键字

mutalbe的中文意思是“可变的，易变的”，跟constant（既C++中的const）是反义词。在C++中，mutable也是为了突破const的限制而设置的。

被mutable修饰的变量(mutable只能用于修饰类的非静态数据成员)，将永远处于可变的状态，即使在一个const函数中。

1 2 3 4 5 6 7 8 9 10 11

class ClxTest {     public:     void Output() const;     private:     mutable int m_iTimes; }; void ClxTest::Output() const {     return ++m_iTimes; }