C++学习记录（1）const 要点

const含义

常类型是指使用类型修饰符const说明的类型，常类型的变量或对象的值是不能被更新的。

const作用

• 可以定义常量
  例如：const int a=100;
• 类型检查
  • const常量与#define宏定义常量的区别：const常量具有类型，编译器可以进行安全检查；#define宏定义没有数据类型，只是简单的字符串替换，不能进行安全检查
  • const定义的变量只有类型为整数或枚举，且以常量表达式初始化时才能作为常量表达式
  • 其他情况下它只是一个 const 限定的变量，不要将与常量混淆。
• 防止修改，起保护作用，增加程序健壮性
• 可以节省空间，避免不必要的内存分配：const定义的常量在程序运行过程中只有一份拷贝，而#define定义的常量在内存中有若干个拷贝。

const对象默认为文件局部变量

未被const修饰的变量在不同文件的访问

// file1.cpp
int ext;
// file2.cpp
#include<iostream>

extern int ext;
int main(){
    std::cout<<(ext+10)<<std::endl;
}

const常量在不同文件的访问

//extern_file1.cpp
extern const int ext=12;
//extern_file2.cpp
#include<iostream>
extern const int ext;
int main(){
    std::cout<<ext<<std::endl;
}

小结：可以发现未被const修饰的变量不需要extern显式声明！而const常量需要显式声明extern，并且需要做初始化！因为常量在定义后就不能被修改，所以定义时必须初始化。

定义常量

const int b = 10;
b = 0; // error: assignment of read-only variable ‘b’
const string s = "helloworld";
const int i, j=0 // error: uninitialized const ‘i’

上述有两个错误：1、b为常量，不可更改！ 2、i为常量，必须初始化

指针与const

小结：
如果const位于的左侧，则const就是用来修饰指针所指向的变量，即指针指向为常量；
如果const位于的右侧，const就是修饰指针本身，即指针本身是常量。

具体使用如下：

1.常量指针
const int * p ; 防止通过指针引用修改内存中的数据
2. 指针常量
int * const p = &a ; 指针常量的指向位置不能改变，但指针指向的内容可以改变；声明时必须初始化

// 引用一个博主的例子，挺容易理解的
int _tmain(int argc, _TCHAR* argv[])
{
	//定义变量
	int a=1;
 
	//定义常量
	const int b=2;
 
	//定义常量指针
	const int *ptr1=&a;
 
	//定义指针常量，必须赋值
	int* const ptr2=&a;
 
	//错误，不能把常量的地址赋给指针变量
	int *ptr3=&b;
 
	//正确，可以把常量的地址赋给常量指针
	const int* ptr4=&b;
 
	//错误，间接引用常量指针不可以修改内存中的数据
	*ptr1=3;
 
	//正确，间接引用指针常量可以修改内存中的数据
    *ptr2=4;
 
	//正确，常量指针可以指向其他变量
	ptr1=&b;
 
	//错误，指针常量不可以指向其他变量
	ptr2=&b;
 
	//常量指针常量，即不可以间接引用修改内存数据，也不可以指向别的变量
	const int * const ptr5=&a;
 
	//错误，不可以间接引用修改内存数据
	*ptr5=5;
 
	//错误，不可以修改指向的对象
	ptr5=&b;
 
	return 0;
}

函数中使用const

• const修饰函数参数

（1）传递过来的参数及指针本身在函数内不可变，无意义！

void func(const int var); // 传递过来的参数不可变
void func(int *const var); // 指针本身不可变

表明参数在函数体内不能被修改，但此处没有任何意义，var本身就是形参，在函数内不会改变。包括传入的形参是指针也是一样。输入参数采用“值传递”，由于函数将自动产生临时变量用于复制该参数，该输入参数本来就无需保护，所以不要加const 修饰。
（2） 参数指针所指内容为常量不可变

void StringCopy(char *dst, const char *src);

其中src 是输入参数，dst 是输出参数。给src加上const修饰后，如果函数体内的语句试图改动src的内容，编译器将指出错误。这就是加了const的作用之一。
（3）参数为引用，为了增加效率同时防止修改。

void func(const A &a)

对于非内部数据类型的参数而言，像void func(A a) 这样声明的函数注定效率比较低。因为函数体内将产生A 类型的临时对象用于复制参数a，而临时对象的构造、复制、析构过程都将消耗时间。

为了提高效率，可以将函数声明改为void func(A &a)，因为“引用传递”仅借用一下参数的别名而已，不需要产生临 时对象。但是函数void func(A &a) 存在一个缺点：“引用传递”有可能改变参数a，这是我们不期望的。解决这个问题很容易，加const修饰即可，因此函数最终成为 void func(const A &a)。

以此类推，是否应将void func(int x) 改写为void func(const int &x)，以便提高效率？完全没有必要，因为内部数据类型的参数不存在构造、析构的过程，而复制也非常快，“值传递”和“引用传递”的效率几乎相当。

小结：
1.对于非内部数据类型的输入参数，应该将“值传递”的方式改为“const 引用传递”，目的是提高效率。例如将void func(A a) 改为void func(const A &a)。
2.对于内部数据类型的输入参数，不要将“值传递”的方式改为“const 引用传递”。否则既达不到提高效率的目的，又降低了函数的可理解性。例如void func(int x) 不应该改为void func(const int &x)。