関数/メソッドの「仕様」には特別な名前があると確信しています。それは言及する言葉です
その名前はありますか?
通常、これは タイプシグネチャ と呼ばれます。
型シグネチャには、関数の戻り値の型、引数の数、引数の型、または関数が返すエラーが含まれます。
TL; DR関数シグネチャ(またはメソッドシグネチャ)について話している可能性があります。その一部は型シグネチャです。
しかし、実際には、関数の「仕様」と考えるものに依存します。私は「プログラマーが関数を呼び出すために必要なすべての情報」と解釈します。これには、関数名、パラメーターの型、順序、および必要性、おそらく戻り値の型、そしておそらくその関数の名前空間さえ含まれます。
しかし、それらすべてが必要であるかどうか(または明確に定義されているかどうか)は、使用している言語/環境によって異なります。また、定義を「machineが関数を呼び出すために必要なすべての情報」に変更した場合、仕様は異なる可能性があります1。
厳密に言えば、関数(またはメソッド)のシグネチャは一貫した用語ではありません。2、3 同じ言語内でも。4、5、6、7 しかし、ほとんどすべてのプログラマーが理解できるので、ほぼ間違いなくあなたが探しているWordです。
その言葉は「契約」だと思います。これは、インターフェイスと、呼び出し元と呼び出し先に期待されるものを定義します。ただし、多くの言語で関数またはクラスの定義によって定義できるものではないパラメーターの許容値なども対象とするため、「契約」という用語は、意図した意味よりも広い意味を持つ場合があります。私はそれをいくつかのオブジェクト指向およびJava特定のプログラミングの本で見ました。それがJava特定であるかどうかはわかりませんが、それがなぜなのかわかりません署名は一般的に使用されるもう1つの用語ですが、「契約」が好きになりました。