Къде е Ръждата?!

Как става номера?
Питам съвсем сериозно, щото подозирам, че просто са вградили статичен анализатор в езика.

Заклеваш се, че в unsafe кода не правиш глупости, а компилатора се прави, че в safe кода всичко е точно: https://github.com/rust-lang/rust/issues/90308

айде бе, ще пиша ли? я да погледна в кода си - ами не пиша. виждал съм такъв код и ме дразни.
проверявам само fopen за да изкарам съобщение за потребителя "ей тоя файл не се отваря", fwrite и тн по дефолт не ги проверявам. това ми е дефолта, но ако има реален юзкейс изискващ нещо допълнително, чак тогава го правя. например във фирмата работим с големи файлове , които се пишат във мрежа. случвало се е мрежата да дефектира и файла да се запише частично , затова в края на записа също правя проверка. но самото писане е без проверки, защото не може да фейлне само един запис, фейлват всички от дефекта нататък. ще кажеш ами ако може? ако може горя. но мен това ми е философията - оставям практиката да води, а не "логиката". за 30 години практика съм пробвал различни подходи, вкл и изцепшъни, но съм си избрал точно тоя

Очевидно, за кейсовете когато не ни трябва да проверяваме за грешки дискусията error vs exception е безпредметна.

Ако кодът, който викаш е е достатъчно "плосък" (няма голямо ниво на вложеност) тогава вероятно няма разлика как ще проверяваш.

Ако, обаче, не викаш fwrite директно ами викаш някой sql.insert (който ще викне fwrite, който ще викне send щото базата е в мрежата), тогава цялата верига от insert() горе до send() долу ще трябва да проверява за грешка и да я връща нагоре, докато с try/catch всичко това става автомагично.

Това мнение е било редактирано от dvader на 26-04-2025, 08:13

Мен повече ме притесняват deadlock/livelock сценариите.
Пример:

Нишка 1:
mutex_a.lock();
mutex_b.lock();

Нишка 2:
mutex_b.lock();
mutex_a.lock();

Това нещо компилатора хваща ли го?

Не

ами не е така, много ясно че всичкия реален код е дървовиден, вкл и моя. освен това дори да беше проверки по цялата верига (виждал съм такъв код и не го одобрявам), то вредата от употребата на изцепшъни също се вдига пропорционално. примерно между писанията заключваме и отключваме разни неща. заключиш, пишеш, гръмва изцепка и отключването се прескача. нещото остава заключено, разни нишки увисват върху него и край, програмата забива. "телепортирането" не е добро, както и да го погледнеш. в С++ специално тоя сценарий можеш да го заобиколиш с RAII но модерните езици нямат деструктори, така че нямат RAII. и убеден съм дори с RAII можеш да се нахендриш пак. иначе try-catch е добро като глобална защита срещу неочакван краш, буташ цялия main вътре и ако кеча се задейства показваш табела "нещо се осра, искаш ли да пробваме запис на нещата преди рестарт" или от тоя сорт

за това в Джава има try-finally:

но да, с деструктори е по-лесно и няма толкова бойлерплейт, въпреки че има други проблеми, примерно в Ръст може да имаш BufWriter и деструктора flush()-ва буфер, но ако не може да го флъшне грешката се поглъща, та ако искаш да си сигурен,че данните са се записали, трябва сам да извикаш bufWriter.flush() и да провериш за грешка

Това мнение е било редактирано от Bender++ на 26-04-2025, 12:13

Ами не мога да те разбера - къде проверяваш за грешки тогава?
Или викаш exit на fwrite фейлне?

Цялата ви драма с тия изключения е, че не сте длъжни да ги обработвате. Затова се зарязват необработени (по малко писане), не сте длъжни да ги декларирате (не се знае от къде какво може да гръмне) което води до тия скокове на горе по-веригата, до място на което някой е решил да хване нещо.

Основната разлика между изключението и връщан статус за грешка е, че изключението не бива (не, че не може) да се ползва за логически операции (flow control), докато върнат статус за грешка може да се използва в логически оператор (то и това му е идеята). Така че, въпреки приликите двете не са директно заменяеми и много често се налага да се ползват успоредно (пиша го от позицията на човек пишещ основно на java, демек принуден да ползва/обработва изключения почти на всеки ред)

Ами не мога да те разбера - къде проверяваш за грешки тогава?
Или викаш exit на fwrite фейлне?

e нали ти казах - в началото (fopen) и евентуално в края. exit не викам никога. само юзера има право да затвори програмата.