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.