¿Por qué la lista <T> .ForEach() implementa un bucle for?

Question

No entiendo por qué el método de extensión List<T>.ForEach() implementa un lazo for debajo del capó. Esto abre la posibilidad de que la colección se modifique. Un foreach normal emitirá una excepción en este caso, así que seguramente ForEach() debería reaccionar de la misma manera?

Si DEBE mutar una colección por cualquier razón, entonces seguramente debería iterar manualmente a través de la colección en un bucle for?

Parece que hay una pequeña contradicción semántica entre foreach y List<T>.ForEach().

¿Echo de menos algo?

Answer 1

Solo un miembro del equipo de BCL puede decirnos con seguridad, pero probablemente fue solo un descuido que le permite modificar la lista.

En primer lugar, la respuesta de David B no tiene sentido para mí. Es List<T>, no C#, que comprueba si modifica la lista dentro de un bucle foreach y arroja un InvalidOperationException si lo hace. No tiene nada que ver con el idioma que estás usando.

En segundo lugar, hay una advertencia en el documentation:

Modificación de la colección subyacente en el cuerpo de la acción no es compatible <T> delegado y causa un comportamiento indefinido.

No me parece probable que el equipo de BCL haya querido que un método tan simple como ForEach tenga un comportamiento indefinido.

En tercer lugar, a partir de .NET 4.5, se producirá una InvalidOperationException si el delegado modifica la lista. Si un programa depende del comportamiento anterior, it will stop working cuando se vuelve a compilar para .NET 4.5. El hecho de que Microsoft esté dispuesto a aceptar este cambio radical sugiere que el comportamiento original no fue intencionado y no se debe confiar en él.

Para referencia, aquí es como se implementa en .NET 4.0, directamente desde la fuente de referencia:

public void ForEach(Action<T> action) { 
    if(action == null) { 
     ThrowHelper.ThrowArgumentNullException(ExceptionArgument.match); 
    } 
    Contract.EndContractBlock(); 

    for(int i = 0 ; i < _size; i++) { 
     action(_items[i]); 
    } 
} 

Y así es como se ha cambiado en .NET 4.5:

public void ForEach(Action<T> action) { 
    if(action == null) { 
     ThrowHelper.ThrowArgumentNullException(ExceptionArgument.match); 
    } 
    Contract.EndContractBlock(); 

    int version = _version; 

    for(int i = 0 ; i < _size; i++) { 
     if (version != _version && BinaryCompatibility.TargetsAtLeast_Desktop_V4_5) { 
      break; 
     } 
     action(_items[i]); 
    } 

    if (version != _version && BinaryCompatibility.TargetsAtLeast_Desktop_V4_5) 
     ThrowHelper.ThrowInvalidOperationException(ExceptionResource.InvalidOperation_EnumFailedVersion); 
} 

Answer 2

Debido List.ForEach siguiendo la definición de MSDN:

realiza la acción especificada en cada elemento de la lista.

Eso significa que Action ejecutada sobre el elemento, puede elemento, o colección en sí potencialmente cambiar. En este caso, no hay otra manera (si no se está creando la colección de clones de costy, if es posible) de permitirse esto, luego usando un simple for.

Si cambia la colección durante la iteración en foreach, naturalmente, se genera una excepción.

Answer 3

foreach es un elemento de lenguaje C#. Juega según las reglas de C#.

es un método de .NET Framework. Juega según las reglas de .NET, donde foreach no existe.

Este es un ejemplo de confusión entre "lenguaje frente a marco". Los métodos de Framework deben funcionar en muchos idiomas, y los lenguajes (generalmente) tienen una semántica contradictoria.

Otro ejemplo de esta confusión de "lenguaje frente a marco" es el cambio de rotura a Enumerable.Cast entre .net 3 y .NET 3.5. En .NET 3, Cast utilizó la semántica de C#. En .net 3.5, se cambió para usar la semántica de .net.