一連の引数の型(A1、A2、...An)が含まれる引数リスト A があり、パラメータの型がそれぞれ(P1、...Pn)および(Q1、...Qn)の 2 つの適用可能なメソッド オーバーロード Mp および Mq があると仮定します。必要に応じて、これらのパラメータは拡張形式に変換されています(上記を参照)。
このような場合、次の両方の条件を満たせば、Mp が Mq よりも適切なメソッド オーバーロードであると言えます。
- 各引数について、Ax から Px への暗黙的な変換が Ax から Qx への変換よりも劣る(より適切な変換の定義については、下記を参照)
- 少なくとも 1 つの引数において、Ax から Px への変換が Ax から Qx への変換よりも適切である