1) IN параметры в PL/SQL всегда pass by reference-to-const, то есть 100% точно
аналогичны C++ параметрам вида
,
и ни при каких обстоятельствах не могут быть иными, by design.
Ясность и железобетонность работы IN параметра не только автоматически освобождает мозг от вопроса правильности
использования модификатора const, но и, при понимании того, что это именно и только
, и никогда ничто иное, так же автоматически, дает все преимущества работы по ссылке.


2) В отличии от C++, на который вы ссылаетесь, в PL/SQL нет понятия "неинициализированная переменная",
это одна из причин, по которой в PL/SQL нет понятия "неопределённое поведение".

Все переменные всегда обязательно инициализируются значением,
и для unconstrained типов таким значением по умолчанию является Null (Null в PL/SQL это значение ),
а для ограниченных на Not Null типов вы обязаны указать начальное значение, согласующееся с прочими ограничениями типа.

3) Явно объявленное ограничение типа сорта Is Not Null всегда реализуется в виде атрибута типа значения, проверяемого в runtime,
оно принципиально не может быть проверено во время компиляции.
Исключением могли бы быть (может быть, и являются) Simple_* типы, т.к. на этапе компиляции проверка для них не требуется,
а фактически она всё равно возникает во время выполнения, как результат встроенного приведения типа фактического параметра к
типу формального, при их различии.
Именно и специально поэтому, если от кода требуется предельно и максимально достижимая производительность,
то и для входного параметра и внутри такого кода применяют не ограниченный на Not Null Тип.

4) Сравнивая PL/SQL с "другими языками", подразумевая это явно или нет, вы даете отсылки к таким "другим языкам",
которые являются языками программирования , но PL/SQL таковым не является .

В том смысле не является, в каком под "языками программирования" понимаются языки программирования общего назначения .
Таким языкам - языкам программирования общего назначения, запрещено нарушать закон исключения третьего.
И в этом существо дела.

PL/SQL проходит по другой категории - [i]процедурные расширения [/i] языка SQL.
Хотя он мог бы и языком программирования являться, но компания - владелец языка,
в стране своего существования, не рискует даже пытаться озвучивать такого сорта произношение,
дабы не возбуждать академически образованную общественность,
а все, что делала и делает в этом плане, делает так, чтобы и подозрений не могло возникать о возможности и допустимости
использования PL/SQL в отрыве от инфраструктуры Oracle Database.


PS
Вы пишите такую ахинею, да еще с такой уверенностью в том, что понимаете, что пишите, что ссылка документацию - проявление неслыханной к вам терпимости.
Маэстро, бросайте вы эту фигню, немедленно лифтуйтесь на 5-7, вообще, на сколько возможно позиций вверх.
Вам в начальники срочно надо.

Ну, со всеми недостатками впридачу, конечно.
Алиасинг не отслеживается компилятором.
Точнее, иногда компилятор его видит, но сообщает об этом только в виде предупреждения.

здесь тоже, с оговоркой на то, что Simple_* типы самые быстрые by design.
И Not Null у них, похоже, чуть-чуть другой системы.

Впрочем, есть - в части значений OUT параметров вызываемой процедуры при возникновении в ней необработанной ошибки.
Однако это не подразумевает возможности неконтролируемого падения падения процесса,
обычно ассоциируемого с термином "неопределенное поведение" как неотъемлемая возможность такого поведения.

Вы бы сняли клоунский колпак.
Шутки у вас плоские, если всё ещё считать, что вы "продолжаете шутить".

что это, ты что - пьёшь по ночам?

Вы чё, белены объелись?
Расскажи, из какой ноздри таку бредятину доставать надо?