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 накладывает очень небольшую нагрузку на производительность; для циклов, которые, как известно, небольшие, включение 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.

Механизм Octave unwind_protect (Заявление 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.