а почему и как надо сделать?

scope(failure) и так выполняется на ошибке, а ты внутри ещё одну хочешь кинуть.

Библиотека твоя?

Как-то не правильно для библиотеки кидать Error. Возможно в ней баг или недоработка.

нет не моя

бибилиотека во время отправки данных не обрабатывает обрыв подключения

Лови данный Error там где используешь библиотеку. Что-то вроде: catch (Error e) { ...}

я пытаюсь в раиках самообразования понять как это исправить

вот: https://github.com/ikod/dlang-requests/blob/5a501e3797bc48c5c75d864d05a749df80534961/source/requests/ftp.d#L139

Ловить Эксепшены надо когда они явные(предусмотренные) если что-то непонятное происходит, то это уже Error так?

Просто почему в коде тогде все эксепшены ловят, а error нет? Все надеются, что исполнители либ предусмотрели все очевидные проблемные места?

В D базовый класс для ошибок - Throwable. От него наследуются Error и Exception. Разница между ними в том, что Error предназначен для критических ошибок. Подразумевается, что с ними ничего нельзя сделать во время исполнения, почему, собственно, assert кидает Error.

Ну вот тут оно по логике что должно было бы кидать? error или что?

в момент обрыва соединения

Exception.

А error в каком случае должно было бы?

В debug-версии на невалидный вызов какого-нибудь метода.

Хотя, для библиотеки, такое только в особых случаях.

так. А если автор либы вообще эксепшены нигде на бросает, то в блок catch в случае ошибки что будет попадать?

Что будет попадать, то и будет попадать.

как я понимаю кидается объект исключения с определенным текстом, который дальше в проге и ловится. Верно? Если его не будет, то будет ловиться какая-то каша?

Какая каша?

а что тогда будет ловиться? Если либа ничего не кинула

Если ни либа ни твой код ничего не кидают - ничего ловиться и не будет

Если ни либа ни твой код ничего не кидают - ничего ловиться и не будет

Ну, в принципе, какая-нибудь нижележащая либа может что-то бросать. Например, про обрыв соединения или отсутствие доступа к файлу. Автор либы вряд ли предусмотрел всё, да ему это и не нужно было, он ведь знал, что исключения всё равно пробросятся выше.

У Ди модель исключений больше всего на какой язык похожа?

Стандартная тут модель. За исключением разницы между Error и Exception.

Я никак не могу понять. Причем тут наследование от какого-то базового класса исключений. Вот я пишу throw new Exception("my exception") может тут имеется ввиду, что я создаю исключение с типом Exception или как?

Ты ООП знаешь?

Судя по всему хреново я его знаю

тут создается объект Exception

Ну да, создается и кидается как исключение

в С++ можно любой объект выкинуть)

а в D только то что наследуется от Throwable

так вот от Throwable наследуются Error и Exception

В коде выше получается кидается тот самый базовый класс исключений о котором в документации пишут?

нет

смысл в том, что Exception ловят и это нормально, а Error не ловят обычно, так как это какие-то серьёзные ошибки

обычно библиотечный код не выбрасывает Error

и его производные

их ловить не имеет смысла

ловить, если ты точно хочешь ловить нужно Exception

а если ты точно знаешь класс исключения, то сначала его а потом Exception

Кинул тип Exception: throw new Exception("my exception") try { все хорошо} catch(Exception e) {выводим e} — поймал e c типом Exception так?

либо ты не всё написал, либо ты не понял сути исключений

catch не самостоятельный блок

он всегда идёт после блока try

да я не все написал

try { somecode(); } catch( MySpecialException e ) { processSpecialException(e); } catch( Exception e ) { processOther(e); }

где-то далеко в somecode может быть выбрашено как MySpecialException так и MyScpecialException2

первое поймается первым блоком, а второе вторым, потому что MySpecialException должно наследоваться от Exception (в каком-то поколении)

проясняется?

короче все исключения, которые имеет смысл ловить наследуются от Exception

и ловить "все" нужно в последнюю очередь, так как отдельный специализированный блок упрощает код обработки отдельных ситуаций

Вот. Значит все же throw new Exception("my exception") это мы чисто бросаем класс Exception в чистом виде?

"чистый вид" это что?

ну без наследования от него

а где ты тут наследование увидел?

auto e = new Exception("msg"); throw e;

почти тоже самое

исключение такой же класс и так же порождаются объекты

просто их можно выбросить с помощью throw

так. щас еще раз все перечитаю

буф... а можешь посоветовать какие-то статьи в инете где все для дураков разжевно? Вот практически с нуля

catch (Exception e) поймает все исключения, которые наследуются от Exception.

ERROR: S client not available

Я никак не пойму. Вот есть класс Exception в нем какие-то примитивы определены (если да то какие). Мы можем от него унаследоваться и создать что-то свое так?

Ты серьезно?

в С++ можно любой объект выкинуть)

а в D только то что наследуется от Throwable

так вот от Throwable наследуются Error и Exception

Ну так и от Exception тоже наследуется дальше

Для этого и существует возможность писать catch для разных типов

Иначе это вообще бы никакого смысла не имело

Вот смотрю я на методы в https://dlang.org/phobos/std_exception.html и вижу что-то типа auto assertNotThrown и не понимаю где они должны\могли бы использоваться

А полей там 4 (на память): сообщение, файл, строка и следующее исключение

А причем тут std?

а я не туда даже смотрю?

Исключения это часть языка

А эта фигня в std она зачем?

Некоторые удобные методы

суть assert — проверка

соответственно методы в std.exception что-то проверяют

по бОльшей части

соврал: исключения — часть рантайма всё-таки

но синтаксис встроен в язык

https://github.com/dlang/druntime/blob/master/src/object.d#L1619

можешь полностью изучить что из себя представляет иерархия Object -> Throwable -> Exception

Вот смотрю я на методы в https://dlang.org/phobos/std_exception.html и вижу что-то типа auto assertNotThrown и не понимаю где они должны\могли бы использоваться

Для проверки, что какой-то код не кидает исключение.

Так все кажись немного разобрался

может конечно опять что-то криво понимаю, но...

Щас все же свои мысли напишу. Если опять будет херня — так и скажите, чтобы я знал)

Есть базовый класс Exception. throw new Exception("my exception") Бросает исключение от этого базового класса. Если нужно что-то специфическое. Мы наследуемся от него и уже свое исключение реализуем. И потом его кидаем так?

И еще вопрос. Чем лучше исключения кодов возврата?

Есть базовый класс Exception. throw new Exception("my exception") Бросает исключение от этого базового класса. Если нужно что-то специфическое. Мы наследуемся от него и уже свое исключение реализуем. И потом его кидаем так?

всё так

фу. слава богу

И еще вопрос. Чем лучше исключения кодов возврата?

тем, что тебе не нужно прокидывать их через весь стек

прокидывать = писать обработку кода ошибки и если он плох, то дальше его передавать по цепочке вызовов вверх