類型簽名

在計算機科學中 ， 類型簽名  或類型註解  是對程序的函數 、 方法 、 子過程 、 以及變量等給出其類型 。 特別是對函數給出其輸入參數數量 、 類型與次序及輸出結果的類型 。 許多編譯器產生的內部使用的函數名包含了其類型特徵 ， 這稱爲名字修飾 ， 爲鏈接器辨別不同的函數提供了方便 。 類型特徵的現代應用 ： 面嚮對象語言使用的interface ， 實際上是利用了函數類型特徵的模板 。 C++ 支持的函數重載實際上用不同的類型特徵來辨識 。 多繼承要求考慮函數特徵 ， 以避免不可預計的結果 。