Хвърляне и свои изключения

Проблем

Банкоматът казва „вземи парите“

Сметката пази баланса си. Ако сумата за теглене е отрицателна или не стига, методът просто не прави нищо:

public void Withdraw(int amount)
{
    if (amount > 0 && amount <= Balance)
    {
        Balance -= amount;
    }
}

Банкоматът го ползва така:

Account account = new Account(100);
account.Withdraw(500);
Console.WriteLine("Вземи парите си.");
Console.WriteLine("Баланс: " + account.Balance + " €");

Вземи парите си.
Баланс: 100 €

Клиентът иска 500 €, а има 100 €. Методът тихо отказва, а банкоматът не разбира и казва „Вземи парите си.“ Грешката се губи. Методът може да върне true или false, но викащият лесно забравя да провери, а и false не казва защо.

Идеята

throw: отказвам и казвам защо

Вместо да мълчи, методът хвърля изключение:

public void Withdraw(int amount)
{
    if (amount <= 0)
    {
        throw new ArgumentException("Сумата трябва да е положителна");
    }
    if (amount > Balance)
    {
        throw new ArgumentException("Не стигат парите");
    }
    Balance -= amount;
}

throw прекъсва метода като return. Редът Balance -= amount не се стига. Но вместо стойност методът изпраща изключение и викащият не може да не го забележи:

Account account = new Account(100);
try
{
    account.Withdraw(500);
    Console.WriteLine("Вземи парите си.");
}
catch (ArgumentException e)
{
    Console.WriteLine("Отказано: " + e.Message);
}
Console.WriteLine("Баланс: " + account.Balance + " €");

Отказано: Не стигат парите
Баланс: 100 €

new създава обекта на изключението, както всеки обект. Съобщението отива в конструктора му.
ArgumentException е готовото изключение за „аргументът е грешен“. Ползва се точно в такива проверки.

По-точно, за любопитните

ArgumentOutOfRangeException е за число извън позволените граници, а InvalidOperationException е за обект, който не е в състояние за това действие, например теглене от закрита сметка.
throw работи само с обект от наследник на Exception.

Виж го

Изключението пропада

public void Withdraw(int amount)
{
    if (amount > Balance)
    {
        throw new ArgumentException("Не стигат парите");
    }
    Balance -= amount;
}
static void PayRent(Account account)
{
    account.Withdraw(800);
    Console.WriteLine("Наемът е платен.");
}

try
{
    PayRent(new Account(500));
}
catch (ArgumentException e)
{
    Console.WriteLine("Отказано: " + e.Message);
}

Стъпка по стъпка, с думи

Main вика PayRent за сметка с 500 €.
PayRent вика Withdraw(800): нова рамка отгоре.
800 > 500: методът хвърля изключение.
Балансът не се променя: рамката се изхвърля, без да довърши редовете си.
PayRent няма catch: „Наемът е платен.“ не се печата, рамката се изхвърля.
catch в Main хваща изключението и програмата продължава оттук.

Спомни си стека от извиквания от урока за рекурсията. Main вика PayRent, а той вика Withdraw. Рамките са една над друга.

Когато Withdraw хвърли, изключението търси catch, като слиза надолу по стека. Рамка без подходящ catch се изхвърля веднага, без да довърши редовете си. Така е и с PayRent. Чак в Main има catch и програмата продължава оттам.

Ако и Main нямаше catch, щеше да се изхвърли и той. Тогава програмата спира и печата stack trace: точно тези рамки, отвътре навън.

Пробвай

Какво стига до екрана?

Сметката има 50 €, а поръчката е 120 €.

Какво ще отпечата програмата?

static void Checkout(Account account)
{
    Console.WriteLine("Плащам поръчката");
    account.Withdraw(120);
    Console.WriteLine("Поръчката е платена");
}

Account account = new Account(50);
try
{
    Checkout(account);
    Console.WriteLine("Пращам потвърждение");
}
catch (ArgumentException e)
{
    Console.WriteLine("Отказано: " + e.Message);
}
Console.WriteLine("Баланс: " + account.Balance + " €");

Отговор

Отказано: Не стигат парите
Баланс: -70 €

Плащам поръчката
Отказано: Не стигат парите
Пращам потвърждение
Баланс: 50 €

Плащам поръчката
Поръчката е платена
Отказано: Не стигат парите
Баланс: 50 €

Плащам поръчката
Отказано: Не стигат парите
Баланс: 50 €

Пробвай

Намери грешката

Наемът е 800 €, а в сметката има 500 €. Програмата казва „Наемът е платен.“ На кой ред е грешката?

Избери реда с грешката.

Празният catch хваща изключението и не прави нищо. Грешката изчезва, също като в банкомата от първата карта. Хваща се там, където може да се направи нещо смислено. Тук PayRent не може да намери пари, затова не трябва да хваща. Махни try/catch: изключението ще стигне до Main, а то ще каже на човека.

По-точно, за любопитните

Понякога методът хваща, прави нещо, например записва в дневник, и хвърля същото изключение нататък: throw; в catch. Само throw;, без име, пази оригиналния stack trace. throw e; го започва отначало от този ред.
Може и да хвърлиш друго изключение, което по-добре казва какво е станало. Тогава подай старото като втори аргумент на конструктора: new InvalidOperationException("Наемът не е платен", e). В stack trace-а ще видиш и двете.

Идеята

Свое изключение

„Не стигат парите“ е текст. Ако банкоматът иска да предложи „Внеси още 30 €“, трябва да знае колко не стигат. Да вади числото от текста е крехко. По-добре направи свой клас за изключение с поле:

class InsufficientFundsException : Exception
{
    public int Shortfall { get; }

    public InsufficientFundsException(int shortfall) : base("Не стигат " + shortfall + " €")
    {
        Shortfall = shortfall;
    }
}

Своето изключение е обикновен клас, който наследява Exception. Конструкторът подава съобщението на родителя с : base(...). Методът хвърля него, когато парите не стигат:

public void Withdraw(int amount)
{
    if (amount <= 0)
    {
        throw new ArgumentException("Сумата трябва да е положителна");
    }
    if (amount > Balance)
    {
        throw new InsufficientFundsException(amount - Balance);
    }
    Balance -= amount;
}

А викащият хваща двата случая поотделно:

Account account = new Account(100);
try
{
    account.Withdraw(130);
}
catch (InsufficientFundsException e)
{
    Console.WriteLine(e.Message);
    Console.WriteLine("Внеси още " + e.Shortfall + " € или избери по-малка сума.");
}
catch (ArgumentException e)
{
    Console.WriteLine("Отказано: " + e.Message);
}

Не стигат 30 €
Внеси още 30 € или избери по-малка сума.

По-точно, за любопитните

Имената на изключенията винаги завършват на Exception.
Своето изключение може да наследи и по-конкретен готов клас, например ArgumentException. Тогава catch за родителя хваща и него. Тук то е отделно, затова редът на двата catch няма значение.

Идеята

Свое или готово?

В C# своето изключение наследява Exception и толкова: проверени изключения няма. Въпросът е друг: нужно ли е свое изобщо?

Готово изключение, когато смисълът съвпада: ArgumentException за грешен аргумент, InvalidOperationException за действие в неподходящ момент. Свое, когато викащият трябва да го различи от другите и да реагира по свой начин или когато изключението трябва да носи данни, като shortfall.

Пробвай

Попълни празнината

Изключение за невалидна възраст. Какво трябва да пише на празното място, за да стигне съобщението до родителя?

class InvalidAgeException : Exception
{
    public InvalidAgeException(string message) : (message)
    {
    }
}

Упражнение

Изключения в класовете

Реши задачите в редактора си.

1. Музикален магазин. Магазинът пуска инструменти на демо, но не всеки може да се пусне.

Абстрактен клас MusicalInstrument с име, марка и цена (свойства само за четене) и конструктор.
Интерфейс IPlayable с метод Play().
Guitar и Piano наследяват инструмента и могат да свирят. Drum само наследява.
NotPlayableException : Exception.
MusicShop с метод DemoInstrument(MusicalInstrument instrument): ако инструментът може да свири (is IPlayable playable), пуска го, иначе хвърля NotPlayableException.

В Main пусни на демо китара Fender Stratocaster (1299 €), барабани Pearl Export (849 €) и пиано Yamaha P-45 (499 €) от масив. Хвани изключението за всеки инструмент поотделно, за да продължи демото.

Fender Stratocaster, 1299.00 €
Китарата свири акорд.
Pearl Export, 849.00 €
Pearl Export не може да се пусне на демо.
Yamaha P-45, 499.00 €
Пианото свири гама.

2. Сметка с правила. Добави към Account метод Deposit(int amount), който хвърля ArgumentException при сума 0 или по-малко. Тегленето хвърля InsufficientFundsException от урока. Сметката започва със 100 €. Прочети брой операции и после самите операции, всяка на свой ред: „внеси 50“ или „изтегли 500“. След всяка отпечатай баланса или защо операцията е отказана.

4
внеси 50
изтегли 500
изтегли -5
изтегли 120

Баланс: 150 €
Не стигат 350 €. Баланс: 150 €
Сумата трябва да е положителна. Баланс: 150 €
Баланс: 30 €

3. Невалидна възраст. Person има име и възраст. Свойството Age хвърля InvalidAgeException от картата преди тази, ако възрастта е под 0 или над 150. Конструкторът също минава през Age, за да не може да се създаде човек с невалидна възраст. Създай Мария (19), Петър (−3) и Иван (200).

Мария, 19 г.
Петър: Невалидна възраст: -3
Иван: Невалидна възраст: 200

Още задачи

Резервация на маса. Клас Restaurant с брой свободни маси и метод за резервация. Ако масите са свършили, хвърли свое NoTablesException. Ако броят на гостите е 0 или по-малко, хвърли готовото изключение за грешен аргумент.
Продукт със склад. Клас Product с наличност и метод Sell(int qty). Ако наличността не стига, хвърли OutOfStockException, което носи колко бройки има. Магазинът хваща изключението и предлага да продаде наличните.
Музикален магазин с причина. Добави към NotPlayableException поле с инструмента, който не може да свири, и отпечатай цената му в catch.

Тест

Провери се

1. Какво прави throw new ArgumentException("...")?Спира метода и изпраща изключението към викащия, докато някой не го хванеСпира цялата програма веднага, без значение дали има catchОтпечатва съобщението и методът продължава

2. main вика a, a вика b, b хвърля изключение. Само main има catch. Какво става с редовете в a след извикването на b?Изпълняват се, после изключението стига до mainИзпълняват се само ако съобщението е празноПропускат се: рамката на a се изхвърля

3. Къде е най-добре да хванеш изключението?Никъде, нека програмата спреТам, където можеш да направиш нещо смислено: да кажеш на човека, да питаш отново, да опиташ другоВеднага, в метода, който го хвърля

4. От кой клас наследява свое изключение в C#?SystemExceptionExceptionObject

Хвърляне и свои изключения

Бисквитки