예시(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에서 오버로드 제약을 참고하세요.