Возможно ли оптимизировать Inline метода с throw с помощью директив препроцессора?

Question

[Beginer494o]

Я гонюсь за оптимизацией. У меня есть метод, в котором выбрасывается exception. Но мне хотелось бы сделать inline. Произойдет ли буст производительности в Release версии приложения, если я сделаю что-то подобное?

public void Foo()
{
    //Code
#if DEBUG
    if (capacity <= 0)
        throw new Exception("Capacity should be greater than zero");
#endif
    //Code
}

Answer 1

[Василий Банников]

Да, возможно. Эта проверка с exception просто исчезнет из Release сборки в таком примере.
Но в таком случае лучше использовать Debug.Assert - они тоже в релизе исчезнут.
Но если в штатной ситуации capacity реально может оказаться меньше нуля - лучше проверку оставить.
Ну и ещё есть какой-то атрибут, чтобы показать JIT-у, что выпадение исключения в твоём коде - это что-то очень редкое, и тогда JIT будет оптимизировать код исходя из этого.

+ Если ты уберёшь эту проверку на 0 совсем, то тогда производительность наоборот может упасть, тк jit будет дальнейший код оптимизировать исходя из того, что capacity может быть меньше нуля => будет вставлять повсюду проверки на выходы за границы, хотя в случае с проверкой и исключением - jit бы знал, что такое невозможно и наоборот бы выпилил дальнейшие проверки.

+ Обязательно пиши бенчмарки, если пишет что-то неочевидное, что должно улучшить производительность.

Comments

[mayton2019]

Собственно семантика заложена в термине. Exception. Исключение. Что-то исключительное. Редкое.
Например мы работаем с файловой системой на сетевом диске и внезапно диск отъехал.
(Сеть мигнула). Не будем-же мы каждую файловую операцию снабжать кодом ошибки (как это
было в языке С ). Нам удобнее исходить из позитивного сценария.

Проверять capacity через Exception - я-бы не стал. Лучше бизнес логику закрепить тестами
и это загадочное капасити ловить на самом входе. Если это техническая валидация например
входных данных то она спокойно отбросит это кривое капасити в сторону безо всяких исключений.

[Василий Банников]

mayton2019,

Например мы работаем с файловой системой на сетевом диске и внезапно диск отъехал.

Тут ещё вопрос в том, на сколько такая ситуация исключительна)

[mayton2019]

Василий Банников, а ты бы как задизайнил? :)

[mayton2019]

Во многих современных ЯП происходит плавный отказ от пре-процессора. Разработчики считают
что возможностей языка достаточно чтобы отработать такие кейсы. А споры о производительности
нивелируются если мы сравним сколько на самом деле потребляет прикладной код. И проверка
флага или переменной не будет столь значимой. Более значимо - работать в парадигме чистого
языка без предварительных аугментаций.

Answer 2

[mayton2019]

Не скажу насчет C# но в других языках и технологиях обработка Exception когда оно уже случилось
приводит к тяжелым последствиям для производительности. Мне кажется лучше возвращать код
ошибки или как-то по другому проверять capacity.

Comments

[Beginer494o]

Спасибо за ответ