其實真正要說的是虛函數，不過其中要扯倒重載，所以順便也說了下重載
1. 重載
1.1 簡單重載
在C++中，是允許同名函數的存在
int add(int i,int j);
float add(float i,float);
而在c中，函數名是唯一的，所以為了區分int和float版本的add，你需要給它們起不同的名字，比如將int的命名為add_int,將float的命名為add_float，這樣做的壞處就是程序員要記住很多的函數名，雖然這些函數的功能是一樣的，而且也不直觀。
重載函數的存在，使得這種情況不在存在，它可以根據參數的類型，自動調用合適的重載函數，程序員只要記住要使用加法是調用add函數就可以，不同再像C中那樣猜測int版的add函數函數名是怎樣的，float版的函數名又是怎樣的。實際上，這兩個版本的add函數名在編譯后是不一樣的，編譯器自動為它們進行了修飾，比如int的修飾成add_int_int,float的修飾成add_float_float，不過這都只是編譯生成后的結果，對程序員來說，他只需知道add這個函數，但他要調用的時候，比如使用了int參數，編譯器根據參數推出該調用的版本，這里就是add_int，所有這一切程序員都是看不見的，也不需要關心，從而減輕了程序員的工作。
從上面的說法也可以看出，函數重載也不是能亂重載的，重載的要求是：
1. 函數的參數類型不一樣，像上面的int和float的
2. 函數的參數個數不一樣
這是因為編譯器在修飾生成的函數名時，一般用所有的參數類型來進行修飾，比如void add(int,float) 修飾成add_int_float,void add(int,int,int) 修飾成add_int_int_int，這樣符合上面2條要求的重載函數最后生成的函數名是不一樣的。
可能有人會認為，為什么不用返回值來區分，如果編譯器能推測出函數調用該返回什么值那自然沒什么問題，但很多時候，往往只是調用函數，使用函數的副作用，而不要求返回值，這個時候編譯器就推測不出了，比如
void f();
int f();
int main()
{
f();
}
這個時候編譯器怎么知道調用哪個函數
1.2 類中的重載函數
不僅僅是全局函數可以重載，類中的函數也可以重載
class Base
{
public:
int f() const{
cout<<"Base:f()"<<endl;
return 1;
}
int f(string) const{
return 1;
}
};
這看起來跟全局的沒什么區別，但是當涉及到繼承的時候，事情就變得麻煩起來
class Derived1: public Base
{
public:
//Redefinition
int f() const{
cout<<"Derived1:f()"<<endl;
return 1;
}
};
class Derived2: public Base
{
public:
//change Return type
void f()const
{
cout<<"Derived2:f()"<<endl;
}
}
class Derived3: public Base
{
public:
//change argument list
int f(int) const
{
cout<<"Dervide3:f()"<<endl;
return 1;
}
}
子類中定義了跟父類同名的函數，這個時候該如何辦？其實說起來也很簡單，只要子類定義了跟父類同名的函數，不管是重寫了函數內容（Dervied1),改變了返回類型（Derived2），還是改變了參數列表（Derived3），結果都一樣，子類中的同名函數將父類中的同名函數給隱藏了，只要子類中的函數是可見的，通過子類的對象調用父類的同名函數是不合法的，只能調用子類自身的同名函數。這就是所謂的名字隱藏。
2. 重寫與虛函數
2.1 基本知識
虛函數在多態中經常用到。你只要有一個基類的指針或引用，編譯器會為你調用該指針真正對應的函數
class Base
{
public；
virtual void f()
{
cout<<"Base:f()"<<endl;
}
};
class Derived:public Base
{
public:
//You can also ingore virtual here
virtual void f()
{
cout<<"Derived:f()"<<endl;
}
};
int main()
{
Base* p=new Derived();
p->f();
delete p;
}
程序輸出Derived::f(),這就是虛函數的作用。你可以不用關心基類指針到底指向那個子類，編譯器會為你調用正確的函數。
這是因為編譯器使用了晚捆綁的緣故。
當一個類中有一個虛函數時（可以是因為在類中聲明了一個虛函數，也可以是因為基類中有虛函數，通過繼承得到）。編譯器就為這個類創造一個虛表（VTABLE),它當中的虛函數位置是固定的，即使被繼承到子類中也一樣。當定義了一個這個類的對象時，編譯器會在這個對象中放入一個虛指針（VPTR）指向這個表。當調用虛函數時，編譯器在匯編代碼中插入
一段代碼，這個代碼首先找到虛表，然后在通過偏移調用正確的函數。
當一個帶有虛函數的基類被繼承時，這個VTABLE會被完整賦值，當然對應的函數地址會改成子類中的函數地址。如果子類另外聲明了虛函數，就會在原來的虛函數后面添加上新的條目。
重寫其實就是在子類中對父類的虛函數進行重定義，因為一般子類有自己的特性。
2.2 虛函數與重載
如果子類中只是改寫了父類中虛函數的內容，這就只是重寫（overriding），函數前面的virtual可以忽略掉
但如果子類中改變了父類中虛函數的參數類型或個數，那么父類中的同名函數就會被隱藏掉，這同普通的重載一樣，有一點不一樣的是，不可以通過改變返回類型來隱藏父類中的同名函數。
2.3 切片
當用子類對象來初始化父類時（如函數中的call by value），新生成的父類對象會正確初始化它自身的vtable，而不會使用子類的vtable。
注：
雖然通過基類指針調用虛函數，最后調用的是子類的函數，但是如果使用的確實基類的默認參數
class Base
{
public:
virtual void f(int i=0)
{
cout<<i<<endl;
}
};
class Derived: public Base
{
public:
virtual void f(int i=1)
{
cout<<i<<endl;
}
};
int main()
{
Base* p=new Derived();
p->f(); //輸出的是0
}
注2：
發生在private繼承時的問題,父類中的虛函數是private的，當它被private繼承時，子類是無法訪問到這個函數的，不過子類仍然可以override這個函數
class Base
{
public:
void nvi()
{
vfun();
}
private:
virtual void vfun()
{
cout<<"Base::vfun()"<<endl;
}
};
class Derived1:private Base
{
public:
void df()
{
nvi(); //調用base的nvi，由于這里沒有override vfun,所以輸出的是Base:vfun()
}
//事實上，這里不能直接調用base中的vfun，因為它是private繼承來的
};
class Derived2:private Base
{
public:
void df()
{
nvi();//調用了Dervied2的vfun
}
private:
void vfun()；//要想override,必須重新聲明
};
void Derived2::vfun()
{
cout<<"Derived2::vfun()"<<endl;
}