C++：23 再議const的用法（下）
上一篇文章折騰了一波粉絲，那麼這一篇文章稍微溫柔一些。
我主要開始說如何正確使用const
1.不能將const 修飾的任何物件、引用和指標作為賦值表示式的左值。
const int cx=100;
const int & rcx=cx;
const int * pcx=&cx;
cx=200; //error
rcx=200; //error
*pcx=200; //error
Int& a =100; //error
2.const 型別的物件不能直接被non-const 型別的別名所引用。
(1)不能將const 型別的物件傳遞給non-const 型別的引用。
const int cx=100;
int & rx=cx; //error
(2)不能將const 型別的實參傳遞給形參為non-const 型別引用的函式。
void f(int a)
{}
void g(int & ra)
{}
const int cx=100;
f(cx); //ok
g(cx); //error
(3)不能將const 型別的物件作為non-const 型別引用的函式返回值。
int & f(const int & rca)
{
return rca; //error
}
int x=100;
f(x);
3.可以使用const 類型別名引用non-const 物件。
此時通過const 引用不能修改物件，但物件可以通過non-const 引用被修改。
int x=100;
int & rx=x;
const int & rcx=x; //ok
x=200;
rx=200;
rcx=200; //error
4.指標的屬性有兩個：指標的型別和指標本身的常量性。其中，指向const 物件與指向nonconst物件，是不同的指標型別。
int x=100;
const int * pcx=&x; //[1]
int * px=&x; //[2]
int y=100;
int * const cpy=&y; //[3]
int * py=&y; //[4]
[1][2]兩個指標的型別不同；[3][4]兩個指標的常量性不同。
物件與指向物件的指標的規則類似於物件與引用。即，const 型別的物件不能直接被nonconst
型別的指標所指示（同2）；可以使用const 型別的指標指向non-const 物件（同3）。
5.可以將相同型別（包括常量性）的const 指標值賦給non-const 指標。
int x=100;
int * px;
const int * pcx=&x;
px=pcx; //error
int * const cpx=&x;
px=cpx; //ok
6.若函式的返回值為內建型別或是指標，則該返回值自動成為const 性質。但自定義型別
則為non-const 性質。
int f() //相當於返回const int
{
return 100;
}
int * g(int & ra) //相當於返回int * const
{
return &ra;
}
class CTest
{
int n;
public:
CTest(int n){this->n=n;}
};
CTest h() //返回的就是CTest
{
return CTest(200);
}
f()=200; //error
int x=100;
int y=200;
int * px=&x;
g(y)=px; //error
*g(y)=x; //ok，從這點可以看出g()返回的不是const int *
CTest t(100);
h()=t; //ok，但卻是完全錯誤的、危險的做法
//所以h()的正確寫法是返回const CTest
const int a=100; a 的內容不變,a 只能是100（同樣不能型別轉換）。
int const b=100; b 必須為int 型,不能為其他型別?（同樣在使用中不能修改）。
所以a 和b 是一樣的，稱為整型常數，在使用中不能被修改，當然都不能轉為其他型別了。
#include <iostream>
using namespace std;
int main()
{
const int a = 100;
int const b = 100;
a = 100; //這四條語句編譯時都會出現“Cannot modify a const object
b = 100; //in function main()”的錯誤提示，也就是說，任何企圖修改a = 100.0; //a 和
b（其實是一樣的）的行為都會出現“災難”，在語法上講就b = 100.0; //是a 和b 都不
能出現在賦值語句的左邊！
cout<<'\n'<<a<<'\n'<<b<<endl;
return 0;
}
常函式的呼叫
常函式的呼叫是這樣的：常量物件只能呼叫常成員函式，非常量物件即可以調常成員函式，
也可以調一般成員函式，但當某個函式有const 和非const 兩個版本時，const 物件調const
版本，非const 物件調非const 版本
例：
class A
{
public:
int & GetData(){return data;}
const int & GetData()const {return data;}
private:
int data;
}
A a;
a.GetData();//呼叫int & GetData(){return data;}
//但如果沒有這個函式，也可以呼叫const int & GetData()const
const A const_a;
const_a.GetData();//呼叫const int & GetData()const {return data;}
常函式只能調常函式，也是由於這個原因
這裡我插一嘴，我面試C++的時候經常會問到面試者這樣一個問題：類成員函式在後邊通過const修飾和不用const修飾的區別是什麼，我想你現在應該能回答上來了吧。實際上通過const修飾的成員方法為常方法，常量成員函式確保不會修改任何非靜態成員變數的值。編譯器如果發現常量成員函式內出現了有可能修改非靜態成員變數的語句，就會報錯。因此，常量成員函式內部也不允許呼叫同類的其他非常量成員函式（靜態成員函式除外）。
