Przypadek pasujący do wzoru, gdy

Question

Piszę prosty tokenizer matematyczny i próbuję użyć nowej funkcji C# pattern matching.

Tokenizer jest dość prosta:

public IEnumerable<IToken> Tokenize(string input) 
    { 
     const char decimalSeparator = '.'; 
     string inputWithoutSpaces = input.Replace(" ", string.Empty); 
     var numberBuffer = new StringBuilder(); 
     var letterBuffer = new StringBuilder(); 
     foreach (char c in inputWithoutSpaces) 
     { 
      switch (c) 
      { 
       case var _ when IsTerm(c, letterBuffer): 
        if (numberBuffer.Length > 0) 
        { 
         yield return EmptyNumberBufferAsLiteral(numberBuffer); 
         yield return new Operator('*'); 
        } 
        letterBuffer.Append(c); 
        break; 
       case decimalSeparator: 
       case var _ when IsDigit(c): 
        numberBuffer.Append(c); 
        break; 
       case var _ when IsOperator(c): 
        if (numberBuffer.Length > 0) 
        { 
         yield return EmptyNumberBufferAsLiteral(numberBuffer); 
        } 
        if (letterBuffer.Length > 0) 
        { 
         yield return EmptyLetterBufferAsTerm(letterBuffer); 
        } 
        yield return new Operator(c); 
        break; 
      } 
     } 
     if (numberBuffer.Length > 0) 
     { 
      yield return EmptyNumberBufferAsLiteral(numberBuffer); 
     } 
     if (letterBuffer.Length > 0) 
     { 
      yield return EmptyLetterBufferAsTerm(letterBuffer); 
     } 
    } 

Używam case var _ ponieważ chcę, aby dopasować według stanu bez użycia if-else if łańcuch, ale jestem w stanie napisać case when bez określania var variableName.

Czy istnieje jakiś sposób na wykonanie takiej operacji? Czy jest to zalecany sposób na robienie tych rzeczy?

Answer 1

Istnieje "fantazyjny" sposób na porównywanie wzorców w ten sposób, przy użyciu tak zwanych aktywnych wzorów. C# nie obsługuje (jeszcze) aktywnych wzorów, ale see this answer for an example of what they might look like if/when implemented.

Więc za pomocą aktywnych wzorów, Twój kod będzie w końcu wygląda mniej więcej tak:

switch (c) 
{ 
    case Term(letterBuffer): 
     ... 
     break; 
    case decimalSeparator: 
    case Digit(): 
     ... 
     break; 
    case Operator(): 
     ... 
     break; 
} 

Jeśli chcesz, aby zobaczyć tę funkcję w przyszłej wersji C#, please upvote it on the csharplang github repo.

W międzyczasie ograniczasz się do wyboru między trzymaniem się stwierdzeń if, jak mówili inni, lub używaniem, gdy jesteście strażnikami. To, na co tak naprawdę idziesz, to tylko kwestia preferowanego stylu.