型シグネチャ

コンピュータサイエンスでは、型シグネチャまたは型注釈は、関数、サブルーチン、またはメソッドの入力と出力を定義します。^{[要出典]型シグネチャには、関数の}引数の数、型、および順序が含まれます。型シグネチャの重要な用途の 1 つは、関数のオーバーロード解決です。オーバーロード解決では、呼び出される関数の特定の定義が、多数のオーバーロードされた形式の中から選択されます。

CおよびC++では、型シグネチャは一般に関数プロトタイプと呼ばれるものによって宣言されます。C/C++ では、関数宣言はその用途を反映します。たとえば、シグネチャを持つ関数ポインターは次のように呼び出されます。 (int)(char, double)

char c ; double d ; int retVal = ( * fPtr )( c , d ); 
 
    

Erlangでは、型シグネチャは次のようにオプションで宣言することができます: ^[1]

- function_name ( type1 (), type2 (), ...) -> out_type ()を指定します。     

例えば：

- is_even ( number ()) -> boolean ()を指定します。   

Haskellの型シグネチャは通常、次の形式になります。

関数名:: arg1Type -> arg2Type -> ... -> argNType        

結果の型は、最初に与えられた引数の後のすべてと見なすことができることに注意してください。これは、 Haskell の第一級関数のサポートによって可能になった のカリー化の結果です。この関数には 2 つの入力が必要です。1 つの引数が指定され、関数は「カリー化」されて、指定されていない引数の関数が生成されます。したがって、 の場合、 を呼び出すと、を生成するために呼び出すことができる新しい関数が生成されます。 f xf :: a -> b -> cf2 :: b -> cf2 bc

実際の型仕様は、 などの実際の型、または 、、 などのパラメトリック多態関数で使用されるInteger一般的な型変数で構成できます。したがって、次のように記述できます。 abanyTypefunctionName :: a -> a -> ... -> a

Haskell は高階関数をサポートしているので、関数を引数として渡すことができます。これは次のように記述されます。 functionName :: (a -> a) -> a

この関数は、型シグネチャを持つ関数を受け取り、型out のデータを返します。 a -> aa

Java 仮想マシンでは、内部型シグネチャを使用して、仮想マシン コードのレベルでメソッドとクラスを識別します。

例: メソッドはバイトコードではとして表されます。 String String.substring(int, int)Ljava/lang/String.substring(II)Ljava/lang/String;

メソッドのシグネチャはmain次のようになります: ^[2]

パブリック静的void main ( String [] args );    

逆アセンブルされたバイトコードでは、次の形式になります。Lsome/package/Main/main:([Ljava/lang/String;)V

メソッドのメソッド シグネチャには、main()次の 3 つの修飾子が含まれています。

• publicメソッドが任意のオブジェクトから呼び出せることを示します。main()
• staticメソッドがクラスメソッドであることを示します。main()
• voidメソッドに戻り値がないことを示します。main()

関数シグネチャは関数プロトタイプから構成されます。関数の名前、スコープ、パラメータなどの一般的な情報を指定します。多くのプログラミング言語では、コンパイラからリンカーに意味情報を渡すために名前マングリングを使用します。マングリングに加えて、関数シグネチャ（ほとんどのコンパイラに内部的に保存されている）にはすぐには利用できないが、アクセスすることはできる余分な情報があります。^[3]

関数シグネチャの概念を理解することは、すべてのコンピュータ サイエンスの研究にとって重要な概念です。

• 現代のオブジェクト指向技術では、基本的に関数シグネチャから作成されたテンプレートであるインターフェースを利用します。
• C++ はさまざまなシグネチャを持つ関数オーバーロードを使用します。

多重継承を実践するには、予期しない結果を避けるために関数シグネチャを考慮する必要があります。コンピュータ サイエンスの理論、特にポリモーフィズムの概念では、関数シグネチャの概念が頻繁に使用されます。

C プログラミング言語では、シグネチャはプロトタイプ定義とほぼ同等です。

MLファミリーのプログラミング言語では、「シグネチャ」は、インターフェースの役割を果たすモジュール システムの構造を参照するキーワードとして使用されます。

コンピュータプログラミング、特にオブジェクト指向プログラミングでは、メソッドは一般にメソッドシグネチャによって識別されます。メソッドシグネチャには通常、メソッド名とパラメータの数、型、順序が含まれます。^[4]メソッドシグネチャはメソッドの 最小の型です。

C/C++ では、メソッド シグネチャはメソッド名とそのパラメータの数と型ですが、最後のパラメータを値の配列で構成することも可能です。

int printf ( const char * , ... );    

これらのパラメータの操作は、標準ライブラリ ヘッダー内のルーチンを使用して行うことができます。 <stdarg.h>

C++ では、戻り値の型をパラメータ リストの後に続けることもできます。これは、後続の戻り値の型と呼ばれます。違いは構文上のものだけです。どちらの場合でも、結果のシグネチャは同じです。

自動printf ( const char * ... ) -> int ;     

Cの構文と同様に、C#のメソッドシグネチャは名前とパラメータの数と型で構成され、最後のパラメータは値の配列になる場合があります。^[5]

void Add ( out int sum , params int [] value ); [...] Add ( out sum , 3 , 5 , 7 , 11 , - 1 ); // sum == 25      

        

Javaでは、メソッド シグネチャは、名前とパラメータの数、型、順序で構成されます。戻り値の型やスローされた例外は、メソッド シグネチャの一部とは見なされず、パラメータ名も同様です。これらは、メソッドの一意性をチェックするコンパイラによって無視されます。

メソッドシグネチャは、クラス内のオーバーロードされたメソッド（同じ名前のメソッド）を区別するのに役立ちます。戻り値の型はオーバーロードには含まれません。オーバーロードされたメソッドを区別するには、メソッドシグネチャのみを使用する必要があります。^[6]

たとえば、次の 2 つのメソッドはシグネチャが異なります。

void doSomething ( String [] x ); // doSomething(String[]) void doSomething ( String x ); // doSomething(String)   
     

次の 2 つのメソッドは両方とも同じシグネチャを持ちます。

int doSomething ( int x ); // doSomething(int) void doSomething ( int y ) throws Exception ; // doSomething(int)                     
     

Juliaでは、関数シグネチャは次の形式になります。

手数料(販売:: Int 、レート:: Float64 ) :: Float64 

引数の型は多重ディスパッチに使用されます。関数が値を返すときに戻り値の型が検証され、値の型が指定された型と一致しない場合は実行時例外が発生します。

抽象型は許可されており、すべてのサブタイプに共通する一般的な動作を実装するために推奨されています。したがって、上記の関数は次のように書き直すことができます。この場合、関数は任意の Integer および Real サブタイプを受け入れることができます。

手数料(販売::整数、レート::実数) ::実数 

関数の引数では、型は完全にオプションです。指定しない場合は、すべての型のスーパータイプである Any 型を使用するのと同じです。引数の型を指定しても戻り値の型を指定しないのは慣用的です。

Objective-Cプログラミング言語では、オブジェクトのメソッドシグネチャはインターフェースヘッダーファイルで宣言されます。たとえば、

-  ( id ) initWithInt: ( int )値;

initWithIntは、一般的なオブジェクト ( ) を返し、1 つの整数引数を取るメソッドを定義しますid。Objective-C では、型が でない場合にのみシグネチャ内の型を明示的に指定する必要がありますid。次のシグネチャは同等です。

-  initWithInt: ( int )値;

Rustでは、関数シグネチャは次の形式になります。

fn 手数料(販売額: u32 、利率: f64 ) -> f64 ;  

• 関数の引数 – 数学関数への入力