🚀Рассказываем о диагностиках в новом релизе

В C# анализаторе появилось несколько крутых диагностик, одна из них – V3204. Анализатор теперь может обнаружить нерабочую проверку на переполнение, вызванную неявным приведением типов! 🐞

Давайте взглянем на пример кода:

`bool IsValidAdd(ushort x, ushort y) { if (x + y < x) return false; return true; }

В данном примере задача метода проверить, что при сложении двух чисел типа 'ushort' не произошло переполнения. В случае переполнения сумма чисел должна оказаться меньше одного из её операндов.

Однако проверка не сработает, из-за особенности работы оператора '+'. Дело в том, что он не имеет перегрузки для сложения типа 'ushort', в связи с чем числа сначала будут приведены к типу 'int' и после этого выполнится сложение. В итоге, проверка не будет работать, так как складываются значения типа 'int' и переполнение произойти не может.

А если хотите почитать еще про новые C# диагностики, вы можете найти их в документации: V3205, V3206, V4006.