C++和C中const的區別詳解

const,這個詞字面意思為:常數。

這就表示這是一個不可以改變是數。同時,這也是C/C++裡面的一個關鍵字,是一個限定符,但是const在C和C++中的用法是有區別的。

由於本人水平有限,難免會有出錯的地方,如果錯誤,還請指正!

C中的const

const修飾局部變量

在C語言中,const修飾局部變量,那麼這個變量就是“常變量”。

void test(){
	const int b = 20;
}

int main() {
	const int a = 10;
	return 0;
}

上面的兩個變量,無論是主函數中的a,還是普通的函數中的b,都是被從const修飾的變量,那麼就是“常變量”。

“常變量”不可以直接通過變量名來對值進行修改,因為變量名被const修飾後,從原來的“可讀可改”的屬性,變成瞭隻“可讀”,“不可改”的屬性。

void test(){
	const int b = 20;
	b = 40;//error
}

int main() {
	const int a = 10;
	a = 30;//error
	return 0;
}

上面的行為是錯誤的。

但是,“常變量”本質上還是一個“變量”,而不是“常量”。

隻要是被const修飾的局部變量,都是在程序運行到這一行代碼的時候,才會創建這個變量並且分配空間的。

而分配空間是在棧區分配的,棧區的空間都會有對應的地址,棧區的空間是“可讀可寫”的。

我們可以通過地址,來對值進行修改。

#include<stdio.h>

void test() {
	const int b = 20;
	int* pb = &b;
	*pb = 40;
	printf("%d\n", b);
}

int main() {
	const int a = 10;		
	int* pa = &a;
	*pa = 30;
	printf("%d\n", a);
	test();
	return 0;
}

上面的代碼輸出的結果是:30和40

也就是說,不論是main函數中的還是普通函數中的局部變量,隻要是被const修飾的局部變量,是可以通過地址來進行修改的。

補充

一般我們在定義一個被const修飾的變量的時候,都應該定義並且初始化,如果像上面的那樣,是被const修飾的局部變量,如果我們在定義的時候不進行初始化,那麼就是一個隨機值,想要修改就隻能通過指針瞭。

const修飾全局變量

const修飾的全局變量,也就是定義在函數體之外的變量,內存空間是在文字常量區的,這個內存區域是隻讀的,不能通過變量名去修改變量的值,也不能通過指針去修改變量的值!

const int a = 10;//全局變量
int main() {
	int* pa = &a;
	*pa = 30;
	printf("%d\n", a);
	return 0;
}

上面的代碼時錯誤的,被const修飾的全局變量不能通過變量名和地址對內容進行修改,程序會報錯。

const修飾的全局變量有外部鏈接屬性

在C語言中,隻要時全局變量,不論有沒有被const修飾,都是默認擁有外部鏈接屬性的,也就是說這個全局變量不僅限於在當前文件下使用,隻要我們在其他文件中,加上extern的聲明,也是可以使用的。

const與指針

當const修飾非指針的普通變量的時候,不論const放在類型關鍵字前面還是後面,表達的意思都是一樣的

#include<stdio.h>
const int c = 5;
int const c = 5;
void test() {
	const int b = 20;
	int const b = 20;
}

int main() {
	const int a = 10;		
	int const a = 10;
	return 0;
}

上面a,b,c,三個變量的兩種寫法表達的意思都是一樣的,當然同名的變量不能重復定義,我隻是演示一下而已。

當const修飾指針的時候,不同的寫法會代表不同的意思。

int main() {
	const int a = 10;
	//const int* pa = &a;//與下一行的代碼表達的意思一樣
	int const* pa = &a;
	*pa = 30;
	printf("%d\n", a);
	return 0;
}

上面的代碼時有錯的,const修飾指針的時候,const在*星號的左邊(上面演示的兩種情況都可以),那麼表示的是,指針pa指向的空間的內容不可以修改,但是指針變量本身的值可以修改,也就是該指針變量可以改變指向的空間。

int main() {
	const int a = 10;
	int b = 20;
	int* const pa = &a;
	*pa = 30;
	pa = &b;//error
	printf("%d\n", a);
	return 0;
}

上面的代碼是錯誤的,const在*星號的右邊,那麼表示的是指針變量pa裡面存放的地址不可以被修改,也就是不能修改當前指針變量所指向的空間,但是空間的內容可以通過指針來進行修改。

C++中的const

const修飾普通全局變量

與C一樣,當const修飾普通的全局變量的時候,不能通過變量名和地址來修改變量的值。

另外

與C不一樣的是,C語言中的const修飾的普通全局變量默認是外部鏈接屬性的,但是在C++中被const修飾的普通全局變量是內部鏈接屬性的。

也就是說當我們在一個文件中定義瞭一個如下的全局變量

const int a = 10;//定義全局變量
int main() {
	return 0;
}

我們在另外一個文件中,使用extern來聲明,也是不可以的。

//另外一個文件
extern const int a;//在另外的文件中聲明

上面這種做法是不可以的,C++中被const修飾的全局變量默認是內部鏈接屬性,不能直接在另外的文件中使用,如果想要在另外的文件中使用,就需要在定義該全局的變量的文件中用extern來修飾。

//定義的文件
extern const int a = 10;
//另外一個文件聲明
extern const int a;

const修飾普通局部變量

如果const修飾的局部變量是基礎的類型(int char double等等),並且初始化使用字面常量的話,不會給該變量分配空間。

例如:

void test() {
	const int a = 10;//用字面常量10來初始化
	a = 20;//error
}

但是,當我們對這個變量進行取地址的操作的時候,系統會為該變量分配空間。

void test() {
	const int a = 10;
	//a = 20;//error
	int* p = (int*)&a;
	*p = 20;
	cout << a << endl;
	cout << *p << endl;
}

上面的結果是:

10和20

這是因為,當我們定義一個被const修飾並且使用字面常量來初始化的局部變量的時候,系統會把這個變量看作是一個符號,放入到符號表中,這麼變量名就是一個符號,值就是這個符號的值,類似於#define的作用。

當我們對這個變量取地址的時候,由於原來沒有空間,就沒有地址,現在需要取地址,所以才被迫分配一塊空間,我們通過地址的解引用可以修改這個空間的值,這也就是為什麼第二個結果為20的原因,但是如果我們還是通過變量名來訪問數據的話,系統會認為這還是一個符號,直接用符號表裡面的值替換。

但是!

如果初始化不是用字面常量而是用變量,那麼系統會直接分配空間。

void test() {
	int b = 20;
	const int a = b;
}

這時候的a是有空間的,不會被放入到符號表中。

const與類

如果是自定義數據類型(結構體、對象)

我們在創建對象(結構體)的時候,如果這個對象是被const修飾的話,那麼不管這個對象是全局的還是局部的,系統都會直接分配空間

總結

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

const,這個詞字面意思為:常數。

這就表示這是一個不可以改變是數。同時,這也是C/C++裡面的一個關鍵字,是一個限定符,但是const在C和C++中的用法是有區別的。

由於本人水平有限,難免會有出錯的地方,如果錯誤,還請指正!

C中的const

const修飾局部變量

在C語言中,const修飾局部變量,那麼這個變量就是“常變量”。

void test(){
	const int b = 20;
}

int main() {
	const int a = 10;
	return 0;
}

上面的兩個變量,無論是主函數中的a,還是普通的函數中的b,都是被從const修飾的變量,那麼就是“常變量”。

“常變量”不可以直接通過變量名來對值進行修改,因為變量名被const修飾後,從原來的“可讀可改”的屬性,變成瞭隻“可讀”,“不可改”的屬性。

void test(){
	const int b = 20;
	b = 40;//error
}

int main() {
	const int a = 10;
	a = 30;//error
	return 0;
}

上面的行為是錯誤的。

但是,“常變量”本質上還是一個“變量”,而不是“常量”。

隻要是被const修飾的局部變量,都是在程序運行到這一行代碼的時候,才會創建這個變量並且分配空間的。

而分配空間是在棧區分配的,棧區的空間都會有對應的地址,棧區的空間是“可讀可寫”的。

我們可以通過地址,來對值進行修改。

#include<stdio.h>

void test() {
	const int b = 20;
	int* pb = &b;
	*pb = 40;
	printf("%d\n", b);
}

int main() {
	const int a = 10;		
	int* pa = &a;
	*pa = 30;
	printf("%d\n", a);
	test();
	return 0;
}

上面的代碼輸出的結果是:30和40

也就是說,不論是main函數中的還是普通函數中的局部變量,隻要是被const修飾的局部變量,是可以通過地址來進行修改的。

補充

一般我們在定義一個被const修飾的變量的時候,都應該定義並且初始化,如果像上面的那樣,是被const修飾的局部變量,如果我們在定義的時候不進行初始化,那麼就是一個隨機值,想要修改就隻能通過指針瞭。

const修飾全局變量

const修飾的全局變量,也就是定義在函數體之外的變量,內存空間是在文字常量區的,這個內存區域是隻讀的,不能通過變量名去修改變量的值,也不能通過指針去修改變量的值!

const int a = 10;//全局變量
int main() {
	int* pa = &a;
	*pa = 30;
	printf("%d\n", a);
	return 0;
}

上面的代碼時錯誤的,被const修飾的全局變量不能通過變量名和地址對內容進行修改,程序會報錯。

const修飾的全局變量有外部鏈接屬性

在C語言中,隻要時全局變量,不論有沒有被const修飾,都是默認擁有外部鏈接屬性的,也就是說這個全局變量不僅限於在當前文件下使用,隻要我們在其他文件中,加上extern的聲明,也是可以使用的。

const與指針

當const修飾非指針的普通變量的時候,不論const放在類型關鍵字前面還是後面,表達的意思都是一樣的

#include<stdio.h>
const int c = 5;
int const c = 5;
void test() {
	const int b = 20;
	int const b = 20;
}

int main() {
	const int a = 10;		
	int const a = 10;
	return 0;
}

上面a,b,c,三個變量的兩種寫法表達的意思都是一樣的,當然同名的變量不能重復定義,我隻是演示一下而已。

當const修飾指針的時候,不同的寫法會代表不同的意思。

int main() {
	const int a = 10;
	//const int* pa = &a;//與下一行的代碼表達的意思一樣
	int const* pa = &a;
	*pa = 30;
	printf("%d\n", a);
	return 0;
}

上面的代碼時有錯的,const修飾指針的時候,const在*星號的左邊(上面演示的兩種情況都可以),那麼表示的是,指針pa指向的空間的內容不可以修改,但是指針變量本身的值可以修改,也就是該指針變量可以改變指向的空間。

int main() {
	const int a = 10;
	int b = 20;
	int* const pa = &a;
	*pa = 30;
	pa = &b;//error
	printf("%d\n", a);
	return 0;
}

上面的代碼是錯誤的,const在*星號的右邊,那麼表示的是指針變量pa裡面存放的地址不可以被修改,也就是不能修改當前指針變量所指向的空間,但是空間的內容可以通過指針來進行修改。

C++中的const

const修飾普通全局變量

與C一樣,當const修飾普通的全局變量的時候,不能通過變量名和地址來修改變量的值。

另外

與C不一樣的是,C語言中的const修飾的普通全局變量默認是外部鏈接屬性的,但是在C++中被const修飾的普通全局變量是內部鏈接屬性的。

也就是說當我們在一個文件中定義瞭一個如下的全局變量

const int a = 10;//定義全局變量
int main() {
	return 0;
}

我們在另外一個文件中,使用extern來聲明,也是不可以的。

//另外一個文件
extern const int a;//在另外的文件中聲明

上面這種做法是不可以的,C++中被const修飾的全局變量默認是內部鏈接屬性,不能直接在另外的文件中使用,如果想要在另外的文件中使用,就需要在定義該全局的變量的文件中用extern來修飾。

//定義的文件
extern const int a = 10;
//另外一個文件聲明
extern const int a;

const修飾普通局部變量

如果const修飾的局部變量是基礎的類型(int char double等等),並且初始化使用字面常量的話,不會給該變量分配空間。

例如:

void test() {
	const int a = 10;//用字面常量10來初始化
	a = 20;//error
}

但是,當我們對這個變量進行取地址的操作的時候,系統會為該變量分配空間。

void test() {
	const int a = 10;
	//a = 20;//error
	int* p = (int*)&a;
	*p = 20;
	cout << a << endl;
	cout << *p << endl;
}

上面的結果是:

10和20

這是因為,當我們定義一個被const修飾並且使用字面常量來初始化的局部變量的時候,系統會把這個變量看作是一個符號,放入到符號表中,這麼變量名就是一個符號,值就是這個符號的值,類似於#define的作用。

當我們對這個變量取地址的時候,由於原來沒有空間,就沒有地址,現在需要取地址,所以才被迫分配一塊空間,我們通過地址的解引用可以修改這個空間的值,這也就是為什麼第二個結果為20的原因,但是如果我們還是通過變量名來訪問數據的話,系統會認為這還是一個符號,直接用符號表裡面的值替換。

但是!

如果初始化不是用字面常量而是用變量,那麼系統會直接分配空間。

void test() {
	int b = 20;
	const int a = b;
}

這時候的a是有空間的,不會被放入到符號表中。

const與類

如果是自定義數據類型(結構體、對象)

我們在創建對象(結構體)的時候,如果這個對象是被const修飾的話,那麼不管這個對象是全局的還是局部的,系統都會直接分配空間

總結

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

推薦閱讀: