在電腦科學中,型別簽章(英語:type signature)或型別註解(type annotation)是對程式的函數、方法、子過程、以及變數等給出其型別。特別是對函數給出其輸入參數數量、型別與次序及輸出結果的型別。 許多編譯器產生的內部使用的函數名包含了其型別特徵,這稱為名字修飾,為連結器辨別不同的函數提供了方便。[1]
型別特徵的現代應用:
- 物件導向語言使用的interface,實際上是利用了函數型別特徵的模板。
- C++支援的函數多載實際上用不同的型別特徵來辨識。
- 多繼承要求考慮函數特徵,以避免不可預計的結果。