Скажите, а можно про это где-то прочитать в авторитетных источниках?
о как, это ничего, что книжку вы пишите, а не я. Я же не спрашиваю, в каких авторитетных источниках вы взяли содержание 113 страницы, просто вижу, что чепуха. С полным отсутствием эмоций.

И даже мне ( ) oracle не только не обещал легкого последующего доступа к своим ранее выложенным white papers,
но и не давал обещания их хранить у себя сколько-нибудь долгое время.

Была отдельная статья именно на эту тему, как раз во времена 11й версии.
Точного названия и ссылки у меня нет, по памяти смысл названия был в духе "о гарантиях, которые предоставляет pl/sql"
Цитировал я по памяти, с учетом того, что статье точно больше 10 лет уже.

К счастью, именно этот момент они, наконец, включили в сжатом виде в документацию:

https://docs.oracle.com/en/database/oracle/oracle-database/21/lnpls/plsql-subprograms.html#GUID-518B8827-26CC-4734-B799-ACB038185638

If the subprogram ends with an exception, then the value of the actual parameter is undefined .
В данном случае это надо понимать именно в смысле отсутствия каких бы то ни было гарантий на содержимое переменной - приемника.

была еще статья 2003 года времен 10й версии от Charles Wetherell (ещё авторитетнее уже дальше некуда),
"Freedom, Order, and PL/SQL Optimization"

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

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

А это надо понимать как гарантию на содержимое переменной - приемника.

Может быть. При условии, что хинт nocopy действительно отработал и привел к передаче по ссылке.
Я хорошо помню, как кто-то меня макал в неумение опознавать это на глаз

Но такая гарантия мгновенной изменчивости приемника не имеет ничего общего с обещанием всегда оставить входной параметр в исходном значении при возникновении ошибки.

PS
Мне правда жаль, что у меня потеряна та статья, на которую я умственно ссылался.
А Уизерела надо будет перечитать, при удобном случае.

я не знаю, с какой легкостью "Freedom, Order, and PL/SQL Optimization" сейчас отыскивается на OTN,
поэтому приложу файл для желающих ознакомиться, если кто-то не читал ранее.

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


Контекст обсуждения задан предложенной к изучению 113ой страницей книжки, ссылка на которую на предыдущей странице.
Кстати, речь не идет об undetermined. Значение как-то всегда determined в конкретном вычислении в том отношении, что какое-то точно есть.
Но оно undefined в смысле наличия гарантий на то, как именно должно быть описано поведение системы времени выполнения,
следуя которому возможно не просто предсказать, какое оно будет, а предсказать специально в целях использования для построения
вокруг этого поведения некоторой прикладной логики.
Так получилось, что где-то в районе7-8 года, я сам страдал подобными идеями.
Но вовремя попались под руку пара статей, одну из которых я выложил в предыдущем посте.

Если ты случайно ее не читал, специально посмотри.
Там и текст качественный, и автор - "главный по тарелочкам" в области pl/sql.
То есть, попросту - научный руководитель проекта pl/sql.



Процедура с nocopy хинтом пишется один раз, а используется многократно и в разных условиях.
В одних условиях вызова передача параметра произойдет по ссылке, в других будет образована копия в созданной для этой цели временной переменной.
Если я правда собрался натягивать вокруг "гарантий" логику, я должен быть уверен, что в каждом случае, когда мне приспичило ей воспользоваться, она точно работает.
Ура, я понял тогда, в интересовавших меня случаях, она точно не работает.

нет чёткого "memory location" - классная формулировка 👍

ElicFormal OUT and IN OUT parameters can be returned in any order. In this example, the final values of z are undefined:
Это про алиасинг. Тема хорошая, сам попадал "по молодости".
Он может и без Out параметров возникать.
"не ваше дело, в какой последовательности формируются out-параметры" - лишь вишенка на этом торте.

Вот тут Коннор Макдоналд показывает примеры, выводящие на соседнюю тему - супер-агрессивность оптимизатора кода,
например, в части оптимизации выражений.
Не могу похвастать, что это вызывает у меня восторг до степени хлопанья в ладоши.
https://connor-mcdonald.com/2019/04/16/pl-sql-dont-mix-and-match-scope/

(Я не прочитал, что поэтому поводу есть у автора обсуждаемой книжки)