隨便說幾點。

1.const是C++中的關(guān)鍵字，C中的const是鑒戒C++定義的關(guān)鍵字，但是C中的const與C++比退化的很厲害，幾乎就是沒啥用。

2.從語義上來講，函數(shù)參數(shù)中的指針不應該用const修飾，既然用指針傳遞，就應該意味著參數(shù)會被修改，如果函數(shù)體不修改參數(shù)，應該用const引用或者傳值。

3.函數(shù)返回值的時候，需要區(qū)分是否為內(nèi)置類型，內(nèi)置類型的返回值是一個右值，可以保證其不會被修改，但是返回自定義類型的時候，如果不加const，函數(shù)返回值是可以被賦值的，雖然不符合常理，但是語法上是沒問題的。
例如 A func(int);
func(3) = A();
編譯完全可以通過，你可以試一下。 :)  回復  更多評論
  

@TheAnswer
20: int main(int argc, char* argv[])
21: {
00401130 push ebp
00401131 mov ebp,esp
00401133 push 0FFh
00401135 push offset __ehhandler$_main (00412ef9)
0040113A mov eax,fs:[00000000]
00401140 push eax
00401141 mov dword ptr fs:[0],esp
00401148 sub esp,54h
0040114B push ebx
0040114C push esi
0040114D push edi
0040114E lea edi,[ebp-60h]
00401151 mov ecx,15h
00401156 mov eax,0CCCCCCCCh
0040115B rep stos dword ptr [edi]
22: func(3)=A();
0040115D lea ecx,[ebp-14h]
00401160 call @ILT+5(A::A) (0040100a)
00401165 mov dword ptr [ebp-58h],eax
00401168 mov eax,dword ptr [ebp-58h]
0040116B mov dword ptr [ebp-5Ch],eax
0040116E mov dword ptr [ebp-4],0
00401175 mov ecx,dword ptr [ebp-5Ch]
00401178 mov esi,dword ptr [ecx]
0040117A push 3
0040117C lea edx,[ebp-10h]
0040117F push edx
00401180 call @ILT+0(func) (00401005)
00401185 add esp,8
00401188 mov dword ptr [ebp-60h],eax
0040118B mov eax,dword ptr [ebp-60h]
0040118E mov dword ptr [eax],esi
00401190 lea ecx,[ebp-10h]
00401193 call @ILT+10(A::~A) (0040100f)
00401198 mov dword ptr [ebp-4],0FFFFFFFFh
0040119F lea ecx,[ebp-14h]
004011A2 call @ILT+10(A::~A) (0040100f)
23:
24: return 0;
004011A7 xor eax,eax
25: }

調(diào)試匯編下你們就知道了，func(3) = A();之所以可以編譯通過，是因為這句話相當于，A temp1=A::A(); A temp2=func(3); temp2=temp1;  回復  更多評論
  

@TheAnswer
你說的：內(nèi)置類型的返回值是一個右值，可以保證其不會被修改，倒是C編譯器在編譯語法檢查時就實現(xiàn)了的，我之所以同意你這個說法，是因為下面的代碼完全可以通過編譯：
int func(int i){ return i;}
int main(int argc, char* argv[])
{
const int a=func(1);
func(2);
__asm{
mov a, eax;//修改a常量，說明匯編級并沒有所謂的左右值之說。
}
return 0;
}

左右值的編譯錯誤完全是在C/C++編譯器做語法檢查的時候就報錯了。  回復  更多評論
  

@TheAnswer
另外樓主的描述我比較贊同，原因是C語言里的函數(shù)定義時是不能在函數(shù)名后面加const的，加了反而是語法錯誤，C++中也只有類的成員函數(shù)名后才能加這個const，其他的時候const要加也只能加在返回值或者參數(shù)(變量)定義前，樓主說的完全正確。
  回復  更多評論
  

又做了一個實驗，內(nèi)容如下，應該更能說明問題：
情況一：編譯通過！
class A
{
const int m_i;
public:
A(): m_i(0){}
~A(){}
/*const*/ A GetI(int i) const {return *this;}
A operator =(A& a){return a;}
};

int main(int argc, char* argv[])
{
A a;
/*(const class A)*/a.GetI(1)=/*(const class A)*/a.GetI(2);
printf("Hello World!\n");
return 0;
}
  回復  更多評論
  

情況二：編譯報錯error C2678: binary '=' : no operator defined which takes a left-hand operand of type 'const class A' (or there is no acceptable conversion)

class A
{
const int m_i;
public:
A(): m_i(0){}
~A(){}
const A GetI(int i) const {return *this;}
A operator =(A& a){return a;}
};

int main(int argc, char* argv[])
{
A a;
/*(const class A)*/a.GetI(1)=/*(const class A)*/a.GetI(2);
printf("Hello World!\n");
return 0;
}
  回復  更多評論
  

情況三：編譯通過，強行通知C/C++編譯器這個語法檢查正確。
class A
{
const int m_i;
public:
A(): m_i(0){}
~A(){}
const A GetI(int i) const {return *this;}
A operator =(A& a){return a;}
};

int main(int argc, char* argv[])
{
A a;
(const class A)a.GetI(1)=(const class A)a.GetI(2);
printf("Hello World!\n");
return 0;
}
  回復  更多評論