パラメータ（コンピュータプログラミング）

コンピュータプログラミングでは、パラメータ、または 仮引数は、関数呼び出しの引数を表す変数です。^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]}関数のシグネチャは、そのパラメータを定義します。呼び出しの実行には、呼び出しの各引数式を評価し、その結果を対応するパラメータに関連付けることが含まれます。

例えば、Python関数を考えてみましょう。

def add ( x : int , y : int ) -> int : return x + y

変数xと はyパラメータであり、それぞれ型は ですint。 を呼び出す場合add(2, 3)、式2と は3引数です。 を呼び出す場合add(a + 1, b + 2)、引数はa + 1とですb+2。

パラメータの受け渡しはプログラミング言語によって定義されます。評価戦略は、パラメータの宣言方法と関数への引数の受け渡し方法に関するセマンティクスを定義します。一般的に、値渡しの場合、パラメータは引数の値で初期化された新しいローカル変数のように動作します。引数が変数の場合、パラメータはコピーであるため、関数は引数の状態を変更できません。参照渡しの場合、引数は変数である必要があり、パラメータは引数のエイリアスになります。

以下のCソースコードは、という名前の関数を定義し、salesTaxという名前のパラメータを 1 つprice持ちます。関数とパラメータの両方の型は ですdouble。 を呼び出すとsalesTax(10.00)、引数はdouble 型の10.00値 10として関数に渡され、パラメータ変数 に代入され、関数は 0.5 を返します。price

double salesTax ( double price ) { return 0.05 * price ; }

パラメータと引数という用語は、プログラミング言語によって意味が異なる場合があります。これらの用語は互換的に使用されることもあり、文脈によって意味が区別されます。パラメータ（仮パラメータと呼ばれることもあります）という用語は、関数宣言にある変数を指すことが多く、引数（実パラメータと呼ばれることもあります）は、関数呼び出し文で実際に渡される入力を指します。たとえば、関数をとして定義した場合def f(x): ...、はパラメータであり、でx呼び出された場合、は引数です。パラメータは（非束縛）変数ですが、引数はリテラル、変数、またはリテラルと変数を含むより複雑な式になります。値渡しの場合、関数に渡されるのは引数の値です（たとえば、およびは同等の呼び出しです）。一方、参照渡しでは、引数として変数を使用する場合、渡されるのはその変数への参照です。ただし、関数呼び出しの構文は同じままです。^{[ 5 ]}参照渡しまたは値渡しの仕様は、関数宣言および/または定義で行われます。a = ...; f(a)af(2)a = 2; f(a)

パラメーターはプロシージャ定義に現れ、引数はプロシージャ呼び出しに現れます。関数定義ではf(x) = x * x変数xはパラメーターであり、関数呼び出しではf(2)値2が関数の引数です。大まかに言えば、パラメーターは型であり、引数はインスタンスです。

パラメータとは、プロシージャの定義に含まれる、プロシージャ固有のプロパティです。例えば、多くのプログラミング言語では、与えられた2つの整数を足し合わせて合計を計算するプロシージャには、それぞれの整数に対応する2つのパラメータが必要です。一般に、プロシージャは任意の数のパラメータを持つことも、パラメータを全く持たずに定義することもできます。プロシージャにパラメータがある場合、そのパラメータを指定する定義の部分をパラメータリストと呼びます。

対照的に、引数はプロシージャが呼び出されたときにプロシージャに渡される式^{[ 6 ]}であり、通常はパラメータの1つに一致する1つの式です。プロシージャの定義の不変の部分を形成するパラメータとは異なり、引数は呼び出しごとに変化する可能性があります。プロシージャが呼び出されるたびに、引数を指定するプロシージャ呼び出しの部分は引数リストと呼ばれます。

パラメータは引数とも呼ばれますが、引数は、実行時に関数が呼び出されたときにパラメータ変数に割り当てられる実際の値または参照を指す場合もあります。関数を呼び出すコードについて説明する場合、関数に渡される値または参照は引数であり、これらの値または参照が指定されるコード内の場所はパラメータリストです。関数定義内のコードについて説明する場合、関数のパラメータリスト内の変数はパラメータであり、実行時のパラメータの値は引数です。

次のC関数を考えてみましょう。sumこの関数は 2 つのパラメータ と を持ちますa。bパラメータに渡された値を加算し、その結果を関数の呼び出し元に返します。

int sum ( int a , int b ) { return a + b ; }

以下は、 を呼び出す例ですsum。変数xと はy初期化され、sum引数として に渡されます。実行時には、これらの変数に割り当てられた値が に渡されますsum。 ではsum、パラメータaとbが評価され、それぞれ引数40とが生成されます2。引数の値が加算され、結果が呼び出し元に返され、変数 に代入されますresult。

int x = 40 ; int y = 2 ; int result = sum ( x , y );

パラメーターと引数の違いにより、プロシージャに不適切な引数を渡す可能性があります。引数が多すぎたり少なすぎたり、引数の型が間違っていたり、引数の順序が間違っていたりする場合があります。これらのいずれの場合も、パラメーターと引数のリストに不一致が生じ、プロシージャは意図しない結果を返したり、実行時エラーを発生させたりすることがよくあります。

sum ( a : INTEGER ; b : INTEGER ): INTEGER do Result := a + b end

結果: INTEGER x : INTEGER = 40 y : INTEGER = 2 …結果:= sum ( x , y )

class HASH_TABLE [ G , K -> HASHABLE ] …

my_dictionary : HASH_TABLE [ STRING , STRING ]

厳密な型付けを持つプログラミング言語では、各パラメータの型はプロシージャ宣言で指定する必要があります。型推論を使用する言語は、関数の本体と使用箇所から型を自動的に検出しようとします。動的型付けを持つプログラミング言語は、実行時まで型解決を延期します。弱い型付けを持つ言語は、型解決をほとんど、あるいは全く行わず、代わりにプログラマの正確性に依存します。

void一部の言語では、関数にパラメータがないことを示すために特別なキーワード（例：）を使用します。形式型理論voidでは、このような関数は空のパラメータリスト（型はではなく、ユニット）を受け取ります。

引数をパラメータに割り当てる仕組みは、引数渡しと呼ばれ、そのパラメータに使用される評価戦略（通常は値渡し）に依存します。この評価戦略は、キーワードを使用して指定できます。

function doc ( $g = 1 . 21 ) { "$g ギガワット？ $g ギガワット？ なんてこった！" }

PS >ドキュメント1.21ギガワット？ 1.21ギガワット？ なんてこった！PS > doc 88 88ギガワット？ 88ギガワット？ なんてこった！

function marty { $args | foreach { "back to the year $_" } }

PS >マーティ1985 1985年に戻るPS >マーティ2015 1985 1955 2015年に戻る 1985年に戻る1955年に戻る

function jennifer ( $adjectiveYoung , $adjectiveOld ) { "若いジェニファー: 私は$adjectiveYoungです！ "年老いたジェニファー: 私は$adjectiveOldです！}

PS >ジェニファー「フレッシュ」「経験豊富」若いジェニファー：私はフレッシュよ！年老いたジェニファー：私は経験豊富よ！PS > jennifer -形容詞Old 'experienced' -形容詞Young 'fresh'若いジェニファー: 私はフレッシュよ!年老いたジェニファー: 私は経験豊富よ!

出力パラメータ（out パラメータまたはreturn パラメータとも呼ばれる）は、入力によく使われるパラメータではなく、出力に使用されるパラメータです。参照渡しパラメータ、または値が参照である値渡しパラメータを出力パラメータとして使用することは、C や C++ などの一部の言語の慣用表現ですが、^他の言語では出力パラメータが組み込まれています。出力パラメータが組み込まれている言語には、^Ada [ ^{11 ] （} Ada サブプログラムを参照^）、Fortran （ Fortran 90以降、 Fortran "intent"を参照）、PL/SQL （ PL/SQL 関数を参照）^{[ 12 ]}やTransact-SQLなどのSQLのさまざまな手続き型拡張機能、C# ^{[ 13 ]}および.NET Framework [ ^{14 ]} Swift ^{[ 15 ]}、スクリプト言語TScript（TScript 関数宣言を参照）などが^あります。

以下は、C++における「出力パラメータ」の例です。

// 出力パラメータを持つ関数の定義void sum ( int x , int y , int & out ) { out = x + y ; }// 使用例: int foo = 1 ; int bar = 2 ; int baz ; sum ( foo , bar , baz );

この関数は何も返しませんが、 の値はとして参照が渡されたx + y変数に代入されます。out

より正確には、パラメータまたはパラメータモードは3種類に分類できる。入力パラメータs、出力パラメータ、および入力/出力パラメータ。これらは通常in、、、outまたはin outでinout。入力引数（入力パラメータへの引数）は、初期化された変数やリテラルなどの値である必要があり、再定義または代入してはなりません。出力引数は代入可能な変数である必要がありますが、初期化されている必要はなく、既存の値にはアクセスできず、値を代入する必要があります。入力/出力引数は、初期化された代入可能な変数である必要があり、オプションで値を代入できます。正確な要件と適用方法は言語によって異なります。たとえば、Ada 83出力パラメータは代入のみ可能で、代入後でも読み取りはできません（これは、補助アキュムレータ変数の必要性をなくすためにAda 95値がそれぞれ rvalue（値を持つ）、lvalue（代入可能）、または rvalue/lvalue（値を持ち、かつ代入可能）であるという概念に類似していますが、これらの用語は C および C++ では特別な意味を持ちます。

場合によっては、入力と入出力のみが区別され、出力は入出力の特定の用途とみなされます。また、入力と出力のみがサポートされ、入出力はサポートされない場合もあります。デフォルトモードは言語によって異なります。Fortran 90では入出力がデフォルトですが、C#とSQL拡張機能では入力がデフォルトであり、TScriptでは各パラメーターが入力または出力として明示的に指定されます。

構文的には、パラメータモードは一般的に、C# のように関数宣言内のキーワードで示されます。慣例として、出力パラメータは明確に区別するためにパラメータリストの最後に配置されることが多いですが、必ずしもそうとは限りません。TScript では異なるアプローチが採用されており、関数宣言では入力パラメータがリストされ、次に出力パラメータがコロン (:) で区切られてリストされます。また、このテキストフラグメントのサイズを計算する関数のように、関数自体には戻り値の型がありません。voidFn(outintx)

TextExtent ( WString text 、Font font : Integer width 、Integer height )

パラメータ モードは、プログラマの意図を示し、コンパイラがエラーを検出して最適化を適用できるようにする、表示的意味論の一形態です。これは、操作的意味論(パラメータの受け渡しが実際にどのように行われるか) を必ずしも意味するものではありません。特に、入力パラメータは値渡しで、出力および入出力パラメータは参照渡しで実装できますが、組み込みのサポートがない言語では、これがこれらのモードを実装する簡単な方法です。しかし、常にこのように実装されるとは限りません。この区別については、Ada '83 Rationale で詳しく説明されており、パラメータ モードは、実際に実装されるパラメータ受け渡しメカニズム (参照渡しまたはコピー渡し) から抽象化されていることが強調されています。^{[ 11 ]}例えば、C# では入力パラメータ (デフォルト、キーワードなし) は値渡しされ、出力および入出力パラメータ (outおよびref) は参照渡しされますが、PL/SQL では入力パラメータ ( IN) は参照渡しされ、出力および入出力パラメータ (OUTおよびIN OUT) はデフォルトでは値渡しされ、結果がコピーバックされますが、NOCOPYコンパイラヒントを使用することで参照渡しにすることができます。^{[ 16 ]}

出力パラメータと構文的に類似した構造として、戻り値を関数と同じ名前の変数に代入する方法があります。これは、Pascal、Fortran 66、Fortran 77に見られ、次の Pascal の例を参照してください。

function f ( x , y : integer ) : integer ; begin f := x + y ; end ;

これは意味的に異なり、呼び出されたときに、関数は単に評価されるだけで、出力を格納するための変数が呼び出し元のスコープから渡されることはありません。

int幅; int高さ;f ( x , & width , & height );

public static bool TryParse ( string s , out int result )

Systemを使用します。int result ; if ( ! Int32.TryParse ( s , result ) ) { // 例外処理}

MyObject obj = g ( y , f ( x ));

MyObject obj ; f ( x , & obj ); g ( y , & obj );

MyObject obj ; g ( y , f ( x , & obj ));

def f () -> tuple [ int , int ]: return 1 , 2 a , b = f ()

結果: str = parse ( s )結果がNoneの場合: # 例外処理

try : result : str = parse ( s ) except ParseError : # 例外処理

幅高さwh = f ( x );