C/C++语言中关于const用法的总结
原文：http://blog.csdn.net/liyuefeilong/article/details/48900121
一. const的基本功能与用法
1.将限定符声明为只读
使用方法如下，在类型前/后加上关键字const，该变量必须被初始化，否则编译错误；该变量不能被重新赋值，否则也编译错误。
举例：
const int i = 50; // 编译正确
const int j; // 编译错误
int k = 0;
i = k; // 编译错误
k = i; // 编译正确- 1
- 2
- 3
- 4
- 5
2.用于修饰函数形参，保护参数使其不被修改
用法1：若形参为const A* a，则不能改变函数所传递的指针内容，这样对指针所指向的内容起到保护作用，这里需要注意的是，该修饰不能改变指针所指向地址所存储的内容，但是指针a所指向的地址可以被改变，具体例子如下：
void Test(const int *a)
{
*a = 1; //错误，*a不能被赋值
a = new int(10086); //正确，为指针a开辟新的空间，并令*a=2
}
int main()
{
int *a = new int(10000);
Test(a);
return 0;
}- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
用法2：若形参为const A& a，则不能改变函数传递进来的引用对象，从而保护了原对象的属性。
对于自定义的数据类型，用引用传递速度较快，如果不想改变原值，就可以用const来保护参数，如以下例子：
void Test(const int &a) //保护L7中的a不会被改变
{
a = 2;//错误，a不能给常量赋值
}
int main()
{
int a = 3;
Test(a);
return 0;
}- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
事实上对于内置型数据类型（如以上例子中的int类型），用引用传递不会使速度更快。如果是用引用传参，一般是为了改变参数值；如果不想改变参数的值，直接值传递即可，不必使用const修饰。而对于自定义数据类型的输入参数，为了提高速度和效率，应使用“const + 引用传递”代替值传递。例如：
将函数 void Test(A a) 改为-> void Test(const A &a)
3.用于修饰函数返回值
用法1：用const修饰返回值为对象本身（非引用和指针）的情况多用于二目操作符重载函数并产生新对象的时候
举例：
const Rational operator*(const Rational& lhs, const Rational& rhs)
{
return Rational(lhs.numerator() * rhs.numerator(),
lhs.denominator() * rhs.denominator());
}
Rational a,b;
Radional c;
(a*b) = c;//错误- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
用法2：不建议用const修饰函数的返回值类型为某个对象或对某个对象引用的情况。原因如下：如果返回值为某个对象为const（const A test = A 实例）或某个对象的引用为const（const A& test = A实例） ，则返回值具有const属性，则返回实例只能访问类A中的公有（保护）数据成员和const成员函数，并且不允许对其进行赋值操作，这在一般情况下很少用到，具体例子如下：
class A
{
public:
int y;
A(int y):x(x),y(y){};
void Sety(int y){this->y = y;}
};
const A Test1(A a)
{
return a;
}
const A& Test2(A &a)
{
return a;
}
int main()
{
A a(2);
Test1(a).Sety(3);//错误，因为Test1(a)的返回值是个const，不能被Sety(3)修改
Test2(a).Sety(3);//错误，因为Test1(a)的返回值是个const，不能被Sety(3)修改
return 0;
}- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
用法3：如果给采用“指针传递”方式的函数返回值加const修饰，那么函数返回值（即指针）的内容不能被修改，该返回值只能被赋给加const 修饰的同类型指针。例子如下：
const char * GetString(void){}
int main()
{
char *str1=GetString();//错误
const char *str2=GetString();//正确
return 0;
}- 1
- 2
- 3
- 4
- 5
- 6
- 7
用法4：函数返回值采用“引用传递”的场合不多，这种方式一般只出现在类的赋值函数中，目的是为了实现链式表达。例子如下：
class A
{
// 以下赋值函数的返回值加const修饰，该返回值的内容不允许修改
A &operate = (const A &other);
}
A a, b, c; // a,b,c为A的对象
a = b = c; // 正确
(a = b) = c; // 错误，a = b的返回值不允许被再赋值- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
4.在类成员函数的函数体后加关键字const
在类成员函数的函数体后加关键字const，形如：void fun() const; 在函数过程中不会修改数据成员。如果在编写const成员函数时，不慎修改了数据成员，或者调用了其他非const成员函数，编译器将报错，这大大提高了程序的健壮性。
如果不是在类的成员函数，没有任何效果，void fun() const;和void func();是一样的。
5.在另一连接文件文件中引用常量
方法：在类型前添加关键字extern const，表示引用的是常量，因此该常量不允许被再次赋值，举例如下：
extern const int i; // 正确
extern const int j = 10; // 错误，常量不可以被再次赋值- 1
- 2
二.const常量与#define的区别
1.const常量有数据类型，而宏常量没有数据类型
宏常量只进行简单的字符替换，没有类型安全检查，并且在字符替换时可能会产生意料不到的错误，如：
#define I = 10
const long &i = 10;
// 由于编译器的优化，使得在const long i=10时i不被分配内存
// 而是已10直接代入以后的引用中，以致在以后的代码中没有错误
//一旦你关闭所有优化措施，即使const long i = 10也会引起后面的编译错误。
char h = I; // 正确
char h = i; // 编译警告，可能由于数的截短带来错误赋值- 1
- 2
- 3
- 4
- 5
- 6
- 7
2.使用const可以避免不必要的内存分配
从汇编的角度来看，const定义常量只是给出了对应的内存地址， 而不是象#define一样给出的是立即数，所以，const定义的常量在程序运行过程中只有一份拷贝，而#define定义的常量在内存中有若干个拷贝。例子如下：
#define k "Hello world!"
const char pk[]="Hello world!";
printf(k); // 为k分配了第一次内存
printf(pk); // 为pk一次分配了内存，以后不再分配
printf(k); // 为k分配了第二次内存
printf(pk);- 1
- 2
- 3
- 4
- 5
- 6
三. 使用const的一些注意事项
1.修改const 所修饰的常量值
以下例子中，i为const修饰的变量，可以通过对i进行类型强制转换，将地址赋给一个新的变量，对该新的变量再作修改即可以改变原来const 修饰的常值。
const int i=0;
int *p=(int*)&i;
p=100;- 1
- 2
- 3
2.构造函数不能被声明为const
3.const数据成员的初始化只能在类的构造函数的初始化表中进行
class A
{
public:
const int a;
A(int x):a(x)//正确
{
a = x;//错误
}
};- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
4.在参数中使用const应该使用引用或指针，而不是一般的对象实例
合理利用const在成员函数中的三种用法（参数、返回值、函数），一般来说，不要轻易的将函数的返回值类型定为const；另外，除了重载操作符外一般不要将返回值类型定为对某个对象的const引用。
5.对于使用const修饰来指针的情况
对于以下情况，const放在变量声明符的前后位置效果是一样的，这种情况下不允许对指针a 的内容进行更改操作：
int i;
const int *a = &i;
int const*a = &i;- 1
- 2
- 3
但是，如果const位于星号的左侧，则const就是用来修饰指针所指向的变量，即该指针指向一个地址，该地址的内容不可变；如果const位于星号的右侧，const就是修饰指针本身，即指针本身是常量：
int i;
// 以下一行表示a是一个指针，可以任意指向int常量或者int变量
// 它总是把它所指向的目标当作一个int常量
// 也可以写成int const* a
const int *a = &i;
// 以下一行表示a是一个指针常量，
// 初始化的时候必须固定指向一个int变量
// 之后就不能再指向别的地方了
// 但是指针指向的内容可以改变
int *const a = &i;- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
6.指针本身是常量，而指针所指向的内容不是常量，这种情况下不能对指针本身进行更改操作，如以下例子中a++是错误的：
int *const a = &i;
a++; // 错误，a指针本身是常量，不能再指向别的地方- 1
- 2
7.当指针本身和指针所指向的内容均为常量时
这种情况下可写为：
const int * const a = &i;- 1
8.const成员函数返回的引用，也是const
#include- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
9.mutable将数据声明为可变数据成员
在C++语言中，mutable是使用较少的关键字，它的作用是：如果一个函数被const 修饰，那么它将无法修改其成员变量的，但是如果一个成员变量是被mutable修饰的话，则可以修改。
mutable 可以用来指出，即使成员函数或者类变量为const，其某个成员也可以被修改。反过来说，可变数据成员永远不能成为const，即使它是const对象的成员。
class A
{
public:
int x;
mutable int y;
A(int a, int b):x(a),y(b){}
};
int main()
{
const A a(0, 0); // const对象必须初始化
a.x = 1; // 错误
a.y = 2; // 正确，mutable修饰使得成员可被修改，即使对象a为const
return 0;
}