this指針

現在給出一段代碼，實現一個普通的日期 date 的打印：

class date
{
public:
	void print()
	{
		cout << year<<' ' << month <<' '<< day << endl;
	}
	void init(int y, int m, int d)
	{
		year = y;
		month = m;
		day = d;
	}
private:
	int year;
	int month;
	int day;
};
int main()
{
	date d1;
	date d2;
	date d3;
	d1.init(2022, 5, 15);
	d2.init(2022, 5, 14);
	d3.init(2022, 5, 13);
	d1.print();
	d2.print();
	d3.print();
	return 0;
}

結果如你所想：

那么問題來了，d1，d2，d3在調用類里面的 print 函數時，并沒有指明對象或者給出形參，最后結果卻能打印出不同的三個結果，這是為什么呢？、

這就是C++語法中的隱藏的 this 指針這里的 this 指針其實就是隱含的形參，這個形參會對函數進行處理，比如剛剛的 print 函數以及他的調用，他們的真面目其實是這樣：

void print(date* this)

{ cout<< this->year << ’ ’ << this->month << ’ ’ << this->day << endl; }

d1->init(&d1,2022,5,15);

也就是說所有成員變量前面都會有一個 this 指針修飾（實際上 this 指針是個 const 類型，指針不能修改但指向內容可以修改），使得形參和實參之間架起一座無形的橋梁，進行連結。值得注意的是，這個過程是編譯器在搗鼓實現的，不需要我們自己去搞，要是寫的時候強行帶上 this 指針反而還會報錯。

那數據是如何對應上的呢？換個問題就是 print 每次是怎么樣對應上 d1，d2，d3的，其實訪問成員變量年月日，并不是在訪問 private 里的年月日，private 里只是聲明并不存在空間的開辟，訪問但是同一個類里面的 init 函數從而訪問到成員變量。

this指針存放在哪

this 指針存在寄存器里面！

其實編譯器在生成程序時加入了獲取對象首地址的相關代碼。并把獲取的首地址存放在了寄存器ECX中(VC++編譯器是放在ECX中，其它編譯器有可能不同)。也就是成員函數的其它參數正常都是存放在棧中，而this指針參數則是存放在寄存器中。

類的靜態成員函數因為沒有this指針這個參數，所以類的靜態成員函數也就無法調用類的非靜態成員變量。

nullptr與類

如果我定義了一個空值指針，讓空值指針分別去訪問我類里面的函數與成員變量會怎么樣：

class Data
{
public:
	void print()
	{
		cout << "hello" << endl;
	}
	void printa()
	{
		cout << a << endl;
	}
private:
	int a;
};
int main()
{
	Data* n = nullptr;
	n->print();//訪問函數
	n->printa();//訪問成員變量
	return 0;
}

結果如圖：

沒錯，程序崩潰辣！但是很明顯，hello 打印出來了就說明函數的訪問是沒有問題的，但是是沒有辦法訪問成員變量的。

我們說類里面用空指針訪問函數，成員變量結果會不同，原因就是函數在公共代碼區，不需要解引用，直接找到函數地址變成 call 地址即可，而成員變量的訪問需要解引用自然空指針就會寄。

空指針 nullptr 其實并不是真的“空”，實際上是真實存在的，他指向虛擬進程空間里面地址為 0 的地方，這個 0 地址處是用來程序初始化的，是預留出來的，并不是用來存儲數據的。因此空指針一旦指向數據，這個數據就是不被認可的，沒有意義的。

類的默認成員函數

類里面什么都沒有，就稱它為空類，實際上空類中真的什么都沒有嗎？答案是 NO！任何一個類在默認情況下都會生成 6 個成員函數。

構造函數

構造函數是特殊的成員函數，需要注意的是，構造函數雖然名叫構造，但他的主要任務并不是開辟空間或者創建對象，而是將對象初始化。我們不寫，編譯器也會生成一個默認無參數的構造函數，但這個默認的構造函數不一定有用，而 C++11打的補丁，針對編輯器自己生成的默認成員函數不初始化的問題，給了缺省值來供默認構造函數使用。

需要注意的是：

1. 類名與函數名保持一致
2. 可以不用傳參，沒有返回值
3. 對象實例化時編輯器自動調用對應的構造函數
4. 構造函數支持函數重載
5. 如果類中沒有顯式定義構造函數，C++編譯器會自動生成一個無參的默認構造函數，如果我們自己顯式定義了就不會給出了
6. 無參的構造函數和全缺省的構造函數都被稱為默認構造函數，并且默認構造函數只能有一個

意義

C++將變量分為兩種：內置類型（int,char,指針類型等等）和自定義類型（struct/class 去定義的類型對象）

而這正好就是 C++ 語法設計的一個敗筆，他會導致

如果有內置類型的成員就得自己寫構造函數,比如：

class Stack
{
public:
     void push(int x){
     }
     void pop(){
     }
private:
     Stack stackpush;
     Stack stackpop;
}

該類里面只有自定義類型成員變量，就不需要去寫構造函數，默認的構造函數就可以完成了。總結一下就是如果類里面只有自義定類型，就可以用默認構造函數，如果存在內置類型或者需要顯示傳參初始化就需要自己寫構造函數。

析構函數

如果構造函數高速了我們對象是怎么來的，那么析構函數就是在告訴我們對象是怎么走的。析構函數與構造函數功能相反，他并不是完成了對象的銷毀，因為局部對象銷毀是由編譯器來完成，而析構函數是完成對象的一些資源清理工作，他是在對象銷毀時自動調用。

再三強調不是銷毀對象本身！不是銷毀對象本身！所謂的資源清理針對的對象是 malloc，new 或者 fopen 這類的操作進行清理收尾，其實本質上就相當于我們之前的 destroy 函數。

其特征如下：

1. 析構函數名是在類名前面加上字符 -
2. 無參數也無返回值
3. 一個類有且僅有一個析構函數，如果沒有顯式定義，系統會自動生成析構函數
4. 對象聲明周期結束時，C++編譯系統自動調用析構函數

但是注意一個順序問題：

int main()
{
Stack st1;
Stack st2;
return 0;
}

st1 相比 st2 先構造這沒什么問題，但 st2 卻比 st1 先析構，析構和構造的順序是相反的。但他和構造函數一樣，對內置類型不處理但是對于自定義類型會去調用。

拷貝構造

有沒有可能你會想搞一個和自己一樣的對象出來呢？如果想那就該我拷貝構造登場辣！

int main()
{
     Date d1(2022,5,16);
     Date d2(d1);
     return 0;
}

這里的 d2 就是拿 d1 來初始化，所以拷貝構造只有單個形參，該形參是對類類型對象的引用，一般由 const 修飾，再用已存在的類類型對象創建新對象時由編譯器自動調用。他實際上是構造函數的一種函數重載，他的參數只要一個，而且必須使用引用傳參，因為使用傳值會引發無窮遞歸調用。

在什么情況下系統會調用拷貝構造函數：

（1）用類的一個對象去初始化另一個對象時

（2）當函數的形參是類的對象時（也就是值傳遞時），如果是引用傳遞則不會調用

（3）當函數的返回值是類的對象或引用時

C++規定了自義定類型對象，拷貝初始化要調用拷貝構造完成。這就引出來一個問題，比如我們拷貝棧，定義了兩個對象 st1 和 st2，假如我寫成下面的樣子就會出亂子：

Stack st1(1);
Stack st2(st1);

因為是拷貝構造， st2 指向地址和 st1 是一樣的，這并不是我們想要的結果，我們傳統拷貝是指向同一塊空間，而且這里拷貝構造會崩，原因很簡單，這里原理上進行的是淺拷貝，默認構造函數會對類里面內置類型進行淺拷貝，值拷貝，對于自義定類型，編譯器不知道自義定類型的行為，如何拷貝，什么規則，像 stack 這種類型就需要深拷貝實現，我們后面再去學習。

淺拷貝是按位拷貝對象，它會創建一個新對象，這個對象有著原始對象屬性值的一份精確拷貝。如果屬性是基本類型，拷貝的就是基本類型的值；如果屬性是內存地址（引用類型），拷貝的就是內存地址 ，因此如果其中一個對象改變了這個地址，就會影響到另一個對象。

st1 構建完成變成 st2 參數去初始化 st2，st2 一旦拷貝完成就要進行析構，而析構會先執行 st2 ，st2 一旦被清理這塊空間就會被銷毀，而此時 st1 還在使用這塊空間，就會導致內存錯誤。

運算符重載

說到運算符重載，這里面有幾分門道嗷。他是個啥呢？

您可以重定義或重載大部分 C++ 內置的運算符，這樣就能使用自定義類型的運算符。重載的運算符是帶有特殊名稱的函數，函數名是由關鍵字 operator 和其后要重載的運算符符號構成的。與其他函數一樣，重載運算符有一個返回類型和一個參數列表。

說的比較玄學，其實你設想一下這個場景，假如我們給出的日期類有兩個成員 d1，d2，我們如果去比較他們能用運算符 ==，<,> 來比較嗎，或者我給日期 +、- 一個數可以嗎，很明顯不行，因為內置類型可以直接使用運算符，但是自義定類型不可以，因此就引入了我們的運算符重載。

運算符重載——函數，函數名：operator +運算符，參數是運算符的操作數，如下：

operator==(Date d1,Date d2)
{
      return d1.year == d2.year
      && d1.month == d2.month
      && d1.day == d2.day
}

細心的你可能會問，內置類型我定義在私有域里面該怎么訪問呢？這就有三種方法：

1. 從根源解決，改成公有類型public（尬活了屬于是）
2. 再寫一個公有域的函數來調用私有域的內置類型成員；
3. C++ 友元（后續會學習到）

先別覺得ez，因為這里他會報錯

==是要求的兩個參數，我這里也是兩個參數沒錯啊，為什么會參數太多啊？別忘了，操作符還有 默認的形參 this，他被限定為第一個形參，因此我們只需要寫一個參數即可：

operator==(Date d)
{
      return year == d.year
      && month == d.month
      && day == d.day
}

編譯器遇到 if(d1 == d2) 這樣的語句，就會去處理成對應的重載運算符調用 if(d1.operator(d2)),這里編譯器時很聰明的，你寫的全局他會去調用全局，你寫的成員他會去調用成員。而且遇到運算符重載他會在優先去類里面找，沒有才回去類外面找，也就是說類的里外同時存在運算符重載函數是可以編譯過去的。

注意一下

：：

sizeof

？：

.

.*

這五個操作符是不能進行重載的，在選擇題中會經常出現。