Телеграмм чат группы codeblog

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

источник

18:37пожаловаться #5

Nikolajs Djačenko in CODE BLOG / C#

Ну, это через ор

источник

18:37пожаловаться #6

Ilya L Che in CODE BLOG / C#

Угу, работает. Тогда рослин анализаторы могут норм сработать, наверное.

источник

18:38пожаловаться #7

Ilya L Che in CODE BLOG / C#

Другое дело, что я ничего такого в опенсорсе не видел.

источник

18:39пожаловаться #8

Sergey Trofimov in CODE BLOG / C#

Илья, тебе в про чате скучно стало ?)

источник

18:40пожаловаться #9

Sergey Trofimov in CODE BLOG / C#

решил к шкильникам залететь

источник

18:40пожаловаться #10

Ilya L Che in CODE BLOG / C#

https://github.com/WalkerCodeRanger/ExhaustiveMatching

GitHub

WalkerCodeRanger/ExhaustiveMatching

C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions - WalkerCodeRanger/ExhaustiveMatching

источник

18:40пожаловаться #11

Ilya L Che in CODE BLOG / C#

Чем больше чатов, тем больше тем можно обсудить с разными людьми.

источник

18:40пожаловаться #12

Ilya L Che in CODE BLOG / C#

Лол, только сейчас увидел:
To enable exhaustiveness checking for a switch on type, two things must be done. The default case must throw an ExhaustiveMatchFailedException (using the ExhaustiveMatch.Failed(…) factory method) and the type being switched on must be marked with the Closed attribute.

источник

19:02пожаловаться #13

Ilya L Che in CODE BLOG / C#

То есть сперва opt-in в месте объявления типов, а потом ещё opt-in в месте свитча.

источник

19:03пожаловаться #14

Sergey Trofimov in CODE BLOG / C#

удобно)

источник

19:04пожаловаться #15

Sergey Trofimov in CODE BLOG / C#

(нет)

источник

19:04пожаловаться #16

Ilya L Che in CODE BLOG / C#

Ну и switch-expression не поддерживаются, разумеется. Но как прототип пойдёт.
У рослин-анализаторов есть ещё одна проблема - их надо в каждый проект добавлять, где хочется использовать.

источник

19:10пожаловаться #17

Sergey Trofimov in CODE BLOG / C#

так а суть в чем? не пропустить case?

источник

19:12пожаловаться #18

Ilya L Che in CODE BLOG / C#

Ага.

[Closed(typeof(Circle), typeof(Square), typeof(Triangle))]
public abstract record Shape

public sealed record Circle : Shape;
public sealed record Square : Shape;
public sealed record Triangle : Shape;

switch(shape) // Error: what about Triangle?
{
    case Circle _: throw new Exception("Circle");
    case Square _: throw new Exception("Square");
    default: throw ExhaustiveMatch.Failed(shape);
}

источник

19:19пожаловаться #19

Ilya L Che in CODE BLOG / C#

Ещё почему-то нельзя убрать дискард и просто написать case Circle:, пишет, что не поддерживается. Но разработка недалеко ушла, как я понимаю.

источник

19:20пожаловаться #20