第3回　型による分岐の改良：特集：C# 7の新機能詳説（2/2 ページ）

object o = ……省略……
if (o is string s)
  WriteLine(s);

public static void SampleMethod3(Shape s)
{
  if (s is Ellipse e) // 型と判定と同時にキャストしてeに代入
  {
    if (e.Width == e.Height)
      WriteLine($"直径が{e.Width}の円です");
    else
      WriteLine("だ円です");
  }
  else if (s is Rectangle)
    WriteLine("長方形です");
  else if (s == null)
    WriteLine("nullです");
  else
    WriteLine("それ以外の図形です");
}

object o1 = ……省略……
bool isCircle = (o1 is Ellipse e) ? (e.Width == e.Height) : false;

object o1 = 123;

// 従来の書き方
if (object.Equals(o1, 123))
  WriteLine("o1は123です");

// is演算子（定数パターン）
if (o1 is 123)
  WriteLine("o1は123です");

object o2 = null;

// 従来の書き方
if (o2 == null)
  WriteLine("o2はnullです");

// is演算子（定数パターン）
if (o2 is null)
  WriteLine("o2はnullです");

if (DateTime.Today is var today
    && today.Day is 13 
    && today.DayOfWeek is DayOfWeek.Friday)
  WriteLine("今日は13日の金曜日です");

public static void SampleMethod4(Shape s)
{
  switch (s) // 参照型でもOK
  {
    case Ellipse e when e.Width == e.Height:
      // sがEllipseであり、かつ、when句の条件を満たす場合に、
      // sはEllipse型の変数eにキャストされて、この分岐に来る
      WriteLine($"直径が{e.Width}の円です");
      break;
    case Ellipse e: // 上のwhen句でマッチしなかったEllipseは、こちらに来る
      WriteLine("だ円です");
      break;
    case Rectangle r: // 変数rの省略は不可
      WriteLine("長方形です");
      break;
    case null:
      WriteLine("nullです");
      break;
    default:
      WriteLine("それ以外の図形です");
      break;
  }
}

switch (s)
{
  default:
    WriteLine("それ以外の図形です");
    break;
  case Ellipse e:
    // sがEllipse型であれば、必ずここに入ってしまう
    WriteLine("だ円です");
    break;
  case Ellipse e when e.Width == e.Height:
    // sがEllipse型のときは全て上のcaseに入ってしまい、ここには絶対に来ない
    WriteLine($"直径が{e.Width}の円です");
    break;
}

object o = ……省略……
switch(o)
{
  // これはコンパイルエラーになる
  //case Ellipse e:
  //case Rectangle r:
  // ここに来たとき、変数eと変数rのどちらかは未割り当て
  //  if (e.Width < 1.0 || r.Width < 1.0)
  //    WriteLine("幅が狭い図形");
  //  break;

  // これはOK
  case Ellipse e when e.Width < 1.0:
  case Rectangle r when r.Width < 1.0:
    WriteLine("幅が狭い図形");
    break;

  case null:
    WriteLine("nullです");
    break;
  default:
    WriteLine("それ以外のオブジェクトです");
    break;
}