C語言中const,指針和引用的關系

Posted on by

const 與指針

我們寫一段代碼來探究以下

int a = 10, b = 20;
int* p1 = &a;
*p1 = 100;
p1 = &b;
const int* p2 = &a;
int const* p3 = &a;
int* const p4 = &a;
const int* const p5 = &a;

在上面 const int* p2;與int const* p3= &a;是等價的

const在星號的左邊，我們的const修飾的是指向能力，也就是說我們可以改變p2的自身值，但是不能修改 *p2 的值；

int x = *p2;
*p2 = 100; // err 是錯誤的
p2 = &b； //是正確的

const在星號的右邊，我們p4自身值不能改變，但是可以改變 *p4 的值

int x = *p4;
*p4 = 100; // 是正確的
p4 = &b; //err 是錯誤的

而p5既不能改變自身值也不可以改變 *p5 的值

我們現在看下面的代碼，來探討哪一句正確哪一句錯誤

int a = 10,b = 20;const int *p = &a;    *p 不能改int *s0 = p;    使得 *p 可改 const int *s1 = p;  *p不可改int * const s2 = p;   *p可改 s2 不可改const int * const s3 = p;*p不可改 s3 不可改

我們對const int* p = &a;分析，可以看出const修飾使得 *p 不可以修改；繼而分析下面的代碼是否會對 *p 產生修改

首先我們可以看出我們的 s0 s1 s2 s3 都等於 p 繼而 *s1 *s2 *s3 *p 都是a，我們之前提到過能力可以收縮，而不可以擴展；

1.s0等價於p，而我們對*s0可以進行修改，繼而是錯誤的；

2.const修飾 *s1，所以我們無法修改 *s1，可以修改s1，繼而是正確的；

3.cosnt修飾s2，我們可以修改*s2，而不能修改s2，所以是錯誤的；

4.我們既不可以修改s4也不可以修改 *s4 ，所以是正確的

我們再來看這樣一段代碼，這次我們將對p進行const修飾

int a = 10,b = 20;
int * const p = &a;     p不能改
int *s0 = p;			  	s0可改 *s0 == *p 可改
const int *s1 = p;		  	*s1 不可改 s1可改 
int * const s2 = p;		  	s2不可改 *s2可改
const int * const s3 = p; 	s3不可改 *s3不可改

我們對int* const p = &a;分析，這次我們的const修飾p，使得p的值不能修改，而 *p 可以修改，接著分析下面的代碼

首先於上面一樣， s0 s1 s2 s3 都等於 p 繼而 s1 s2 s3 p 都是a

1.s0 與 p相等，我們可以修改*p 可以修改s0，但是對p並沒有進行修改，所以是正確的

2.const修飾 *s1，我們不能修改 *s1，可以修改s1，與p無關所以是正確的

3.const修飾 s2 ，我們不能修改 s2，可以修改*s2，與p無關所以是正確的

4.這裡我們同樣既不可以修改 s3，也不可以修改 *s3，同樣與p無關，所以是正確的

如果我們通過強制轉換使得通過常量地址改變該值

int main()
{
	const int a = 10;
	int b = 0;
	int *p = (int*)&a;
	*p = 100;
	b = a;
	cout<<"a="<<a<<"b="<<b<<"*p="<<*p<<endl;
}

對於c++，我們產生的結果為a=10,b=10,*p=100，對於b=a，依舊給b賦值的是10

在這裡插入圖片描述

造成這樣的原因實際上是因為C++編譯會將常量a進行數值替換，繼而b=a變成瞭b=10，C++對於常變量當作常量

在這裡插入圖片描述

當使用c語言編譯這段代碼

int main()
{
	const int a = 10;
	int b = 0;
	int *p = (int*)&a;
	*p = 100;
	b = a;
	printf("a=%d b=%d *p=%d\n",a,b,*p);
	return 0;
}

得到的值為a=100,b=100,*p=100

const 與引用

我們寫一段代碼來看看const 與引用的關系

int a = 10,b = 20;
int *p = &a;
int *s = p;
int *&pref = p;  //給p起瞭一個別命pref
int &*pref = p;  //錯誤！！！

在這裡插入圖片描述

int &*pref = p;是錯誤的，該代碼是一個指針指向的是一個引用，是不允許編譯通過的，因為在語法規則上引用不具有地址，即使引用可以進行取地址，但是是不容許這樣做的，也就是我們可以定義一個引用去引用指針，而不能定義一個指針去指向引用

const 與指針、引用

我們在寫一段代碼詳細探討

int a = 10;
int *s = &a;
int *&p1 = s;
const int *&p2 = p;
int * const &p3 = p;
int * & const p4 = p;

在這裡插入圖片描述

總結

本篇文章就到這裡瞭，希望能夠給你帶來幫助，也希望您能夠多多關註WalkonNet的更多內容!

推薦閱讀：