Добавлен , опубликован
Раздел:
Общее
Хотел бы рассказать и обсудить различные способы обработки ошибок и исключительных ситуаций в современной разработке в стиле статьи + комментарии.
Буду использовать Javascript как наиболее популярный. Для нешарящих, слово function может быть объявлением класса в случае создания её свойств.
Я помню всего шесть способов обработки ошибок в программировании, но хочу обратить внимание на последние четыре.

Возврат значения

Довольно бородатый и устаревший способ - просто возвращать null или любое значение, которое означает ошибку. Распространено из Linux API.
/** @return int -1 if negative, 0 if zero */
function doSomething(i) {
	if(i < 0) {
		return -1;
	} else if(i == 0) {
		return 0;
 	}
	return i*i + 5;
}

var result = doSomething(x);
switch(result) {
	case -1: // ... negative
	case 0: // ... zero
	default: // ... success
}
Преимущества: Очень быстро и очень легко написать
Недостатки: Ошибку нельзя проверить "потом", много условий, ошибки приходится описывать в документации, возвращаемые значения по диапазону.

GetLastError()

Тоже довольно бородатый, но всё ещё используемый способ обработки ошибок - обращение к менеджеру объектов. Распространено из Windows API.
Допустим, есть менеджер manager и объект obj.
function Manager() {
	var me = this;
	me.lastError = '';

	me.getLastError = function() { return me.lastError; }

	me.doSomething1 = function(whichObj) {
		me.lastError = '';
		if(! whichObj) {
			me.lastError = 'object is null';
		}
		// ... do something and return something
	}

	me.doSomething2 = function(whichObj) {
		me.lastError = '';
		if(! whichObj) {
			me.lastError = 'object is null';
		}
		// ... do something 2 and return something 2
	}
}

var manager = new Manager();
var obj = new Obj();
manager.doSomething1(obj);
manager.doSomething2(obj);
// ...
if(manager.getLastError() == 'object is null') {
	console.log("Объект "+obj.name+" пуст.");
}
Преимущества: Ошибку в некоторых случаях можно не проверять сразу, значения довольно интуитивные и не затрагивают возвращаемые значения.
Недостатки: В некоторых случаях всё ещё не понятно, почему функция не выполнилась, для каждого родительского класса свой менеджер (при правильном проектировании), что ведет к создании родительского менеджера-обработчика всех ошибок, много мета-информации.

Exceptions

Исключения. Почти все мы знакомы с ними... Исключение - сигнал, указывающий на возникновение какой-либо исключительной ситуации или ошибки.
function doSomething1(input) {
	// ...
		throw new Error('wrong input');
	// ...
}

function doSomething2(data) {
	// ...
		throw new Error('wrong data');
	// ...
}

try {
	doSomething2(doSomething1(myInput));
} catch(e) {
	console.log(e.message);
}
Преимущества: Контроль за всеми возможными ошибками почти в произвольном месте потока, интуитивные значения, кроме значений можно передавать другие параметры отладки (в том числе колл-стек), ни коим образом не мешают логике при не-исключительных ситуациях, могут быть использованы не только для обработки ошибок, но и для других "скачков" по потоку (например, мгновенный выход и многоуровневого цикла).
Недостатки: Некоторые языки требуют обрабатывать все возможные исключения, проблемы с асинхронностью на разных языках, всё ещё не до конца решена проблема нулевых указателей (особенно в случае работы со сторонними библиотеками, ведь нулл - не всегда плохо).

Handlers

Относительно часто используемый механизм обработки ошибок - разделение потоков выполнения. Получил свою популярность с приходом понятия замыкание.
Суть обработчиков - обрывать текущий поток (в некоторых решениях - не обрывать в случае успеха) и выполнять один из двух новых - случай ошибки и случай успеха. Распространено в javascript библиотеках вроде jQuery, а так же в Nodejs
function doSomething(input, onSuccess, onFail) {
	// ...
	onSuccess && onSuccess(result);
	// ...
	onFail && onFail(error);
}

var input = 'my input';

doSomething(
	input,
	function(result) { 
		console.log('success: ' + result); 
	},
	function(error) { 
		console.log('error:' + error); 
	}
);
Преимущества: Контроль за всеми возможными ошибками, интуитивные значения, асинхронная работа (в конкретных случаях), передача любых параметров, могут быть использованы не только для обработки ошибок, но и для обработки вообще любых ситуаций.
Недостатки: В компилируемых языках приходится писать специальные механизмы для такого рода обработок, в больших проектах - трудно уследить за потоком выполнения, особенно в случае анонимных функций. Проблема "лесенок" или Callback Hell.

Promise

Объект Promise (обещание) используется для отложенных и асинхронных вычислений. Promise может находиться в трёх состояниях:
  • ожидание (pending): начальное состояние, не выполнено и не отклонено.
  • выполнено (fulfilled): операция завершена успешно.
  • отклонено (rejected): операция завершена с ошибкой.
var promise = new Promise(function(resolve, reject) {
  // здесь вытворяй что угодно, если хочешь асинхронно, потом…
  
  if (/* ..если всё закончилось успехом */) {
    resolve("Работает!");
  }
  else {
    reject(Error("Сломалось"));
  }
});

promise.then(function(result) {
  console.log(result); // "Обрабатываем результат!"
}, function(err) {
  console.log(err); // Ошибка: "Сломалось"
});
Преимущества: Контроль за всеми возможными ошибками, интуитивные значения, асинхронная работа (в конкретных случаях), передача любых параметров, могут быть использованы не только для обработки ошибок, но и для обработки вообще любых ситуаций, проверка над множествами случаев или некоторыми случаями в одном месте.
Недостатки: Реализовано далеко не во всех языках, Не подходит для повторяющихся событий, Не подходит для streams, Текущая реализация в браузерах не позволяет следит за progress

Null Object

Null Object - это объект с определенным нейтральным («null») поведением. Началось всё с книг, так же я лично замечал это в MFC с состояниями isEmpty у многих объектов, кроме того, это распространено в C++ iostream.
Лично я вижу это приблизительно так:
function NullObject() {
	var me = this;
	
	me._error = '';
	me.isBad = function() { return !!me._errror; }
	me.isGood = function() { return !me._error; }
	me.getError = function() { return me._error; }
	me.setError = function(e) { me._error = e; }
}

function MyClass() { // extends NullObject
	var me = this;
	angular.extend(me, new NullObject()); // или любая функция наследования

	// fields
	// ...
	
	// methods

	me.doSomething1 = function() {
		if(me.isBad()) { return me; }
		// ...
		me.setError('wrong vodka');
		return me;
	}

	me.doSomething2 = function() {
		if(me.isBad()) { return me; }
		// ...
		me.setError('wrong beer');
		return me;
	}
}

var obj = new MyClass();
obj.doSomething1().doSomething2().doSomething1();
if(obj.isBad()) {
	console.log(obj.getError());
}
Преимущества: Контроль за всеми возможными ошибками, интуитивные значения, передача любых параметров (если задано в родителе), могут быть использованы не только для обработки ошибок, но и для обработки вообще любых ситуаций, реализуемо в любых ООП языках, последовательное выполнение методов без остановки потока.
Недостатки: Синхронность, нужно писать некоторые проверки в требуемых методах, нет работы с множеством случаев, требуется перестраивать дерево наследования, дополнительные данные в объектах.

Заключение

Какие ещё вы знаете способы обработки ошибок и где они могут применяться?
`
ОЖИДАНИЕ РЕКЛАМЫ...

Показан только небольшой набор комментариев вокруг указанного. Перейти к актуальным.
2
29
9 лет назад
2
Последнее это скорее твой выдуманный велосипед, про который ты мне загонял еще года два назад. В норм функциональщине это по дефолту есть, см. haskell maybe
6
26
9 лет назад
Отредактирован Hanabishi
6
Вообще исключения смотрят на все остальные способы как на говно, хотя бы потому что можно создать множество вложенных в друг друга обработчиков.
Какие ещё вы знаете способы обработки ошибок и где они могут применяться?
Если извращаться, то можно ещё так:
//пример на шарпе
void A(){
	//создаем и запускаем контрольный поток
	Thread t = new Thread(B);
	t.Start();
	t.Join();
	//будет ждать до завершения контрольного потока
	
	if(t.Name=="pass"){
		//контрольный поток отработал без ошибок
	} else {
		//что-то сломалось
	}
}

void B(){
	doSomething();
	
	Thread.CurrentThread.Name = "pass";
}
0
27
9 лет назад
0
При грамотном подходе можно полностью избежать необходимости обрабатывать исключения проверяя параметры всех методом на входе в процедуру.
Механизм исключений явы и шарпов который имеет особую процедуру призван решить проблему волшебных числе в возврате, например мы ожидаем что если метод вернул -1 то он отработал с ошибкой, но что если этот выход на самом деле допустимый?
Именно это и решают исключения, которые передают те самые -1 но особым образом.
для додиеза имеется достаточно забавная методика борьбы с ошибками методом множественного возврата на основе передачи параметров по указателю:
public boolean likelytofailhard (object 0,ref resultstore)
операции над resultstore внутри метода приведут к изменению этого значения вне метода, так как модифицируют память по указателю, а не переданное значение.
при этом обычный возврат метода можно использовать для иных целей
checksum = 10;
if likelytofailhard(new Car(),checksum)
display(error)
display(checksum)
выглядит такая "лесенка" не очень интуитивна но при грамотном подходе просто идеальный метод обработки ошибок связанных с вводом пользователя.
0
29
9 лет назад
0
DioD, второй пример классический во многих API, например DirectX 11. В OpenGl используется GetLastError, в Win сокетах, тоже GetLastError, да и в WinAPI тоже. На самом деле это самый ущербный способ хендлить ошибки.
Согласен, что второй пример очень удачен с точки зрения хендлинга ошибок пользовательского ввода.
Теперь что касается исключений, на самом деле это весьма мощная штука в плане отладки, как локально так и на продакшенах всяких и альфах, если использовать сериализаторы или использовать специальный сервис для аггрегации исключений. В чем соль исключений?
  • Сохранение нужных данных, которые потом можно обработать.
  • Благодаря иерархический структуре исключений, можно обрабатывать исключения там, где это нужно. При должной организации приложения все складывается очень хорошо.
0
37
9 лет назад
Отредактирован ScorpioT1000
0
Doc, www.cplusplus.com/reference/ios/ios/bad
DioD, не особо удобный способ, я даже на крестах избавлялся от него, кстати, в пользу возврата массива или объекта с результатом и/или ошибкой
суть, что не вызовешь несколько методов по очереди, если гдето вернется нулл, например, с пустыми объектами и исключениями это решаемо
0
27
9 лет назад
0
Если допускать failfast поведение не разумно то можно получить сложновыявляемые ошибки которые проявляются на 1 случай из 100 но проявляются.
Код должен быть атомарным, или он выполняется целиком или никак.
Например метод который изменяет стек или регистры должен вносить реальные изменения в систему крайней линией, а не последовательно прерываясь линиями которые могут вызвать ошибку или прерывание.
Иначе можно столкнуться с ситуацией, когда метод завершился с ошибкой, выдал ошибку, вернул массив с пустыми объектами, но при этом "поправил" счётчики или изменил регистры.
Вопрос атомарности в статье не решен, однако "богомерзкие" майкрасофт со своим "ласт эррор" тем не менее реализовали многие методы атомарно, это необходимо отразить в статье.
0
37
9 лет назад
0
это скорее вопрос транзакций, очень широкая тема, почему те же сервер-сайд решения пытаются все сместить к базам данных, чтобы сервер "отрабатывал" короткую логику, остальное на базу данных, которая эти транзакции поддерживает
0
20
9 лет назад
0
Есть ещё эрланговское let it crash :)
Но это немного не по сабжу
Показан только небольшой набор комментариев вокруг указанного. Перейти к актуальным.
Чтобы оставить комментарий, пожалуйста, войдите на сайт.