patterns

[ufcpp]

前にブログ書いたやつ: https://ufcpp.net/blog/2018/12/cs8patterns/

ページ追加・既存ページ修正

• [x] 型スイッチのページは C# 8.0 のパターンマッチング前提に直した
• [x] ↑のページに「パターン自体の詳細は次項で説明」+リンクを挿入
• [x] https://ufcpp.net/study/csharp/datatype/patterns/ ページ自体は作った

書くこと

• [x] それぞれの解説
• [x] 定数パターン、ユーザー定義演算子は見ない。is null は常に reference equals
  • [x] bool X<T>(T x) => x is null; (ジェネリックな変数に is null)が行けるようになるもの 8.0 から
• [x] 実例 https://gist.github.com/ufcpp/37702d99a7c0148b3b0d0f8b82e46414
• タプル
  • [x] 多値switch
  • [x] 優先度: 2-arity以上のタプル構文 → Deconstruct(拡張メソッド含む) → ITuple インターフェイス実装
• [x] discard は var _ は行けるけど _ だけはダメ
  • swtich式だと書けるようになってる
  • 再帰パターンだと (1, _) とか var なしで discard 書ける
• [x] 型スイッチの方にも書いてあるけど、型パターンは基本 as + null チェックに展開されてる話、改めて書く？
• 再帰パターン
  • [x] T(1, 2) みたいに型指定 + 位置/プロパティ パターンも書ける
  • [x] 型が自明の時は (1, 2) みたいに型を省略できる
    • ただし、1-tuple だけは定数パターン特別が付かなくなるので、var (...) か (...) _ みたいな書き方必要
    • 最終的には 0-tuple もマッチできそう。x is ()。0-tuple はパターンでだけ使える。分解代入・宣言では使えない。
  • [x] ほんと再起で、T1 { X: T2 _, Y: T3(1, 2) } みたいに入れ子にできる
• [x] 対称性
  • new T(1, 2) で構築できるんなら、is T(1, 2) でマッチできていいはず
  • new T(x: 1, y: 2) で構築できるんなら、is T(x: 1, y: 2) でマッチできていいはず
  • new T { X = 1, Y = 2 } で構築できるんなら、is T { X: 1, Y: 2 } でマッチできていいはず
• [x] 順序保証・副作用の保証はないので注意
  • 位置パターンとプロパティパターン、どっちが先に呼ばれるかの保証はない
  • 引数全部が discard の場合、Deconstruct メソッドの呼び出し自体消えることがある

[ufcpp]

struct X
{
    public void Deconstruct() { }
    public void Deconstruct(out int a) => a = 0;
    public void Deconstruct(out int a, out int b) => (a, b) = (0, 0);
}

Console.WriteLine(x is ());
Console.WriteLine(x is var ());
Console.WriteLine(x is X ());
//Console.WriteLine(x is (1)); // これは Deconstruct 見ない。 x is 1 と同じ意味。エラーに。
Console.WriteLine(x is (1) _);
Console.WriteLine(x is (0) _);
Console.WriteLine(x is X (1));
Console.WriteLine(x is X (0));
//Console.WriteLine(x is var (0)); // これはダメ
Console.WriteLine(x is (_, _));
Console.WriteLine(x is (1, _));
Console.WriteLine(x is (0, 0));

[ufcpp]

オーバーロード解決はせず

[ufcpp]

using System;
using System.Runtime.CompilerServices;

class X : ITuple
{
    public object this[int index] => index;
    public int Length => 3;
}

class Program
{
    static void Main()
    {
        M(new X());
    }

    static void M(object x)
    {
        if (x is (int a, int b, int c))
        {
            // マッチする。 (0, 1, 2) が表示される。
            Console.WriteLine((a, b, c));
        }
    }
}

[ufcpp]

https://ufcpp.net/study/csharp/datatype/patterns/