const 的用法

一、修饰指针

1、常量指针：指向常量的指针，指针所指的对象为常量。其常见的写法有如下两种，如：

const int *p;
int const *p;

实例用法：

int a = 10, b = 20;
const int *p = &a;   //定义一个指向a的常量指针
p = &b;  // 修改p的指向，让指针指向b

// 错误，指针指向的是常量，所以其指向的内容不可以修改
*p = 100;  

【注】：指向常量的指针也可以指向非常量对象：如下：

const int i=10;
int j=20;
const int *p1=&i;    //指向常量的指针指向常量对象
const int *p2=&j;    //指向非常量对象，不能通过 *p2 来修改 j 的值

2、指针常量：指针其自身的类型为常量，此时指针所指向的值可以修改，但指针自身的值不能被修改。其写法如下：

int a = 10;
int* const p = &a;

实例用法：

int a = 10, b = 20;
int* const p = &a;  //指针p指向a
*p = 100;  // 正确，此时可以修改指针所指的内容

// 错误，此时指针是常量，指针不可以修改
p++;

3、指向常量的指针常量：指针和指向的内容都不可变，其写法如下：

int a = 10;
const int* const p = &a;

---

二、const 修饰的变量

1、const 对象一旦创建后其值就不能再改变，所以const对象必须要初始化。

const int a=10;    //正确
const int k;    //错误：k是未经初始化的常量

2、const对象的引用不可以转换成非const对象的引用，但是非const对象的引用可以隐式转换成const对象的引用

int a = 10;
const int b = 1;

int &s1 = b;  //错误，b为const对象，不可以转换成非常量对象的引用
const int &s2 = a; //正确，a 可以转换成常量对象的引用

 【const 不可以转换成其他类型，但是非常量却可以转换成 const  类型】

3、常量对象和非常量对象的引用作为函数形参

• 变量  x 为非常量对象，它作为实参时，既可以被函数 f1调用，也可以被函数f2调用。但是它和f1函数的匹配更加准确。
• 变量 y 为常量对象，它作为实参时，只能被函数 f2 调用，不能被 f1调用。因为其本身为常引用，不可以转换成普通引用。

#include<iostream>
#include<string>
using namespace std;

void f1(int &a);
void f2(const int &b);

int main()
{
	int x = 10;
	const int y = 20;
	
	f1(x);  // 正确
	f2(x);  // 正确，普通对象的引用会隐式的转换成常量对象的引用

	f1(y);  // 错误，不能把普通引用绑定到常量对象的引用上
	f2(y);  // 正确

	cin.get();
}

void f1(int &a)
{
	cout << "Call f1: " << a << endl;
}

void f2(const int &b)
{
	cout << "Call f2: " << b << endl;
}

 4、const 修饰函数的参数，该参数在函数中为常量不能被修改

void func(const int m, const int &n)
{
	// 由于被const修饰，所以不能修改所传参数的值
	m = 10; //错误
	n++; //错误
}

---

三、修饰函数

const 修饰的成员函数中不能修改任何成员变量，且 const 成员函数不能调用非 const 成员函数。

（const 修饰的成员函数可以被const修饰的函数调用，也可以被非const函数调用）

class Test
{
public:
	Test(int x = 10, string str = "sz") :num(x), city(str) {}

	// func1为常成员函数
	void func1()const
	{
		//错误，const修饰的成员函数中不能修改成员变量
		num = 100;

		//错误，常成员函数不能调用非常成员函数
		func2();
	}

	// func2为非常成员函数
	void func2()
	{
		cout << "this is just a test" << endl;
	}

private:
	int num;
	string city;
};

---

四、关于顶层const和底层const

• 顶层const表示指针本身是常量；底层const表示指针所指的对象是常量。
• 更一般的情况下，顶层const可以表示任意的对象是常量，这对任何数据类型都是适用的。
• 底层const则与指针和引用等复合类型的基本类型有关。