重載函數(shù)有如下約束
@ 該組重載函數(shù)中任何兩個都必須有不同的參量表。
@ 具有相同類型參量表、僅在返回值類型上不同的重載函數(shù)會引起錯誤。
@ 成員函數(shù)的重載不能僅基于一個說明為靜態(tài)的,另一個說明為非靜態(tài)的。
@ typedef說明并未定義新的類型,它們僅為已存在的類型引入了一個同義詞。它們不能影響重載機制。
@ 枚舉類型是一些可區(qū)分的類型,故可以區(qū)分重載函數(shù)。
@ 從區(qū)分重載函數(shù)的意義上說,類型“數(shù)組”和“指針”是相同的。對于一維數(shù)組來說是正確的。
運算符重載有如下的約束
@ 運算符要遵守它們同內(nèi)部類型一起使用所指定的優(yōu)先原則、分組及操作數(shù)的個數(shù)。
@ 單目運算符說明為成員函數(shù)不帶參量;如果說明為全局函數(shù),要帶一個參量。雙目運算符說明為成員函數(shù)只帶一個參量;如果說明為全局函數(shù),要帶兩個參量。
@ 所有的重載運算符除了賦值(operator=)外均可被派生類繼承。
@ 重載運算符的成員函數(shù)的第一個參量總是激活該運算符的對象的類類型參量(運算符被定義的類,或者定義了運算符的類的派生類)。對于第一個參量也不支持轉(zhuǎn)換。
具體內(nèi)容：
單目運算符函數(shù)
ret-type operator op()?? ??? ??? ?//成員,使用類型的內(nèi)部成員
ret-type operator op(arg)?? ??? ?//全局，參數(shù)為對其操作的類型的變量
雙目運算符函數(shù)
ret-type oprator op(arg)?? ??? ?//arg可以為任意類型的變量
ret-type operator op(arg1, arg2)
?? ??? ?//全局，arg1和arg2是參量。至少其中之一必須是操作類類型。
注意:對于雙目運算符的返回類型沒有限制;然而大多數(shù)用戶自定義型雙目運算符返回類類型或類類型的引用。
參考：
C++運算符重載轉(zhuǎn)換運算符
C++運算符重載賦值運算符
構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)是每個類最基本的函數(shù)。每個類只有一個析構(gòu)函數(shù)，但可以有多個構(gòu)造函數(shù)（包含一個拷貝構(gòu)造函數(shù)，其它的稱為普通構(gòu)造函數(shù)）和
多個賦值函數(shù)（除了同類的賦值以外，還有其他的賦值方法）。對于任意一個類A，如果不想編寫上述函數(shù)，C++編譯器將自動為A產(chǎn)生四個缺省的函數(shù)，如
A(void);???????????????????
// 缺省的無參數(shù)構(gòu)造函數(shù)
A(const A &a);????????????? // 缺省的拷貝構(gòu)造函數(shù)
~A(void);?????????????????? // 缺省的析構(gòu)函數(shù)
A & operate =(const A &a);? // 缺省的賦值函數(shù)
有幾個需要注意的內(nèi)容：
@ 構(gòu)造函數(shù)與析構(gòu)函數(shù)的另一個特別之處是沒有返回值類型
@ 構(gòu)造從類層次的最頂層的基類開始，在每一層中，首先調(diào)用基類的構(gòu)造函數(shù)，然后調(diào)用成員對象的構(gòu)造函數(shù)。析構(gòu)則嚴(yán)格按照與構(gòu)造相反的次序執(zhí)行，在析構(gòu)的時候，最低層的派生類的析構(gòu)函數(shù)最開始被調(diào)用，然后調(diào)用每個基類的析構(gòu)函數(shù)。
@ “缺省的拷貝構(gòu)造函數(shù)”和“缺省的賦值函數(shù)”均采用“位拷貝”而非“值拷貝”的方式來實現(xiàn)，倘若類中含有指針變量，這兩個函數(shù)注定將出錯
下面通過例子進一步說明，
1.構(gòu)造函數(shù)的初始化表
設(shè)存在兩個類：
class?A
{
????…
????A(void);????????????????//?無參數(shù)構(gòu)造函數(shù)
????A(const?A?&other);??????//?拷貝構(gòu)造函數(shù)
????A?&?operate?=(?const?A?&other);??//?賦值函數(shù)
????virtual?~A(void);????????//析構(gòu)函數(shù)
}；
class?B
{
public:
????B(const?A?&a);????//?B的構(gòu)造函數(shù)
private:???
????A??m_a;????????????//?成員對象
};
下面面是B的構(gòu)造函數(shù)的2個實現(xiàn)，其中第一個的類B的構(gòu)造函數(shù)在其初始化表里調(diào)用了類A的拷貝構(gòu)造函數(shù)，從而將成員對象m_a初始化；而第二個的B的構(gòu)造
函數(shù)在函數(shù)體內(nèi)用賦值的方式將成員對象m_a初始化。我們看到的只是一條賦值語句，但實際上B的構(gòu)造函數(shù)干了兩件事：先暗地里創(chuàng)建m_a對象（調(diào)用了A的
無參數(shù)構(gòu)造函數(shù)），再調(diào)用類A的賦值函數(shù)，將參數(shù)a賦給m_a。
B::B(const?A?&a)
?:?m_a(a)
{
???…
}
B::B(const?A?&a)
{
????m_a?=?a;
????…
}
2.拷貝函數(shù)和構(gòu)造函數(shù)的區(qū)別
拷貝構(gòu)造函數(shù)是在對象被創(chuàng)建時調(diào)用的，而賦值函數(shù)只能被已經(jīng)存在了的對象調(diào)用。
String? a(“hello”);
String? b(“world”);
String? c = a;? // 調(diào)用了拷貝構(gòu)造函數(shù)，最好寫成 c(a);
c = b; ?? ??? ??? ?// 調(diào)用了賦值函數(shù)
本例中第三個語句的風(fēng)格較差，宜改寫成String c(a) 以區(qū)別于第四個語句。
如果我們實在不想編寫拷貝構(gòu)造函數(shù)和賦值函數(shù)，又不允許別人使用編譯器生成的缺省函數(shù)，可以將拷貝構(gòu)造函數(shù)和賦值函數(shù)聲明為私有函數(shù)，不用編寫代碼。
3.析構(gòu)函數(shù)與虛析構(gòu)函數(shù)
基類的構(gòu)造函數(shù)、析構(gòu)函數(shù)、賦值函數(shù)都不能被派生類繼承。如果類之間存在繼承關(guān)系，在編寫上述基本函數(shù)時應(yīng)注意以下事項：
@ 派生類的構(gòu)造函數(shù)應(yīng)在其初始化表里調(diào)用基類的構(gòu)造函數(shù)
@ 基類與派生類的析構(gòu)函數(shù)應(yīng)該為虛（即加virtual關(guān)鍵字）
#include?<iostream>
class?Base
{
public:
????virtual?~Base()?{?cout<<?"~Base"?<<?endl?;?}
};
class?Derived?:?public?Base
{
public:
????virtual?~Derived()?{?cout<<?"~Derived"?<<?endl?;?}
};
void?main(void)
{
????Base?*?pB?=?new?Derived;??//?upcast
???delete?pB;
}
輸出結(jié)果為：
?????? ~Derived
?????? ~Base
如果析構(gòu)函數(shù)不為虛，那么輸出結(jié)果為
?????? ~Base
進一步參考：
C++/CLI思辨錄之拷貝構(gòu)造函數(shù)C++類對象的復(fù)制－拷貝構(gòu)造函數(shù)類的構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)
析構(gòu)函數(shù)的工作方式是：最底層的派生類（most derived
class）的析構(gòu)函數(shù)最先被調(diào)用，然后調(diào)用每一個基類的析構(gòu)函數(shù)。
因為在C++中，當(dāng)一個派生類對象通過使用一個基類指針刪除，而這個基類有一個非虛的析構(gòu)函數(shù)，則結(jié)果是未定義的。運行時比較有代表性的后果是對象的派生部分不會被
銷毀。然而，基類部分很可能已被銷毀，這就導(dǎo)致了一個古怪的“部分析構(gòu)”對象，這是一個泄漏資源。
排除這個問題非常簡單：給基類一個虛析構(gòu)函數(shù)。于是，刪除一個派生類對象的時候就有了你所期望的正確行為。將銷毀整個對象，包括全部的派生類部分。
但是，一般如果不做基類的類的析構(gòu)函數(shù)一般不聲明為虛函數(shù)，因為虛函數(shù)的實現(xiàn)要求對象攜帶額外的信息，這些信息用于在運行時確定該對象應(yīng)該調(diào)用哪一個虛函
數(shù)。典型情況下，這一信息具有一種被稱為 vptr（virtual table pointer，虛函數(shù)表指針）的指針的形式。vptr
指向一個被稱為 vtbl（virtual table，虛函數(shù)表）的函數(shù)指針數(shù)組，每一個包含虛函數(shù)的類都關(guān)聯(lián)到
vtbl。當(dāng)一個對象調(diào)用了虛函數(shù)，實際的被調(diào)用函數(shù)通過下面的步驟確定：找到對象的 vptr 指向的 vtbl，然后在 vtbl
中尋找合適的函數(shù)指針。這樣子會使類所占用的內(nèi)存增加。
“指針函數(shù)”指返回類型是指針的函數(shù)，如
返回類型標(biāo)識符 *返回名稱（形式參數(shù)表）
{ 函數(shù)體 }
“函數(shù)指針”是指向函數(shù)的指針變量，“函數(shù)指針”本身首先應(yīng)是指針變量，只不過該指針變量指向函數(shù)。這正如用指針變量可指向整型變量、字符
型、數(shù)組一樣，這里是指向函數(shù)，C在編譯時，每一個函數(shù)都有一個入口地址，該入口地址就是函數(shù)指針?biāo)赶虻牡刂贰Ｓ辛酥赶蚝瘮?shù)的指針變量后，可
用該指針變量調(diào)用函數(shù)，就如同用指針變量可引用其他類型變量一樣，在這些概念上一致的。
1.定義函數(shù)指針類型：
typedef int (*fun_ptr_t)(int,int);
2.申明變量，賦值:
fun_ptr_t pfunc=fun_definition_name;
3.調(diào)用函數(shù)
(*pfunc)(int,int);
參考例子：
C/C++中函數(shù)指針的含義