类型签名

编辑
本词条由“匿名用户” 建档。
在计算机科学中,类型签名或类型注释定义了一个函数、子程序或方法的输入和输出。一个类型签名包括一个函数所包含的参数的数量、类型和顺序。类型签名通常在重载解析过程中使用,用于在许多重载形式中选择要调用的函数的正确定义。 C/C++在C和C++中,类型签名是由通常称为函数原型的东西来声明的。在C/C++中,函数声明反映了它的用途;例如,一个签名为(int)(char,double)的函数指针将被调用为。...

类型签名

编辑

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

类型签名的例子

编辑

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#中的方法签名由一个名称和其参数的数量和类型组成,其中最后一个参数可能是一个值数组。

内容由匿名用户提供,本内容不代表vibaike.com立场,内容投诉举报请联系vibaike.com客服。如若转载,请注明出处:https://vibaike.com/170874/

(3)
词条目录
  1. 类型签名
  2. 类型签名的例子
  3. 类型签名的例子

轻触这里

关闭目录

目录
全球百科疯狂618活动进行中→点击传送门