C語(yǔ)言中const和指針的秘密你知道嗎

更新時(shí)間：2022年02月16日 15:37:57 作者：叫我小秦就好了

這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言中const和指針的秘密，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下，希望能夠給你帶來(lái)幫助

指針的賦值

問(wèn)題

將一個(gè)類(lèi)型為 char** 的值賦值給一個(gè) const char** 類(lèi)型的對(duì)象是否合法呢？

先說(shuō)結(jié)果，在vs的環(huán)境下，編譯器不會(huì)報(bào)錯(cuò)也不會(huì)有任何警告。

但在linux環(huán)境下用gcc編譯就會(huì)出現(xiàn)下面的警告：

warning: assignment from incompatible pointer type

警告:來(lái)自不兼容指針類(lèi)型的賦值

為了代碼的可移植性我們顯然不能寫(xiě)出這樣的代碼，下面就讓我們一步步探索這其中的奧妙。

首先來(lái)了解ANSI C有關(guān)標(biāo)準(zhǔn)

ANSI C 有關(guān)簡(jiǎn)單賦值的標(biāo)準(zhǔn)

要使賦值形式合法，必須滿足下列條件之一：

1.兩個(gè)操作數(shù)都是指向有限定符或無(wú)限定符的相容類(lèi)型的指針
2. 左邊指針?biāo)赶虻念?lèi)型必須具有右邊指針?biāo)赶蝾?lèi)型的全部限定符

還有一個(gè)關(guān)于類(lèi)型的說(shuō)明：

const float* 類(lèi)型不是一個(gè)有限定符的類(lèi)型——它的類(lèi)型是 “指向一個(gè)具有 const 限定符的 float 類(lèi)型的指針”，也就是說(shuō) const 限定符是修飾指針?biāo)赶虻念?lèi)型，而不是指針本身。

問(wèn)題解決

在解決問(wèn)題之前，我們先來(lái)看一組簡(jiǎn)單的。

char* 和 const char*

char* 和 const char* 是匹配的。它之所以合法，是因?yàn)樵谙旅娴拇a中：

char* cp;
const char* cpp;
cpp = cp;

左操作數(shù)是一個(gè)指向有const限定符的char的指針；
右操作數(shù)是一個(gè)指向沒(méi)有限定符的char的指針；
char類(lèi)型與char類(lèi)型是相容的，左操作數(shù)所指向的類(lèi)型具有右操作數(shù)所指向類(lèi)型的限定符（無(wú)），再加上自身的限定符（const）。

注意，反過(guò)來(lái)就不能進(jìn)行賦值。

char* cp;
const char* cpp;
cp = cpp; //此時(shí)左操作數(shù)不具有右操作數(shù)的const限定符

char 和 const char

由上面的知識(shí)我們可以得知，char** 和 const char** 都是沒(méi)有限定符的指針類(lèi)型，但他們的指向的類(lèi)型不一樣（前者指向char*，后者指向const char*），這違反了上面賦值標(biāo)準(zhǔn)的第一條，所以它們是不相容的。

用這種方式理解這個(gè)有一點(diǎn)困難?？梢杂孟旅孢@種方法進(jìn)行理解：

char** pp1;
const char** pp2;
pp2 = pp1;

左操作數(shù)的類(lèi)型是 const char**，它是一個(gè)指向 const char* 類(lèi)型的指針，而 const char* 是一個(gè)沒(méi)有限定符的指針，它指向一個(gè)帶有 const 限定的 char 類(lèi)型；
右操作數(shù)的類(lèi)型是 char**，它是一個(gè)指向 char* 的指針，而 char* 是一個(gè)沒(méi)有限定符的指針，它指向一個(gè)沒(méi)有限定符的 char 類(lèi)型。

const char* 和 char* 是相容的，而且他們本身沒(méi)有限定符，所以符合標(biāo)準(zhǔn)的約束條件，兩者之間的賦值是合法的。但 const char** 和 char** 之間的關(guān)系又有不同，雖然二者都沒(méi)有限定符，但二者所指向的對(duì)象類(lèi)型不相容，所以不能進(jìn)行賦值。

const修飾

const修飾變量

首先，關(guān)鍵字const并不能把變量變成常量！在一個(gè)符號(hào)前加上const限定符只是表示這個(gè)符號(hào)不能被賦值。也就是說(shuō)const修飾的變量是只讀的，不可以被直接修改，但它不能防止被間接修改。

例如：

#include <stdio.h>

int main()
{
	const int i = 10;
	int* p = &i;
	printf("before:%d\n", i);
	*p = 20;
	printf("after:%d\n", i);//這里打印值變成了20，說(shuō)明可以間接修改

	return 0;
}

const修飾指針

const修飾指針變量有多種位置，下面我們將逐個(gè)介紹。

const int* p

注：const int* p 與 int const p 寫(xiě)法不同，作用是一樣的。
這種寫(xiě)法的意思是：const修飾p，不能通過(guò)解引用（p）的方式直接修改所指向的變量，但可以通過(guò)改變指針指向的方式來(lái)修改p。
例如：

#include <stdio.h>

int main()
{
	//通過(guò)下方直接解引用的方式來(lái)修改編譯器會(huì)直接報(bào)錯(cuò)
	//int i = 10;
	//const int* p = &i;
	//*p = 20;

	int i = 10;
	const int* p = &i;
	printf("before:%d\n", *p);
	int j = 20;
	p = &j;//通過(guò)這樣改變p的指向，可以間接修改*p值
	printf("after:%d\n", *p);
	
	return 0;
}

int* const p

這種寫(xiě)法的意思是：const修飾p，不能通過(guò)改變指針指向的方式修改*p的值，但可以通過(guò)解引用（*p）的方式直接修改所指向的變量。

例如：

#include <stdio.h>

int main()
{
	int i = 10;
	int* const p = &i;
	printf("before:%d\n", *p);
	*p = 20;//不能改變p的指向，但可以直接解引用修改值
	printf("after:%d\n", *p);

	return 0;
}