类型签名

在计算机科学中，类型签名或类型注释定义了一个函数、子程序或方法的输入和输出。一个类型签名包括一个函数所包含的参数的数量、类型和顺序。类型签名通常在重载解析过程中使用，用于在许多重载形式中选择要调用的函数的正确定义。

C/C++在C和C++中，类型签名是由通常称为函数原型的东西来声明的。在C/C++中，函数声明反映了它的用途；例如，一个签名为(int)(char,double)的函数指针将被调用为。请注意，结果的类型可以被看作是超过xxx个提供的参数的一切。这是currying的结果，Haskell对一级函数的支持使之成为可能；这个函数需要两个输入，其中一个参数被提供，该函数被currying以产生一个用于未提供参数的函数。因此，调用fx，其中f::a->b->c，会产生一个新的函数f2::b->c，可以调用f2b来产生c。实际的类型规范可以由一个实际的类型组成，比如Integer，或者一个一般的类型变量，用于参数化的多态函数，比如a，或者b，或者anyType。

签名一个函数签名由函数原型组成。它规定了关于一个函数的一般信息，如名称、范围和参数。许多编程语言都使用名字的拼写，以便将更多的语义信息从编译器传递给链接器。除了拼写之外，在函数签名中还有过量的信息（存储在大多数编译器的内部），这些信息不容易得到，但可以被访问。理解函数签名的概念是所有计算机科学研究的一个重要概念。现代面向对象技术利用了接口，而接口本质上是由函数签名构成的模板。C++使用各种签名的函数重载。多重继承的实践需要考虑函数签名，以避免不可预测的结果。

计算机科学理论，特别是多态性的概念，大量使用了函数签名的概念。在C语言的编程中，签名大致相当于其原型定义。签名一词在计算机科学中可能带有其他含义。文件签名可以识别或验证文件的内容。数据库签名可以识别或验证数据库的模式或版本。在ML系列编程语言中，签名被用作一个关键词，指的是模块系统的一个结构，起到接口的作用。方法签名在计算机编程中，特别是面向对象编程，一个方法通常由其独特的方法签名来识别，通常包括方法名称，以及参数的数量、类型和顺序。方法签名是一个方法的最小的类型。

C/C++在C/C++中，方法签名是方法名和其参数的数量和类型，但也可以有一个由数组值组成的最后一个参数。C#与C语言的语法类似，C#中的方法签名由一个名称和其参数的数量和类型组成，其中最后一个参数可能是一个值数组。