34.3.2 Оптимизация индексированного присваивания

Всеобъемлющая семантика Octave по передаче значений с ленивой копией подразумевает проблему производительности для методов subsasgn пользовательского определения. Представьте следующий вызов subsasgn

ss = substruct ("()", {1});
x = subsasgn (x, ss, 1);

где соответствующий метод выглядит следующим образом:

function x = subsasgn (x, ss, val)
  …
  x.myfield (ss.subs{1}) = val;
endfunction

Проблема заключается в том, что при входе в метод subsasgn, x все еще ссылается из области видимости вызывающей функции, что означает, что метод сначала должен разделить (скопировать) x и x.myfield перед выполнением присваивания. После завершения вызова, если не произошла ошибка, результат сразу же присваивается x в области видимости вызывающей функции, так что предыдущее значение x.myfield забывается. Таким образом, язык Octave подразумевает копирование N элементов (N — размер x.myfield), тогда как для изменения всего одного элемента достаточно. Другими словами, операция с постоянным временем работы ухудшается до линейного времени. Это может быть реальной проблемой для пользовательских классов, которые изначально хранят большие массивы.

Для частичного решения проблемы Octave использует специальную оптимизацию для методов subsasgn пользовательского определения, закодированных как файлы m. Когда метод вызывается в результате встроенного синтаксиса присваивания (а не непосредственного вызова subsasgn, как показано выше), т.е. x(1) = 1, И если метод subsasgn объявлен с идентичными входными и выходными аргументами, как в приведенном выше примере, то Octave проигнорирует копию x внутри области видимости вызывающей функции; поэтому любые изменения, внесенные в x во время выполнения метода, также непосредственно повлияют на копию вызывающей функции. Это позволяет, например, определить класс многочленов, где изменение одного элемента занимает постоянное время.

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

Поскольку эта оптимизация может изменить способ работы кода (особенно если он плохо написан), функция optimize_subsasgn_calls предоставляется для управления ею. Эта функция включена по умолчанию. Другой способ избежать оптимизации — объявить методы subsasgn с разными входными и выходными аргументами, как показано ниже:

function y = subsasgn (x, ss, val)
  …
endfunction