Comments / Profile of qadmium / Habr

Denis Podgorodnichenko @qadmium

Software developer

ProfileArticlesPostsNewsComments100

Null, великий и ужасный

qadmium Sep 14 2016 at 13:43

>Если формула отпарсилась в дерево — инпут годный. Но от переполнения при умножении это не спасёт.

а инпут к формуле?

>А во сколько раз дольше ваша проверка будет считаться (да и писаться, с тестами), чем само вычисление?

один раз — при комипяции. вы вообще слышали про контракты?

0

Null, великий и ужасный

qadmium Sep 14 2016 at 12:27

А как? Получить ArithmeticException способов больше одного: сложение, умножение, деление, логарифм — всё проверками обложить?

ну если делаем лабораторку в универе, то можно и не обкладывать )) а какие еще есть варианты? input всегда нужно валидировать

SystemException нельзя ловить как таковой, а OverflowException — можно

я попробую раскрыть свою мысль: если мы говорим, например, про деление то контракт у деления должен выгялдить вот так:

Contract.Require(divisor != 0);

если мы говорим про overflow то у функции сложения контракт будет вглядеть вот так:

Contract.Require(int.MaxValue — arg1 > arg2 && int.MaxValue — arg2 > arg1);

этот контракт всем доступен, значит клиент может выполнить эти условия, а значит нарушение контракта сигнализирует о неверном коде. т.о ничего ловить не надо, надо закрашиться

надо ли делать так всегда? конечно же нет, иначе будет еще один замечательный чистый язык, на котором никто ничего не пишет, а компромиссы в простых случаях даже не приемлемы, а желанны

а вообще за всю мою практику из наследников SystemException мне приходилось ловить и проглатывать только TaskCanceledException, все что было связано с арифметикой — это всегда была моя ошибка

0

Null, великий и ужасный

qadmium Sep 14 2016 at 08:42

валидировал бы ввод и отселаживал overflow/underflow без эксепций, удивительно просто, да?

0

Null, великий и ужасный

qadmium Sep 14 2016 at 08:40

возврат DBZ — часть естественного контракта функции. Функции деления, например.

нет

в программе кнопок больше одной, одна может не работать. Главное — побочных эффектов не настругать.

и что? не работает — перепиши

Функция может работать в рамках контракта, который мы где-то нарушили. Самое банальное — плохо проверили пользовательский ввод. Нехорошо, но не смертельно — введут ещё раз.

контракт нарушен -> написано неверено -> смысла работать дальше нет

0

Null, великий и ужасный

qadmium Sep 13 2016 at 16:30

если бы получили DBZ из функции, значит функция написана неверено, какой смысл что-то изолировать, если у вас программа написана неверно? хоть какой-то смысл это имеет на границе плагина или чего-то такого что можно безболезненно прибить и оно при этом нам не подконтрольно

0

Null, великий и ужасный

qadmium Sep 13 2016 at 16:25

если у вас ожидается что инты будут переполняться, то, очевидно, использовать механизм исключений для этого глубоко неправильно. Впрочем как и ловля любого SystemException без rethrow

+1

Null, великий и ужасный

qadmium Sep 13 2016 at 08:23

тогда, очевидно, должен быть способ задать поведение по умолчанию. А оно может быть различным для каждого случая, и тогда начинаем использовать?.. и ??, либо различным для каждого типа, тогда нам нужен или Null Object или типизированный null(еще вопрос где описать поведение такого null). Все это очень сложно, гораздо проще не иметь дела с null вообще, и тогда, возможно, мы увидим какой-то сахар для этого в языке

0

Null, великий и ужасный

qadmium Sep 13 2016 at 07:44

>Что? Нет! Ну как, конечно если язык падает при доступе к такой переменной и заставляет ее всячески обворачивать то да, ошибка. А так — нет. И никаких лишних движений.

Framework Design Guidelines

DO NOT catch System.Exception or System.SystemException in framework code, unless you intend to rethrow.

Единственное, что можно сделать: поймать, написать логи/дампы/перезапуск и упасть. NRE это однозначная ошибка в коде, работать дальше смысла не имеет

0

Null, великий и ужасный

qadmium Sep 12 2016 at 09:18

Как вы на этапе компиляции библиотеки отследите все случаи, когда использующий ее код передает в нее null?

code contracts

0

Null, великий и ужасный

qadmium Sep 12 2016 at 09:15

Почему if(something != null) вдруг „антипаттерн“? Единственное назначение которого — выбросить исключение поближе к месту предательства“ — никто не выбрасывает NullReferenceException и никто не отменял валидацию параметров метода (InvalidArgumentException) или ошибочных сценариев (InvalidOperationException).

потому что в свете последних за 20 лет веяний в ООП эта задача должна быть переложена на контракты

+3

Null, великий и ужасный

qadmium Sep 12 2016 at 08:25

грамотный разбор, добавить нечего

На предвосхищение ООП через 20 лет не претендую

это пять ))

+1

ООП будущего: Барух Садогурский и Егор Бугаенко о том, как мы будем программировать через 20 лет

qadmium Sep 3 2016 at 08:31

В Optional ещё можно лямбду выполнить если там пусто и ещё много чего можно

все тоже самое, там должно быть просто выражение

Кроме того Optional в сигнатуре медота означает, что метод может вернуть пустое значение. Синтаксис чище выходит. Не надо гадать, может там быть пустое значение, или нет.

да, это плюс

Но с таким подходом наверное лучше особый синтаксис делать для мест в которых null не может вернуться — их меньше.

в дотнете ровно все наоборот, обычно это нежданчик когда тебя null отдали, но в тех местах, где это есть, обьёмы кода впечатляют

0

ООП будущего: Барух Садогурский и Егор Бугаенко о том, как мы будем программировать через 20 лет

qadmium Sep 3 2016 at 00:56

простите но у нас Nullable вместо Optional, в чем разница?

+2

ООП будущего: Барух Садогурский и Егор Бугаенко о том, как мы будем программировать через 20 лет

qadmium Sep 2 2016 at 23:59

repository.GetBean()?.GetData()?.GetName() ?? «Bad Data»

все уже давно есть ))

+1

Вывод типов в программировании

qadmium Sep 2 2016 at 19:22

А общий тип вводят дженерики, которые есть в Java, C#, Delphi, и напрочь отсутствуют в С++.

C#?

 class Program
    {
        static void Main(string[] args)
        {
            Generic(1);
            Generic("1");
        }

        static string Generic<T>(T value)
        {
            return value.ToString();
        }
    }

int:

--- C:\Users\sow\Documents\Visual Studio 2015\Projects\testawait\testawait\Program.cs 
    24:             return value.ToString();
029C2DE8  push        ebp  
029C2DE9  mov         ebp,esp  
029C2DEB  sub         esp,8  
029C2DEE  xor         eax,eax  
029C2DF0  mov         dword ptr [ebp-8],eax  
029C2DF3  mov         dword ptr [ebp-4],ecx  
029C2DF6  cmp         dword ptr ds:[0FBC7D4h],0  
029C2DFD  je          029C2E04  
029C2DFF  call        72BE6150  
029C2E04  lea         ecx,[ebp-4]  
029C2E07  call        717B6220  
029C2E0C  mov         dword ptr [ebp-8],eax  
029C2E0F  mov         eax,dword ptr [ebp-8]  
029C2E12  mov         esp,ebp  
029C2E14  pop         ebp  
029C2E15  ret

string:

--- C:\Users\sow\Documents\Visual Studio 2015\Projects\testawait\testawait\Program.cs 
    24:             return value.ToString();
029C2E2C  in          al,dx  
029C2E2D  or          al,33h  
029C2E2F  ror         byte ptr [ecx+4D89F445h],0FCh  
029C2E36  mov         dword ptr [ebp-8],edx  
029C2E39  cmp         dword ptr ds:[0FBC7D4h],0  
029C2E40  je          029C2E47  
029C2E42  call        72BE6150  
029C2E47  mov         ecx,dword ptr [ebp-4]  
029C2E4A  mov         eax,dword ptr [ecx]  
029C2E4C  mov         eax,dword ptr [eax+28h]  
029C2E4F  call        dword ptr [eax]  
029C2E51  mov         dword ptr [ebp-0Ch],eax  
029C2E54  mov         eax,dword ptr [ebp-0Ch]  
029C2E57  mov         esp,ebp  
029C2E59  pop         ebp  
029C2E5A  ret

+2

ООП будущего: Барух Садогурский и Егор Бугаенко о том, как мы будем программировать через 20 лет

qadmium Sep 2 2016 at 14:27

а почему нельзя просто не возвращать null?

0

ООП будущего: Барух Садогурский и Егор Бугаенко о том, как мы будем программировать через 20 лет

qadmium Sep 2 2016 at 11:17

вот только там он протеворечит сам себе, потому что то, что он показал это ActiveRecord и repository, и совершенно верно ему об этом рассказали. При этом рассказывает какие-то сказки про active record, очевидно не читав даже определения

+1

Tarantool: примеры использования

qadmium Sep 2 2016 at 09:02

ога спасибо большое, а то я не нашел в списке на сайте

0

Рейтинг Elo в играх для двух игроков

qadmium Sep 2 2016 at 08:56

забавно, как раз 2 года назад на ASP.NET MVC написали прилагу с рейтингом эло для кикера. Я аж сначала подумал, что кто-то из наших запостил, настолько похоже ))

0

ООП будущего: Барух Садогурский и Егор Бугаенко о том, как мы будем программировать через 20 лет

qadmium Sep 2 2016 at 07:57

программиста который пишет так выкидывают в окно без выходного пособия

+6

4