Mendeteksi IEnumerable "Mesin Negara"

Saya baru saja membaca artikel yang menarik berjudul Getting too cute with c # yield return

Itu membuat saya bertanya-tanya apa cara terbaik untuk mendeteksi apakah IEnumerable adalah kumpulan enumerable yang sebenarnya, atau apakah itu mesin negara yang dihasilkan dengan kata kunci hasil.

Misalnya, Anda bisa memodifikasi DoubleXValue (dari artikel) menjadi sesuatu seperti:

private void DoubleXValue(IEnumerable<Point> points)
{
    if(points is List<Point>)
      foreach (var point in points)
        point.X *= 2;
    else throw YouCantDoThatException();
}

Pertanyaan 1) Apakah ada cara yang lebih baik untuk melakukan ini?

Pertanyaan 2) Apakah ini sesuatu yang harus saya khawatirkan ketika membuat API?

Pertanyaan Anda, seperti yang saya mengerti, tampaknya didasarkan pada premis yang salah. Biarkan saya melihat apakah saya dapat merekonstruksi alasannya:

• Artikel yang ditautkan ke menjelaskan bagaimana urutan yang dibuat secara otomatis menunjukkan perilaku "malas", dan menunjukkan bagaimana ini dapat mengarah pada hasil kontra-intuitif.
• Oleh karena itu saya dapat mendeteksi apakah contoh IEnumerable yang diberikan akan menunjukkan perilaku malas ini dengan memeriksa untuk melihat apakah itu dihasilkan secara otomatis.
• Bagaimana aku melakukan itu?

Masalahnya adalah premis kedua salah. Bahkan jika Anda dapat mendeteksi apakah IEnumerable yang diberikan adalah hasil dari transformasi blok iterator (dan ya, ada cara untuk melakukan itu) tidak akan membantu karena anggapan tersebut salah. Mari kita ilustrasikan alasannya.

class M { public int P { get; set; } }
class C
{
  public static IEnumerable<M> S1()
  {
    for (int i = 0; i < 3; ++i) 
      yield return new M { P = i };
  }

  private static M[] ems = new M[] 
  { new M { P = 0 }, new M { P = 1 }, new M { P = 2 } };
  public static IEnumerable<M> S2()
  {
    for (int i = 0; i < 3; ++i)
      yield return ems[i];
  }

  public static IEnumerable<M> S3()
  {
    return new M[] 
    { new M { P = 0 }, new M { P = 1 }, new M { P = 2 } };
  }

  private class X : IEnumerable<M>
  {
    public IEnumerator<X> GetEnumerator()
    {
      return new XEnum();
    }
    // Omitted: non generic version
    private class XEnum : IEnumerator<X>
    {
      int i = 0;
      M current;
      public bool MoveNext()
      {
        current = new M() { P = i; }
        i += 1;
        return true;
      }
      public M Current { get { return current; } }
      // Omitted: other stuff.
    }
  }

  public static IEnumerable<M> S4()
  {
    return new X();
  }

  public static void Add100(IEnumerable<M> items)
  {
    foreach(M item in items) item.P += 100;
  }
}

Baiklah, kita punya empat metode. S1 dan S2 adalah urutan yang dihasilkan secara otomatis; S3 dan S4 adalah urutan yang dibuat secara manual. Sekarang misalkan kita memiliki:

var items = C.Sn(); // S1, S2, S3, S4
S.Add100(items);
Console.WriteLine(items.First().P);

Hasil untuk S1 dan S4 akan menjadi 0; setiap kali Anda menyebutkan urutannya, Anda mendapatkan referensi baru ke huruf M yang dibuat. Hasil untuk S2 dan S3 adalah 100; setiap kali Anda menyebutkan urutannya, Anda mendapatkan referensi yang sama dengan M yang Anda dapatkan terakhir kali.Apakah kode urutan dihasilkan secara otomatis atau tidak adalah ortogonal terhadap pertanyaan apakah objek yang disebutkan memiliki identitas referensial atau tidak. Dua properti itu - pembangkitan otomatis dan identitas referensial - sebenarnya tidak ada hubungannya satu sama lain. Artikel yang Anda tautkan agak mengkonfigurasinya.

Kecuali penyedia urutan didokumentasikan sebagai selalu menawarkan benda-benda yang memiliki identitas referensial , tidak bijaksana untuk berasumsi bahwa ia melakukannya.

Saya pikir konsep kuncinya adalah bahwa Anda harus memperlakukan IEnumerable<T>koleksi apa pun sebagai tidak berubah : Anda tidak boleh memodifikasi objek dari itu, Anda harus membuat koleksi baru dengan objek baru:

private IEnumerable<Point> DoubleXValue(IEnumerable<Point> points)
{
    foreach (var point in points)
        yield return new Point(point.X * 2, point.Y);
}

(Atau tulis yang sama lebih ringkas menggunakan LINQ Select().)

Jika Anda benar-benar ingin memodifikasi item dalam koleksi, jangan gunakan IEnumerable<T>, gunakan IList<T>(atau mungkin IReadOnlyList<T>jika Anda tidak ingin mengubah koleksi itu sendiri, hanya item di dalamnya, dan Anda menggunakan .Net 4.5):

private void DoubleXValue(IList<Point> points)
{
    foreach (var point in points)
        point.X *= 2;
}

Dengan cara ini, jika seseorang mencoba menggunakan metode Anda IEnumerable<T>, itu akan gagal pada waktu kompilasi.

Saya pribadi berpikir masalah yang disoroti dalam artikel itu berasal dari terlalu sering menggunakan IEnumerableantarmuka oleh banyak pengembang C # hari ini. Tampaknya telah menjadi tipe default ketika Anda membutuhkan koleksi objek - tetapi ada banyak informasi yang IEnumerabletidak memberi tahu Anda ... yang terpenting: apakah sudah diverifikasi * atau tidak.

Jika Anda menemukan bahwa Anda perlu mendeteksi apakah IEnumerablebenar-benar sebuah IEnumerableatau sesuatu yang lain, abstraksi telah bocor dan Anda mungkin dalam situasi di mana tipe parameter Anda agak terlalu longgar. Jika Anda memerlukan informasi tambahan yang IEnumerabletidak disediakan sendiri, buat persyaratan itu eksplisit dengan memilih salah satu antarmuka lain seperti ICollectionatau IList.

Edit untuk downvoters Harap kembali dan baca pertanyaan dengan seksama. OP meminta cara untuk memastikan bahwa IEnumerableinstance telah terwujud sebelum diteruskan ke metode API-nya. Jawaban saya menjawab pertanyaan itu. Ada masalah yang lebih luas tentang cara penggunaan yang benarIEnumerable , dan tentu saja harapan kode yang ditempelkan OP didasarkan pada kesalahpahaman tentang masalah yang lebih luas itu, tetapi OP tidak bertanya bagaimana menggunakan dengan benar IEnumerable, atau bagaimana bekerja dengan jenis yang tidak dapat diubah . Tidak adil untuk menurunkan saya karena tidak menjawab pertanyaan yang tidak diajukan.

* Saya menggunakan istilah reify, yang lain menggunakan stabilizeatau materialize. Saya tidak berpikir konvensi umum telah diadopsi oleh komunitas dulu.