例 (Oracle):
DECLARE
SUBTYPE fff IS BINARY_INTEGER;
SUBTYPE ggg IS NATURAL;
PROCEDURE foo (a IN ggg) IS BEGIN NULL; END;
PROCEDURE foo (a IN fff) IS BEGIN NULL; END;
BEGIN
NULL;
END;
パラメーターの違いがサブタイプのみのサブプログラムはオーバーロードできません。 たとえば、片方のプロシージャが BINARY INTEGER パラメーターを受け取り、もう片方が NATURAL パラメーターを受け取っているようなプロシージャはオーバーロードできません。 プロシージャをオーバーロードする際の制限に関する詳細は、docs.oracle.com の Restrictions on Overloading セクションを参照してください。