const修飾變量
關于const最常見的一個面試題是這樣的:char *const和const char*有什么區別,大家都知道const修飾符代表的是常量,即const修飾的變量一旦被初始化是不能被更改的,這兩個類型一個代表的是指針不可變,一個代表指針指向內容不可變,但具體哪個對應哪個,很多人一直搞不清楚。
有這樣一個規律,const修飾的是它前面所有的數據類型,如果const在最前面,那么把它和它后面第一個數據類行交換.比如上面的const char*交換之后就是char const *,這樣一來就很清楚了,char *const p中的const修飾的是char *(注意,我們這里把char和*都算作一種類型,這時候const修飾的是char和*的組合,也就是字符串指針),是一個指針類型,所以這時候指針p是不能變的,比如下面這段代碼就會報錯
char str1[]="str1";
char str2[]="str2";
char *const p = str1;
p = str2;
這時候p是一個指針常量,它是不能指向別的地方的,但是它本身指向的內容是可以變的,比如下面的操作就是允許的
char str1[]="str1";
char *const p = str1;
p[0] = 'X';
printf("%s", str1);
這時候str1的值就變成了"Xtr1"
我們再來看const char *p,根據前面提到的規律,將const和它后面一個類型交換變成char const *p(其實這種寫法也是允許的,只是人們習慣將const寫在最前面),這時候const修飾的是char,也就是說p指向的字符內容是不能變的。將上面兩個例子的char *const p全部改成const char *p,則結果正好相反,第一個可以編譯通過,第二個會報錯。其它時候就很好區分了,比如const int ,const string等等,總之,const修飾的是什么類型,這個類型的變量就不能被改變。
const修飾函數
先來看這樣一個函數
const char * func(const char *str) const;
這樣的函數比較夸張,有三個const,我們從左到右來一一說明:1、第一個const修飾的是返回值,前面已經說過,這里的const修飾的是char,也就是說返回值的內容是不能被更改的
2、第二個const和第一個是一樣的,這種用的比較多,它作為函數參數,表示的是這個參數在函數體內是不能被改動的(被傳進來的實參并不要求是const類型),這樣做是為了防止函數對實參做一些意外的操作,你試想下,當你調用一個函數時,你傳進去一個變量是"hello world!",調完函數之后變成了"fuck the world!",這實在是不可忍的,所以我們在設計函數的時候,如果傳進來的參數只作為讀取使用,最好是將參數設成const類型。很多公司在面試讓寫代碼的時候都會看中這個細節,你注意了這個細節不一定說明你牛逼,但你若沒注意那肯定是會減分的。
3、再來說第三個const,按照我們最開始說的規律,const修飾的是它前面的所有數據類型,這里它前面的所有數據類型組合起來就是一個函數,這種類型一般出現在類成員函數里,當然,這里并不是說這個函數是不能變的,它代表的時這個函數不能改變類的成員變量,不管是public的還是private的
我們下面舉例主要說明第三種情況,來看這樣一個簡單的程序
#include<stdio.h>
class A
{
public:
A() : x(0), y(0){}
void func(const int p)
{
x = p;
y = p;
}
int getY()
{
return y;
}
int x;
private:
int y;
};
int main(int argc, char* argv[])
{
A a;
printf("x:%d y:%d/n", a.x, a.getY());
a.func(2);
printf("x:%d y:%d/n", a.x, a.getY());
return 0;
}
這段代碼是可以直接編譯過的,運行結果是
x:0 y:0
x:2 y:2
我們稍作修改,將void func(const int p)改成void func(const int p) const再編譯,就會直接報錯,報錯的兩行代碼是
x = p;
y = p;
也就是說const類型的函數試圖去修改類的成員變量是非法的,但是有一種情況例外,我們再在上面修改的基礎上做一點修改,將int x改成mutable int x,將int y改成mutable int y,這時候程序又可以正常運行了,也就是說,如果成員變量是mutable類型的,它可以在任何場景下被修改。