Intro-CSharp-Book-v2015

Глава 21. Качествен програмен код 911
Assertions могат да се изключват. По замисъл те трябва да са включени само
по време на разработка, докато се открият всички бъгове. Когато бъдат
изключени всички проверки в тях спират да се изпълняват. Идеята на
изключването е, че след края на разработката, тези проверки не са повече
нужни и само забавят софтуера.
Ако дадена проверка е смислено да продължи да съществува след края на
разработката (например проверява входни данни на метод, които идват
от потребителя), то тази проверка е неправилно имплементирана с
assertions и трябва да бъде имплементирана с изключения.
Assertions се използват само на места, на които трябва
дадено условие да бъде изпълнено и единствената причина
да не е, е да има бъг в програмата.
Защитно програмиране с изключения
Изключенията (exceptions) предоставят мощен механизъм за централизирано
управление на грешки и непредвидени ситуации. В главата "Обработка
на изключения" те са описани подробно.
Изключенията позволяват проблемните ситуации да се обработват на много
нива. Те улесняват писането и поддръжката на надежден програмен код.
Разликата между изключенията и assertions е в това, че изключенията в
защитното програмиране се използват най-вече за защитаване на публичния
интерфейс на един компонент. Този механизъм се нарича fail-safe (в
свободен превод "проваляй се грациозно" или "подготвен за грешки").
Ако методът archive, описан малко по-нагоре, беше част от публичния
интерфейс на архивиращ компонент, а не вътрешен метод, то този метод
би трябвало да бъде имплементиран така:
public int Archive(PersonData user, bool persistent)
{
if (user == null)
throw new StorageException("null parameter");
// Do some processing
int resultFromProcessing = ...
Debug.Assert(resultFromProcessing >= 0,
"resultFromProcessing is negative. There is a bug");
}
return resultFromProcessing;
Assert остава, тъй като той е предвиден за променлива създадена вътре в
метода.