GetEnumeratorObsługa rozszerzeń dla foreach pętli.Extension GetEnumerator support for foreach loops.

  • Artykuł
  • Czas czytania: 5 min

PodsumowanieSummary

Zezwalaj na pętle foreach do rozpoznawania metody GetEnumerator, która w przeciwnym razie spełnia wzorzec foreach, i pętlę na wyrażeniu, gdy w przeciwnym razie mógłby być błędem.Allow foreach loops to recognize an extension method GetEnumerator method that otherwise satisfies the foreach pattern, and loop over the expression when it would otherwise be an error.

MotywacjaMotivation

Spowoduje to przełączenie instrukcji foreach w sposób wbudowany z sposobem implementacji innych funkcji w języku C#, w tym z międzychmurowego i opartego na wzorcu.This will bring foreach inline with how other features in C# are implemented, including async and pattern-based deconstruction.

Szczegółowy projektDetailed design

Zmiana specyfikacji jest stosunkowo prosta.The spec change is relatively straightforward. Modyfikujemy The foreach statement sekcję do tego tekstu:We modify The foreach statement section to this text:

Przetwarzanie w czasie kompilacji instrukcji foreach najpierw określa Typ kolekcji* , Typ modułu wyliczającego i _ Typ elementu* wyrażenia.The compile-time processing of a foreach statement first determines the collection type _, _enumerator type* and _ element type* of the expression. To obliczanie jest przeprowadzane w następujący sposób:This determination proceeds as follows:

  • Jeśli typ X wyrażenia jest typem tablicy, istnieje niejawna konwersja odwołania z X do IEnumerable interfejsu (ponieważ System.Array implementuje ten interfejs).If the type X of expression is an array type then there is an implicit reference conversion from X to the IEnumerable interface (since System.Array implements this interface). Typ kolekcji _ jest IEnumerable interfejsem, _typem modułu wyliczającego*_ jest IEnumerator interfejs, a Typ elementu _ * jest typem elementu typu tablicy X .The collection type _ is the IEnumerable interface, the _enumerator type_ is the IEnumerator interface and the _ element type is the element type of the array type X.

  • Jeśli typem X wyrażenia jest dynamic , istnieje niejawna konwersja z wyrażenia do IEnumerable interfejsu (niejawne konwersje dynamiczne).If the type X of expression is dynamic then there is an implicit conversion from expression to the IEnumerable interface (Implicit dynamic conversions). Typ kolekcji _ jest IEnumerable interfejsem, a _typem modułu wyliczającego*_ jest IEnumerator interfejs.The collection type _ is the IEnumerable interface and the _enumerator type*_ is the IEnumerator interface. Jeśli var Identyfikator jest określony jako _local_variable_type *, wówczas typem elementu jest dynamic , w przeciwnym razie object .If the var identifier is given as the _local_variable_type* then the element type is dynamic, otherwise it is object.

  • W przeciwnym razie Ustal, czy typ X ma odpowiednią GetEnumerator metodę:Otherwise, determine whether the type X has an appropriate GetEnumerator method:

    • Wykonaj wyszukiwanie elementów członkowskich w typie X z identyfikatorem GetEnumerator i bez argumentów typu.Perform member lookup on the type X with identifier GetEnumerator and no type arguments. Jeśli wyszukiwanie elementu członkowskiego nie produkuje dopasowania lub tworzy niejednoznaczność lub tworzy dopasowanie, które nie jest grupą metod, należy sprawdzić, czy wyliczalny interfejs został opisany poniżej.If the member lookup does not produce a match, or it produces an ambiguity, or produces a match that is not a method group, check for an enumerable interface as described below. Zaleca się, aby ostrzeżenie było wydawane, gdy wyszukiwanie elementów członkowskich produkuje wszystkie elementy poza grupą metod lub nie odpowiada.It is recommended that a warning be issued if member lookup produces anything except a method group or no match.
    • Wykonaj rozwiązanie przeciążenia przy użyciu grupy metod i pustej listy argumentów.Perform overload resolution using the resulting method group and an empty argument list. Jeśli rozwiązanie przeciążenia skutkuje brakiem odpowiednich metod, wyniki są niejednoznaczne lub mają jedną najlepszą metodę, ale ta metoda jest statyczna lub nie jest publiczna, Wyszukaj wyliczalny interfejs zgodnie z poniższym opisem.If overload resolution results in no applicable methods, results in an ambiguity, or results in a single best method but that method is either static or not public, check for an enumerable interface as described below. Zaleca się, aby ostrzeżenie było wydawane, jeśli rozwiązanie przeciążania produkuje wszystko, z wyjątkiem jednoznacznej metody wystąpienia publicznego lub nie ma zastosowania do odpowiednich metod.It is recommended that a warning be issued if overload resolution produces anything except an unambiguous public instance method or no applicable methods.
    • Jeśli zwracany typ E GetEnumerator metody nie jest klasą, strukturą lub typem interfejsu, jest generowany błąd i nie są podejmowane żadne dalsze kroki.If the return type E of the GetEnumerator method is not a class, struct or interface type, an error is produced and no further steps are taken.
    • Wyszukiwanie elementu członkowskiego jest wykonywane na E z identyfikatorem Current i bez argumentów typu.Member lookup is performed on E with the identifier Current and no type arguments. Jeśli wyszukiwanie elementu członkowskiego nie powoduje dopasowania, wynikiem jest błąd lub wynikiem jest wszystko z wyjątkiem właściwości wystąpienia publicznego, która umożliwia odczytywanie, zostanie wygenerowany błąd i nie są podejmowane żadne dalsze kroki.If the member lookup produces no match, the result is an error, or the result is anything except a public instance property that permits reading, an error is produced and no further steps are taken.
    • Wyszukiwanie elementu członkowskiego jest wykonywane na E z identyfikatorem MoveNext i bez argumentów typu.Member lookup is performed on E with the identifier MoveNext and no type arguments. Jeśli wyszukiwanie elementu członkowskiego nie powoduje dopasowania, wynikiem jest błąd lub wynikiem jest wszystko poza grupą metod, zostanie wygenerowany błąd i nie są podejmowane żadne dalsze kroki.If the member lookup produces no match, the result is an error, or the result is anything except a method group, an error is produced and no further steps are taken.
    • Rozpoznanie przeciążenia jest wykonywane w grupie metod z pustą listą argumentów.Overload resolution is performed on the method group with an empty argument list. Jeśli rozwiązanie przeciążenia skutkuje brakiem odpowiednich metod, wyniki są niejednoznaczne lub mają jedną najlepszą metodę, ale ta metoda jest statyczna lub nie jest publiczna lub jej typem zwracanym jest bool błąd i nie są podejmowane żadne dalsze kroki.If overload resolution results in no applicable methods, results in an ambiguity, or results in a single best method but that method is either static or not public, or its return type is not bool, an error is produced and no further steps are taken.
    • Typ kolekcji _ ma wartość X , _Typ wyliczającego_ to E , a _ element Type jest typem Current właściwości.The collection type _ is X, the _enumerator type_ is E, and the _ element type is the type of the Current property.

  • W przeciwnym razie Sprawdź, czy wyliczalny interfejs:Otherwise, check for an enumerable interface:

    • Jeśli wśród wszystkich typów Ti , dla których istnieje niejawna konwersja z X do IEnumerable<Ti> , istnieje unikatowy typ, T który T nie jest dynamic i dla wszystkich pozostałych Ti istnieje niejawna konwersja z IEnumerable<T> do na IEnumerable<Ti> , a następnie Typ kolekcji* _ jest interfejsem IEnumerable<T> , typem modułu wyliczającego jest interfejs IEnumerator<T> , a Typ elementu _ * ma wartość T .If among all the types Ti for which there is an implicit conversion from X to IEnumerable<Ti>, there is a unique type T such that T is not dynamic and for all the other Ti there is an implicit conversion from IEnumerable<T> to IEnumerable<Ti>, then the collection type _ is the interface IEnumerable<T>, the _enumerator type_ is the interface IEnumerator<T>, and the _ element type is T.
    • W przeciwnym razie, jeśli istnieje więcej niż jeden taki typ T , zostanie wygenerowany błąd i nie zostaną wykonane żadne dalsze kroki.Otherwise, if there is more than one such type T, then an error is produced and no further steps are taken.
    • W przeciwnym razie, jeśli istnieje niejawna konwersja z X do System.Collections.IEnumerable interfejsu, wówczas Typ kolekcji* _ jest tym interfejsem, typem modułu wyliczającego jest interfejs System.Collections.IEnumerator , a Typ elementu _ * ma wartość object .Otherwise, if there is an implicit conversion from X to the System.Collections.IEnumerable interface, then the collection type _ is this interface, the _enumerator type_ is the interface System.Collections.IEnumerator, and the _ element type is object.

  • W przeciwnym razie Ustal, czy typ "X" ma odpowiednią GetEnumerator metodę rozszerzenia:Otherwise, determine whether the type 'X' has an appropriate GetEnumerator extension method:

    • Wykonaj wyszukiwanie metody rozszerzenia dla typu X z identyfikatorem GetEnumerator .Perform extension method lookup on the type X with identifier GetEnumerator. Jeśli wyszukiwanie elementu członkowskiego nie produkuje dopasowania lub tworzy niejednoznaczność lub tworzy dopasowanie, które nie jest grupą metod, zostanie wygenerowany błąd i nie są podejmowane żadne dalsze kroki.If the member lookup does not produce a match, or it produces an ambiguity, or produces a match which is not a method group, an error is produced and no further steps are taken. Zaleca się, aby ostrzeżenie było wyświetlane, gdy wyszukiwanie elementów członkowskich produkuje wszystkie elementy poza grupą metod lub nie odpowiada.It is recommended that a warning be issues if member lookup produces anything except a method group or no match.
    • Wykonaj rozwiązanie przeciążania przy użyciu grupy metod i jednego argumentu typu X .Perform overload resolution using the resulting method group and a single argument of type X. Jeśli rozwiązanie przeciążania nie daje odpowiednich metod, wynikiem jest niejednoznaczność lub daje jedną najlepszą metodę, ale ta metoda nie jest dostępna, zostanie wygenerowany błąd.If overload resolution produces no applicable methods, results in an ambiguity, or results in a single best method but that method is not accessible, an error is produced an no further steps are taken.
      • To rozwiązanie zezwala na pierwszy argument, który ma zostać przesłany przez ref X , jeśli jest typem struktury, a rodzajem ref jest in .This resolution permits the first argument to be passed by ref if X is a struct type, and the ref kind is in.
    • Jeśli zwracany typ E GetEnumerator metody nie jest klasą, strukturą lub typem interfejsu, jest generowany błąd i nie są podejmowane żadne dalsze kroki.If the return type E of the GetEnumerator method is not a class, struct or interface type, an error is produced and no further steps are taken.
    • Wyszukiwanie elementu członkowskiego jest wykonywane na E z identyfikatorem Current i bez argumentów typu.Member lookup is performed on E with the identifier Current and no type arguments. Jeśli wyszukiwanie elementu członkowskiego nie powoduje dopasowania, wynikiem jest błąd lub wynikiem jest wszystko z wyjątkiem właściwości wystąpienia publicznego, która umożliwia odczytywanie, zostanie wygenerowany błąd i nie są podejmowane żadne dalsze kroki.If the member lookup produces no match, the result is an error, or the result is anything except a public instance property that permits reading, an error is produced and no further steps are taken.
    • Wyszukiwanie elementu członkowskiego jest wykonywane na E z identyfikatorem MoveNext i bez argumentów typu.Member lookup is performed on E with the identifier MoveNext and no type arguments. Jeśli wyszukiwanie elementu członkowskiego nie powoduje dopasowania, wynikiem jest błąd lub wynikiem jest wszystko poza grupą metod, zostanie wygenerowany błąd i nie są podejmowane żadne dalsze kroki.If the member lookup produces no match, the result is an error, or the result is anything except a method group, an error is produced and no further steps are taken.
    • Rozpoznanie przeciążenia jest wykonywane w grupie metod z pustą listą argumentów.Overload resolution is performed on the method group with an empty argument list. Jeśli rozwiązanie przeciążenia skutkuje brakiem odpowiednich metod, wyniki są niejednoznaczne lub mają jedną najlepszą metodę, ale ta metoda jest statyczna lub nie jest publiczna lub jej typem zwracanym jest bool błąd i nie są podejmowane żadne dalsze kroki.If overload resolution results in no applicable methods, results in an ambiguity, or results in a single best method but that method is either static or not public, or its return type is not bool, an error is produced and no further steps are taken.
    • Typ kolekcji _ ma wartość X , _Typ wyliczającego_ to E , a _ element Type jest typem Current właściwości.The collection type _ is X, the _enumerator type_ is E, and the _ element type is the type of the Current property.

  • W przeciwnym razie zostanie wygenerowany błąd i nie są podejmowane żadne dalsze kroki.Otherwise, an error is produced and no further steps are taken.

W przypadku programu await foreach reguły są modyfikowane w podobny sposób.For await foreach, the rules are similarly modified. Jedyną zmianą, która jest wymagana do tej specyfikacji, jest usunięcie Extension methods do not contribute. wiersza z opisu, ponieważ pozostała część tej specyfikacji jest oparta na powyższych regułach z różnymi nazwami zastępowanymi dla metod wzorca.The only change that is required to that spec is removing the Extension methods do not contribute. line from the description, as the rest of that spec is based on the above rules with different names substituted for the pattern methods.

WadyDrawbacks

Każda zmiana dodaje do języka dodatkową złożoność, dzięki czemu może to spowodować, że nie zaprojektowano go do foreach foreach postaci Ed, np Range ..Every change adds additional complexity to the language, and this potentially allows things that weren't designed to be foreached to be foreached, like Range.

AlternatywyAlternatives

Nic nie robi.Doing nothing.

Nierozwiązane pytaniaUnresolved questions

Brak w tym momencie.None at this point.