多個同名的函數實現之前，必須保證至少有一個函數參數的類型有區別。返回值、參數名稱不能作爲區分標識
1、用於替換冗長複雜、變量使用範圍專一的變量聲明
比如定義vector的迭代器
2、定義模板函數時，用於聲明依賴模板參數的變量類型
3、結合auto和decltype，自動追蹤返回類型
