C++之const類成員變量，const成員函數

const修飾類的成員函數

const修飾變量一般有兩種方式：const T *a，或者 T const *a，這兩者都是一樣的，主要看const位於*的左邊還是右邊，這里不再贅述，主要來看一下當const修飾類的成員函數時，成員函數有什么特點。
https://www.cnblogs.com/cthon/p/9166715.html

類的成員函數后面加 const，表明這個函數不會對這個類對象的數據成員（准確地說是非靜態數據成員）作任何改變。

在設計類的時候，一個原則就是對於不改變數據成員的成員函數都要在后面加 const，而對於改變數據成員的成員函數不能加 const。所以 const 關鍵字對成員函數的行為作了更加明確的限定：

（1）有 const 修飾的成員函數（指 const 放在函數參數表的后面，而不是在函數前面或者參數表內），只能讀取數據成員，不能改變數據成員；沒有 const 修飾的成員函數，對數據成員則是可讀可寫的。
（2）除此之外，在類的成員函數后面加 const 還有什么好處呢？那就是常量（即 const）對象可以調用 const 成員函數，而不能調用非const修飾的函數。

#include <stdio.h>
#include <stdlib.h>
#include <iostream>
using namespace std;
class A
{
public:
    void f()
    {
        cout<<"non const"<<endl;
    } 
    void f() const
    {
        cout<<" const"<<endl;
    } 
};

int main(int argc, char **argv)
{
    A a;
    a.f();
    const A &b=a;
    b.f();
    const A *c=&a;
    c->f();
    A *const d=&a;
    d->f();
    A *const e=d;
    e->f();
    const A *f=c;
    f->f();
    return 0;
}

　　注意：兩個成員函數如果只是常量性不同，是可以被重載的。看下面解釋的第二點：

C++的const類型成員函數（解釋為什么非const成員函數不能訪問const類對象的數據成員）

1. 在C++中只有被聲明為const的成員函數才能被一個const類對象調用。

 在C++中，只有被聲明為const的成員函數才能被一個const類對象調用。

如果要聲明一個const類型的類成員函數，只需要在成員函數列表后加上關鍵字const， 例如：

class Screen {
    public:
        char get() const;
};

在類體之外定義const成員函數時，還必須加上const關鍵字，例如：

char Screen :: get() const {
    return _screen[_cursor];
} 

若將成員函數聲明為const，則不允許通過其修改類的數據成員。 值得注意的是，如果類中存在指針類型的數據成員即便是const函數只能保證不修改該指針的值，並不能保證不修改指針指向的對象。例如：

class Name {
public:
void setName(const string &s) const;
private:
    char *m_sName;
};
void setName(const string &s) const {
    m_sName = s.c_str();      // 錯誤！不能修改m_sName;
for (int i = 0; i < s.size(); ++i) 
    m_sName[i] = s[i];    // 不好的風格，但不是錯誤的
}

 

2. const成員函數可以被對應的具有相同形參列表的非const成員函數重載，例如：

class Screen {
public:
char get(int x,int y);
char get(int x,int y) const;
};
int main()
{
const Screen cs;
Screen cc2; 
char ch = cs.get(0, 0);  // 調用const成員函數  
ch = cs2.get(0, 0);     // 調用非const成員函數 

}

在這種情況下，類對象的常量性決定調用哪一個函數： 

• const成員函數可以訪問非const對象的非const數據成員，const數據成員，也可以訪問const對象內的所有數據成員；
• 非const成員函數只可以訪問非const對象的任意的數據成員（不能訪問const對象的任意數據成員）；（上述原因可詳見C++Primer（5th）231頁。 在默認情況下，this的類型是指向類類型非常量版本的常量指針，例如 Screen類中，this類型為 Screen *cosnt。當在成員函數的后面加上const關鍵字時，隱式的將this指針修改為 const Screen *const 即指向類類型常量版本的常量指針。根據初始化原則，我們不能將一個常量指針賦值給一個非常量指針）
• 作為一種良好的編程風格，在聲明一個成員函數時，若該成員函數並不對數據成員進行修改， 應盡可能將該成員函數聲明為const成員函數。

2. const修飾的是誰？

 const成員函數的寫法有兩種

　　1、void fun(int a，int b) const{}

　　2、void const fun(int a,int b){}

這兩種寫法的本質是：void fun (const 類 *this, int a,int b);

const修飾的不是形參a和b；const修飾的是屬性this->a和this->b。與const所寫的位置無關。

為什么？

因為c++對類的this指針做了隱藏，本質上，const指針修飾的是被隱藏的this指針所指向的內存空間，修飾的是this指針。

 

總結：

1）const成員函數可以訪問非const對象的非const數據成員、const數據成員，也可以訪問const對象內的所有數據成員；

2）非const成員函數可以訪問非const對象的非const數據成員、const數據成員，但不可以訪問const對象的任意數據成員；

3）作為一種良好的編程風格，在聲明一個成員函數時，若該成員函數並不對數據成員進行修改操作，應盡可能將該成員函數聲明為const 成員函數。

4）如果只有const成員函數，非const對象是可以調用const成員函數的。當const版本和非const版本的成員函數同時出現時，非const對象調用非const成員函數。

　　

補充：

> 類中的const成員變量都要放在初始化列表之中進行
　　> const數據成員
　　> 引用數據成員
　　> 對象數據成員（內置類）

 

　　const成員函數
　　> void print() const => const 類名 * const this
　　> 在其內部是不能修改數據成員
　　> 只能調用const成員函數，不能調用非const成員函數
　　> const對象只能調用const成員函數,必須要提供一個const版本的成員函數

 

const成員函數和成員變量這一塊的邏輯容易混亂！