IEnumerable "상태 머신"감지

C # yield return으로 너무 귀여워지기 라는 흥미로운 기사를 읽었습니다.

IEnumerable이 실제 열거 가능한 컬렉션인지 또는 yield 키워드로 생성 된 상태 머신인지 감지하는 가장 좋은 방법은 무엇인지 궁금합니다.

예를 들어 기사에서 DoubleXValue를 다음과 같이 수정할 수 있습니다.

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

질문 1) 더 좋은 방법이 있습니까?

질문 2) API를 만들 때 걱정해야 할 부분입니까?

내가 이해 한 것처럼 귀하의 질문은 잘못된 전제에 기초한 것 같습니다. 추론을 재구성 할 수 있는지 살펴 보겠습니다.

• 링크 된 기사는 자동 생성 된 시퀀스가 ​​"게으른"동작을 나타내는 방법을 설명하고 이것이 반 직관적 인 결과를 초래할 수있는 방법을 보여줍니다.
• 따라서 IEnumerable의 지정된 인스턴스가 자동으로 생성되는지 확인하여이 게으른 동작을 나타내는 지 여부를 감지 할 수 있습니다.
• 어떻게합니까?

문제는 두 번째 전제가 거짓이라는 것입니다. 주어진 IEnumerable이 반복자 블록 변환의 결과인지 여부를 감지 할 수 있다고하더라도 (예, 그렇게 할 수있는 방법이 있습니다) 가정이 잘못 되었기 때문에 도움이되지 않습니다. 이유를 설명해 봅시다.

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;
  }
}

네 가지 방법이 있습니다. S1 및 S2는 자동으로 생성 된 시퀀스입니다. S3 및 S4는 수동으로 생성 된 시퀀스입니다. 이제 우리가 가지고 있다고 가정 해보십시오.

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

S1 및 S4의 결과는 0입니다. 시퀀스를 열거 할 때마다 생성 된 M에 대한 새로운 참조가 제공됩니다. S2 및 S3의 결과는 100입니다. 시퀀스를 열거 할 때마다 마지막으로 얻은 M에 대한 동일한 참조가 나타납니다. 시퀀스 코드가 자동으로 생성되는지 여부는 열거 된 객체에 참조 ID가 있는지 여부와 직교합니다. 자동 생성과 참조 ID라는 두 가지 속성은 실제로 서로 관련이 없습니다. 당신이 연결 한 기사는 다소 혼란스러워합니다.

서열 제공자가 항상 참조 식별성 을 갖는 객체를 제공하는 것으로 문서화되지 않는 한 , 그렇게하는 것으로 가정하는 것은 현명하지 않습니다.

핵심 개념은 IEnumerable<T>컬렉션을 변경할 수없는 것으로 취급해야한다는 것입니다 . 개체에서 개체를 수정해서는 안되며 새 개체로 새 컬렉션을 만들어야합니다.

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

(또는 LINQ 사용하여 더 간결하게 작성하십시오 Select().)

당신이 실제로 사용하지 않는, 컬렉션의 항목을 수정하려면 IEnumerable<T>, 사용 IList<T>(또는 아마도 IReadOnlyList<T>당신은 콜렉션 자체, 그 항목 만 수정하고 싶지 않아, 당신은 닷넷 4.5 인 경우) :

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

이런 식으로 누군가가와 함께 메소드를 사용하려고하면 IEnumerable<T>컴파일 타임에 실패합니다.

필자는 개인적 IEnumerable으로이 기사에서 강조한 문제는 요즘 많은 C # 개발자들이 인터페이스 를 과도하게 사용했기 때문에 발생한다고 생각합니다 . 객체 컬렉션이 필요할 때 기본 유형이 된 것 같습니다. 그러나 IEnumerable결정적으로 알려지지 않았는지 여부를 결정하지 않는 많은 정보가 있습니다.

a 가 실제로 다른지 여부를 감지 해야하는 경우 추상화가 유출되어 매개 변수 유형이 너무 느슨한 상황 일 수 있습니다. 당신이하는 추가 정보가 필요한 경우에는 단독으로 제공하지 않습니다, 같은 다른 인터페이스 중 하나를 선택하여 그 요구 사항이 명시 적으로 만들 거나 .IEnumerableIEnumerableIEnumerableICollectionIList

downvoters 편집 돌아가서 질문을주의 깊게 읽으십시오. OP는 IEnumerableAPI 메소드에 전달되기 전에 인스턴스가 구체화 될 수있는 방법을 요구하고 있습니다. 내 대답은 그 질문을 다룹니다. 올바른 사용 방법과 관련하여 더 넓은 문제가 있으며 IEnumerableOP가 붙여 넣은 코드에 대한 기대는 그 광범위한 문제에 대한 오해를 기반으로하지만 OP는 올바르게 사용 IEnumerable하는 방법이나 불변 유형으로 작업하는 방법을 묻지 않았습니다. . 제기되지 않은 질문에 대답하지 않아 저를 공감하는 것은 불공평합니다.

* 나는이 용어를 사용 reify, 다른 사람이 사용 stabilize하거나 materialize. 나는 공동체가 공통의 협약을 아직 채택하지 않았다고 생각합니다.