类型签名 在计算机科学中类型签名英語type signature或类型注解type annotation是对程序的函数方法子过程以及变量等给出其类型特别是对函数给出其输入参数数量类型与次序及输出结果的类型 许多编译器产生的内部使用的函数名包含了其类型特征这称为名字修饰為链接器辨别不同的函数提供了方便 类型特征的现代应用 面向对象语言使用的interface实际上是利用了函数类型特征的模板 C支持的函数重载实际上用不同的类型特征来辨识 多继承要求考虑函数特征以避免不可预计的结果