Type signature (original) (raw)
En programmation informatique, la signature de type définit les types de données acceptables pour une fonction ou une méthode.Une signature inclut au moins le nom de la fonction et le nombre de paramètres. Dans certains langages, elle peut aussi spécifier le type de la valeur de retour et les types de ses paramètres.
| Property | Value |
|---|---|
| dbo:abstract | Eine Signatur (oder Methodensignatur) definiert in der Programmierung die formale Schnittstelle einer Funktion oder Prozedur. Sie besteht aus dem Namen der Funktion sowie der Anzahl, Art und Reihenfolge der zuweisungskompatiblen Parameterdatentypen, wobei zwischen Eingangs-, Ausgangs- und Durchgangsparametern unterschieden werden kann. Der Typ des Rückgabewerts gehört bei streng strukturierten Programmiersprachen ebenfalls zur Signatur, genauso wie die Modifikatoren, die die Regeln für die Sichtbarkeit und die Überschreibbarkeit einer Methode festlegen. Unter Signaturvererbung versteht man in der objektorientierten Programmierung die Übertragung einer in der Oberklasse definierten (und eventuell implementierten) Methode auf die Unterklasse. Statische Methoden mit sich unterscheidender Signatur können nicht überschrieben werden, sondern können bei weniger streng strukturierten Programmiersprachen gegebenenfalls überladen werden. Auch die Menge der Operatoren eines abstrakten Datentyps wird Signatur genannt. (de) La signatura o firma de un método o una función define su entrada y su salida. Incluye por lo menos el nombre de la función o método y el número de sus parámetros. En algunos lenguajes de programación, puede incluir el tipo que devuelve la función o el tipo de sus parámetros. En el caso de un tipo de dato abstracto (TDA), se define signatura como los tipos que utiliza junto con los nombres y perfiles de las operaciones. Por ejemplo, para especificar el TDA de los booleanos se utiliza la siguiente signatura: 1. * tipos bool 2. * operaciones 3. * verdadero : bool 4. * falso : bool 5. * And : bool x bool -> bool 6. * Or : bool x bool -> bool 7. * Not : bool -> bool * Datos: Q1319434 (es) En programmation informatique, la signature de type définit les types de données acceptables pour une fonction ou une méthode.Une signature inclut au moins le nom de la fonction et le nombre de paramètres. Dans certains langages, elle peut aussi spécifier le type de la valeur de retour et les types de ses paramètres. (fr) In computer science, a type signature or type annotation defines the inputs and outputs for a function, subroutine or method. A type signature includes the number, types, and order of the arguments contained by a function. A type signature is typically used during overload resolution for choosing the correct definition of a function to be called among many overloaded forms. (en) In informatica, nella programmazione orientata agli oggetti, la firma o segnatura di un metodo è costituita da un insieme di informazioni che identificano univocamente il metodo stesso fra quelli della sua classe di appartenenza. Tali informazioni includono generalmente il nome del metodo, il numero e il tipo dei suoi parametri, non il tipo del suo valore restituito (tipo di ritorno), sebbene nella terminologia tecnica dei diversi linguaggi l'espressione firma assuma talvolta un significato più specifico, includendo informazioni aggiuntive o non includendo alcune di quelle citate (per esempio il tipo del valore restituito), in Java, la firma non include il tipo del valore di ritorno, con l'espressione prototipo si indica la firma unita al tipo di ritorno del metodo. La firma costituisce anche l'insieme minimo di informazioni necessarie per utilizzare correttamente il metodo, ovvero per richiamarlo o invocarlo in modo sintatticamente e semanticamente coerente con la sua definizione. Un concetto analogo alla firma è rappresentato dal nella terminologia dei linguaggi C e C++, che descrive il nome, il tipo dei parametri e il tipo del valore tornato da una funzione. Da questa tradizione deriva anche l'interpretazione della firma di un metodo, in alcuni linguaggi, come tipo del metodo. (it) Em ciência da computação, uma assinatura de tipo ou anotação de tipo define as entradas e saídas para uma função, sub-rotina ou método. Uma assinatura de tipo inclui o número de argumentos, os tipos de argumentos e a ordem dos argumentos contidos por uma função. Uma assinatura de tipo é normalmente usada durante a resolução de sobrecarga para escolher a definição correta de uma função a ser chamada entre muitas formas sobrecarregadas. (pt) 在计算机科学中，类型签名（英語：type signature）或类型注解（type annotation）是对程序的函数、方法、子过程、以及变量等给出其类型。特别是对函数给出其输入参数数量、类型与次序及输出结果的类型。 许多编译器产生的内部使用的函数名包含了其类型特征，这称为名字修饰，為链接器辨别不同的函数提供了方便。 类型特征的现代应用： * 面向对象语言使用的interface，实际上是利用了函数类型特征的模板。 * C++支持的函数重载实际上用不同的类型特征来辨识。 * 多继承要求考虑函数特征，以避免不可预计的结果。 (zh) |
| dbo:wikiPageID | 279693 (xsd:integer) |
| dbo:wikiPageLength | 10654 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124881081 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Method_(computer_programming) dbr:Julia_(programming_language) dbr:Currying dbr:Declaration_(computer_programming) dbr:Rust_(programming_language) dbr:Object-oriented_programming dbr:Function_overloading dbr:Name_mangling dbr:ML_(programming_language) dbr:Subroutine dbr:Computer_programming dbr:Computer_science dbr:Function_prototype dbr:Datatype dbr:Function_pointer dbr:Parameter_(computer_programming) dbr:C++ dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbc:Subroutines dbr:Erlang_(programming_language) dbr:Haskell_(programming_language) dbr:Higher-order_function dbr:Java_(programming_language) dbc:Type_theory dbr:Java_bytecode dbr:Java_virtual_machine dbr:File_signature dbr:Objective-C dbr:Multiple_inheritance dbr:Programming_language dbr:First-class_function dbr:Multiple_dispatch dbr:Type_variable dbr:Java_interface dbr:Function_(programming) dbr:Polymorphism_in_object-oriented_programming dbr:Declaration_reflects_use dbr:Interface_(computer_science) dbr:Type_polymorphism |
| dbp:wikiPageUsesTemplate | dbt:C-lang dbt:ObjC dbt:Annotated_link dbt:Code dbt:More_citations_needed dbt:Multiple_issues dbt:Reflist dbt:See_also dbt:Short_description dbt:Tone dbt:Cite_check dbt:Java dbt:Haskell |
| dct:subject | dbc:Subroutines dbc:Type_theory |
| rdf:type | owl:Thing yago:WikicatSubroutines yago:Abstraction100002137 yago:Code106355894 yago:CodingSystem106353757 yago:Communication100033020 yago:GrammaticalRelation113796779 yago:Inflection113803782 yago:LinguisticRelation113797142 yago:Paradigm113804375 yago:Relation100031921 yago:Writing106359877 yago:WrittenCommunication106349220 yago:Routine106582403 yago:Software106566077 yago:WikicatProgrammingParadigms |
| rdfs:comment | En programmation informatique, la signature de type définit les types de données acceptables pour une fonction ou une méthode.Une signature inclut au moins le nom de la fonction et le nombre de paramètres. Dans certains langages, elle peut aussi spécifier le type de la valeur de retour et les types de ses paramètres. (fr) In computer science, a type signature or type annotation defines the inputs and outputs for a function, subroutine or method. A type signature includes the number, types, and order of the arguments contained by a function. A type signature is typically used during overload resolution for choosing the correct definition of a function to be called among many overloaded forms. (en) Em ciência da computação, uma assinatura de tipo ou anotação de tipo define as entradas e saídas para uma função, sub-rotina ou método. Uma assinatura de tipo inclui o número de argumentos, os tipos de argumentos e a ordem dos argumentos contidos por uma função. Uma assinatura de tipo é normalmente usada durante a resolução de sobrecarga para escolher a definição correta de uma função a ser chamada entre muitas formas sobrecarregadas. (pt) 在计算机科学中，类型签名（英語：type signature）或类型注解（type annotation）是对程序的函数、方法、子过程、以及变量等给出其类型。特别是对函数给出其输入参数数量、类型与次序及输出结果的类型。 许多编译器产生的内部使用的函数名包含了其类型特征，这称为名字修饰，為链接器辨别不同的函数提供了方便。 类型特征的现代应用： * 面向对象语言使用的interface，实际上是利用了函数类型特征的模板。 * C++支持的函数重载实际上用不同的类型特征来辨识。 * 多继承要求考虑函数特征，以避免不可预计的结果。 (zh) Eine Signatur (oder Methodensignatur) definiert in der Programmierung die formale Schnittstelle einer Funktion oder Prozedur. Sie besteht aus dem Namen der Funktion sowie der Anzahl, Art und Reihenfolge der zuweisungskompatiblen Parameterdatentypen, wobei zwischen Eingangs-, Ausgangs- und Durchgangsparametern unterschieden werden kann. Der Typ des Rückgabewerts gehört bei streng strukturierten Programmiersprachen ebenfalls zur Signatur, genauso wie die Modifikatoren, die die Regeln für die Sichtbarkeit und die Überschreibbarkeit einer Methode festlegen. (de) La signatura o firma de un método o una función define su entrada y su salida. Incluye por lo menos el nombre de la función o método y el número de sus parámetros. En algunos lenguajes de programación, puede incluir el tipo que devuelve la función o el tipo de sus parámetros. En el caso de un tipo de dato abstracto (TDA), se define signatura como los tipos que utiliza junto con los nombres y perfiles de las operaciones. Por ejemplo, para especificar el TDA de los booleanos se utiliza la siguiente signatura: (es) In informatica, nella programmazione orientata agli oggetti, la firma o segnatura di un metodo è costituita da un insieme di informazioni che identificano univocamente il metodo stesso fra quelli della sua classe di appartenenza. Tali informazioni includono generalmente il nome del metodo, il numero e il tipo dei suoi parametri, non il tipo del suo valore restituito (tipo di ritorno), sebbene nella terminologia tecnica dei diversi linguaggi l'espressione firma assuma talvolta un significato più specifico, includendo informazioni aggiuntive o non includendo alcune di quelle citate (per esempio il tipo del valore restituito), in Java, la firma non include il tipo del valore di ritorno, con l'espressione prototipo si indica la firma unita al tipo di ritorno del metodo. (it) |
| rdfs:label | Signatur (Programmierung) (de) Signatura (informática) (es) Signature de type (fr) Firma (programmazione) (it) Assinatura de tipo (pt) Type signature (en) 类型签名 (zh) |
| rdfs:seeAlso | dbr:Function_prototype |
| owl:sameAs | freebase:Type signature yago-res:Type signature wikidata:Type signature dbpedia-de:Type signature dbpedia-es:Type signature dbpedia-fa:Type signature dbpedia-fr:Type signature dbpedia-it:Type signature dbpedia-pt:Type signature dbpedia-vi:Type signature dbpedia-zh:Type signature https://global.dbpedia.org/id/LbBq |
| prov:wasDerivedFrom | wikipedia-en:Type_signature?oldid=1124881081&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Type_signature |
| is dbo:wikiPageDisambiguates of | dbr:Signature_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Signature_(Computer_Science) dbr:Signature_(computer_science) dbr:Method_signature dbr:Function_signature dbr:Signature_(programming) dbr:Type_annotation |
| is dbo:wikiPageWikiLink of | dbr:List_of_functional_programming_topics dbr:Method_overriding dbr:Declaration_(computer_programming) dbr:Defunctionalization dbr:Null_function dbr:Signature_(Computer_Science) dbr:Class_(computer_programming) dbr:Glossary_of_computer_science dbr:Const_(computer_programming) dbr:Signature_(computer_science) dbr:Composite_data_type dbr:Function_prototype dbr:Function_type dbr:C++11 dbr:C_Sharp_(programming_language) dbr:TypeScript dbr:Type_system dbr:Liskov_substitution_principle dbr:Da_Vinci_Machine dbr:ECMAScript dbr:Exception_handling dbr:Fortran dbr:Flow-sensitive_typing dbr:Forward_declaration dbr:Web_Services_Description_Language dbr:Type_erasure dbr:Haddock_(software) dbr:Haskell dbr:Trait_(computer_programming) dbr:Idris_(programming_language) dbr:Method_signature dbr:OCaml dbr:Signature_(disambiguation) dbr:Variable_(computer_science) dbr:Virtual_function dbr:Type_inference dbr:Polymorphic_recursion dbr:XPath_3 dbr:Function_signature dbr:Signature_(programming) dbr:Type_annotation |
| is foaf:primaryTopic of | wikipedia-en:Type_signature |