почему-то нигде не пишут в подобных книжках о том, что нельзя доверять значениям возвращаемым в out - параметрах,
даже если они nocopy, вы возникновении не перехватываемой в вызываемой процедуре ошибки.

Кроме того, в общем, выглядит как устаревшая до выхода, ориентация на версию 11.2
В современных версиях pl/sql набрал заметное количество отличий, в области организации циклов, итерации массивов и инициализации рекордов, достойных необходимого упоминания.

konaz_714,

там чепуха, сумбурный текст, не отвечающий формальному описанию, который лучше вообще выбросить.
ну, или заменить на аккуратный.

Он вводит в заблуждение, гарантируя, что значение переменной- приёмника out-параметра останется неизменным, что не соответствует формальным обещаниям, которые pl/sql заявляет в этом вопросе.
(Хотя, вполне возможно, именно это заблуждение калькой снято с бага в документации)
И ваш текст вообще не упоминает поведения в таком случае для out nocopy.

Во всех случаях возникновения ошибки, до присвоения возвращаемого значения out-параметру или после,
фактическое содержание переменной-приемника не гарантируется никак .

Оно может быть вообще любым - остаться в своем исходном значении, очиститься до null, содержать последнее присвоенное в процедуре значение или содержать некий случайный мусор.
Пользователю pl/sql предлагается считать, что он может содержать что угодно, даже если тот в своих экспериментах, как ему кажется, надежно, наблюдает детерминированное поведение.

Суть дела в том, что вы не должны, не имеете права использовать содержание переменной-приемника out-параметра,
каким бы оно ни оказалось фактически, для оценки произошедшего внутри процедуры, как и рассчитывать на то, что значение приемника останется неизменным.

То есть, если кто-то думает, что вот сейчас я присвою пять значению выходного параметра и выброшу свою ошибку общего плана,
то обработчик ошибки в вызывающей процедуре сумеет понять, что точно произошло и как с этой общей ошибкой обходиться,
то Oracle предлагает даже не начинать размышлять в таком стиле, даже если вы всегда получаете пять, или,
наоборот, всегда получаете Null в переменной приемнике, или всегда видите, что исходное значение в переменной-приёмнике осталось неизменным.