做 個 有 趣 的 人

from:

https://blog.xuite.net/tsai.oktomy/program/65131235-const+%E6%94%BE%E7%BD%AE%E4%BD%8D%E7%BD%AE%E7%9A%84%E6%84%8F%E7%BE%A9

1. const修飾普通變數和指標

const修飾變數，一般有兩種寫法：

const TYPE value;

TYPE const value;

這兩種寫法在本質上是一樣的。它的含義是：const修飾的類型為TYPE的變數value是不可變的。

對於一個非指標的類型TYPE，無論怎麼寫，都是一個含義，即value只不可變。

例如：

const int nValue；         //nValue是const

int const nValue；        // nValue是const

但是對於指標類型的TYPE，不同的寫法會有不同情況，例如：

A. const char *pContent;

B. char * const pContent;

C. char const *pContent;

D. const char* const pContent;

對於前三種寫法，我們可以換個方式，給其加上括弧

A. const (char) *pContent;

B. (char*) const pContent;

C. (char) const *pContent;

這樣就一目了然。根據對於const修飾非指標變數的規則，很明顯，A=C.

- 對於A,C, const修飾的類型為char的變數*pContent為常量，因此，pContent的內容為常量不可變.

- 對於B, 其實還有一種寫法： const (char*) pContent;

含義為：const修飾的類型為char*的變數pContent為常量，因此，pContent指針本身為常量不可變.

- 對於D, 其實是A和B的混合體，表示指標本身和指標內容兩者皆為常量不可變

總結:

(1)  指針本身是常量不可變

(char*) const pContent;

const (char*) pContent;

(2)  指標所指向的內容是常量不可變

const (char) *pContent;

(char) const *pContent;

(3)  兩者都不可變

const char* const pContent;

還有其中區別方法：

沿著*號劃一條線，

如果const位於*的左側，則const就是用來修飾指標所指向的變數，即指標指向為常量；

如果const位於*的右側，const就是修飾指標本身，即指標本身是常量。 

2. const修飾函數參數

const修飾函數參數是它最廣泛的一種用途，它表示函數體中不能修改參數的值(包括參數本身的值或者參數其中包含的值)。它可以很好 

void function(const int Var); //傳遞過來的參數在函數內不可以改變(無意義，因為Var本身就是形參)

void function(const char* Var); //參數指標所指內容為常量不可變

void function(char* const Var); //參數指標本身為常量不可變(也無意義， 因為char* Var也是形參)

參數為引用，為了增加效率同時防止修改。

修飾傳址參數時：

void function(const Class& Var);//傳址參數在函數內不可以改變

void function(const TYPE& Var); //傳址參數在函數內為常量不可變

3. const 修飾函數返回值

const修飾函數返回值其實用的並不是很多，它的含義和const修飾普通變數以及指標的含義基本相同。

(1) const int fun1() 這個其實無意義，因為參數返回本身就是賦值。

(2) const int * fun2()

調用時 const int *pValue = fun2();

我們可以把fun2()看作成一個變數，那麼就是我們上面所說的1.(1)的寫法，即指標內容不可變。

(3) int* const fun3()

調用時 int * const pValue = fun2();

我們可以把fun2()看作成一個變數，那麼就是我們上面所說的1.(2)的寫法，即指針本身不可變。

4. const修飾類物件/物件指標/物件引用

const修飾類物件表示該物件為常量物件，其中的任何成員都不能被修改。對於物件指標和物件引用也是一樣。

const修飾的物件，該物件的任何非const成員函數都不能被調用，因為任何非const成員函數會有修改成員變數的企圖。

例如：

class AAA

{
   void func1();

void func2() const;

}

const AAA aObj;

aObj.func1(); ×

aObj.func2(); 正確

const AAA* aObj = new AAA();

aObj->func1(); ×

aObj->func2(); 正確

5. const修飾成員變數

const修飾類的成員函數，表示成員常量，不能被修改，同時它只能在初始化列表中賦值。

class A

{

   …

   const int nValue;       //成員常量不能被修改

   …

   A(int x): nValue(x) {}; //只能在初始化列表中賦值

}

6. const修飾成員函數

const修飾類的成員函數，則該成員函數不能修改類中任何非const成員函數。一般寫在函數的最後來修飾。

class A

{

   …

void function()const; //常成員函數, 它不改變物件的成員變數. 也不能調用類中任何非const成員函數。

}

對於const類物件/指標/引用，只能調用類的const成員函數，因此，const修飾成員函數的最重要作用就是限制對於const物件的使用。

7. const常量與define巨集定義的區別

(1) 編譯器處理方式不同

define宏是在預處理階段展開。

const常量是編譯運行階段使用。

(2) 類型和安全檢查不同

define宏沒有類型，不做任何類型檢查，僅僅是展開。

const常量有具體的類型，在編譯階段會執行類型檢查。

(3) 存儲方式不同

define宏僅僅是展開，有多少地方使用，就展開多少次，不會分配記憶體。

const常量會在記憶體中分配(可以是堆中也可以是棧中)。

 轉發 作者JuKevin

#include<iostream>

#include<string>

using namespace std;

class A

{

private:

         int y;

public:

 

A(){y=0;}

int f1(int x) const // 此const代表此function不可以修改Data Member

{
   x++;
   // y++; // Error! y為Data Member，因此不可以修改
   return y;

}

 

const int f2(int x) // 回傳值為const

{
  x++;

  y++;

  return y;

}

 

int f3(int const x) // 參數為const

{

  // x++; // Error! x為const，不可以修改

  y++;

  return y;

}

 

void f4(int const *x) // x is variable pointer to a constant integer，也可以寫成f4(const int *x)

{

  // (*x)++; // Error! pointer x所指向的實體為const，因此不可以修改其值

  *x++; // 此行的意思是*(x++)，先修改pointer x的值，在指向實體

}

 

void f5(int const &x) // x is variable reference to a constant integer

{

  // x++; // Error! x就是一個const

}

 

void f6(int *const x) // x constant pointer to a variable integer

{

  (*x)++;

  // *x++; // Error! Constant pointer x 不可以指向其他實體

}

 

const char * f7() // 回傳一個variable pointer to a constant char

{

  return "ABC";

}

 

void f8(const int * const x) // x is constant pointer to a const integer

{

  // (*x)++; // Error! x所指向的實體為const，因此不可以修改其值

  // *x++; // Error! Constant pointer x 不可以指向其他實體

}

};

int main()

{

A a;

int x=3;

 

 

a.f1(x);

a.f2(x);

a.f3(x); // int x 會自動轉成const int x傳入

 

a.f4(&x) ;

a.f5(x) ;

const char *s = a.f7(); // 必須使用一個const來接const

// s[0]='0'; // Error! 無法對const 變數進行改變動作

 

 

return 0;

}

Reference: http://duramecho.com/ComputerInformation/WhyHowCppConst.html