総称手続の一義的な引用

総称手続引用が行われると,何らかの特定の手続が呼び出されます。以下の規則が使用されていれば,総称引用は一義的になります。

インタフェース宣言が組込み手続,演算子,または代入を拡張している場合,これらの規則は,組込み手続が使用可能な引数の組のそれぞれに対する個別手続の集まりから構成されているかのように適用されます。

総称手続がモジュールから参照される場合,これらの規則はすべての個別手続に適用されます。これは,一部の手続がその個別名では参照できない場合でも同じです。

関連情報

総称手続名の詳細については,「手続の総称名の定義」を参照してください。