A.1.12 Обработка исключений и ошибок в oct-файлах

Ещё одна важная особенность Octave — способность реагировать на нажатие пользователем клавиш Control-C во время длительных вычислений. Эта возможность основана на обработчике исключений C++, который автоматически освобождает память, выделенную методами C++ new/delete, при обработке исключения. При написании oct-файла, выполнение которого может занять много времени, программист должен периодически использовать макрос OCTAVE_QUIT, чтобы Octave мог проверять, не нажал ли пользователь клавиши Control-C, и при необходимости реагировать на это. Например:

for (octave_idx_type i = 0; i < a.nelem (); i++)
  {
    OCTAVE_QUIT;
    b.elem (i) = 2. * a.elem (i);
  }

Наличие макроса OCTAVE_QUIT во внутреннем цикле позволяет Octave обнаружить и обработать нажатие клавиш Control-C. Без этого макроса пользователю придётся либо ждать завершения функции oct-файла, прежде чем прерывание будет обработано, либо нажать Control-C три раза, что приведёт к полному завершению Octave.

Макрос OCTAVE_QUIT влечёт за собой очень небольшое снижение производительности. Для циклов for, которые заведомо выполняются быстро, включать OCTAVE_QUIT может быть нецелесообразно.

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

BEGIN_INTERRUPT_IMMEDIATELY_IN_FOREIGN_CODE;
...  some code that calls a "foreign" function ...
END_INTERRUPT_IMMEDIATELY_IN_FOREIGN_CODE;

Недостаток такого подхода заключается в том, что если внешний код выделяет память, то при прерывании эта память может быть потеряна и не освобождена. Поэтому в идеале сам Octave должен выделять память, необходимую внешнему коду, используя метод fortran_vec или макрос OCTAVE_LOCAL_BUFFER.

Механизм unwind_protect в Octave (Инструкция unwind_protect) также можно использовать в oct-файлах. В сочетании с обработкой исключений в Octave он гарантирует, что определённый код восстановления будет выполнен даже в случае возникновения исключения. Пример использования этого механизма:

#include <octave/oct.h>
#include <octave/unwind-prot.h>

void
my_err_handler (const char *fmt, ...)
{
  // Do nothing!!
}

void
my_err_with_id_handler (const char *id, const char *fmt, ...)
{
  // Do nothing!!
}

DEFUN_DLD (unwinddemo, args, nargout, "Unwind Demo")
{
  if (args.length () < 2)
    print_usage ();

  NDArray a = args(0).array_value ();
  NDArray b = args(1).array_value ();

  // Create unwind_action objects.  At the end of the enclosing scope,
  // destructors for these objects will call the given functions with
  // the specified arguments.

  octave::unwind_action restore_warning_handler
    (set_liboctave_warning_handler, current_liboctave_warning_handler);

  octave::unwind_action restore_warning_with_id_handler
    (set_liboctave_warning_with_id_handler,
     current_liboctave_warning_with_id_handler);

  set_liboctave_warning_handler (my_err_handler);
  set_liboctave_warning_with_id_handler (my_err_with_id_handler);

  return octave_value (quotient (a, b));
}

Как видно из примера:

unwinddemo (1, 0)
⇒ Inf
1 / 0
⇒ warning: division by zero
   Inf

Предупреждение о делении на ноль (как и все остальные предупреждения) отключено в функции unwinddemo.