La conversión de matriz covariante de xay puede causar una excepción en tiempo de ejecución

Tengo una private readonlylista de LinkLabels ( IList<LinkLabel>). Luego agrego LinkLabels a esta lista y agrego esas etiquetas a un me FlowLayoutPanelgusta de la siguiente manera:

foreach(var s in strings)
{
    _list.Add(new LinkLabel{Text=s});
}

flPanel.Controls.AddRange(_list.ToArray());

ReSharper me muestra una advertencia: Co-variant array conversion from LinkLabel[] to Control[] can cause run-time exception on write operation.

Por favor, ayúdame a descubrir:

1. ¿Qué significa esto?
2. Este es un control de usuario y no se accederá a varios objetos para configurar etiquetas, por lo que mantener el código como tal no lo afectará.

Lo que significa es esto

Control[] controls = new LinkLabel[10]; // compile time legal
controls[0] = new TextBox(); // compile time legal, runtime exception

Y en términos más generales.

string[] array = new string[10];
object[] objs = array; // legal at compile time
objs[0] = new Foo(); // again legal, with runtime exception

En C #, puede hacer referencia a una matriz de objetos (en su caso, LinkLabels) como una matriz de un tipo base (en este caso, como una matriz de Controles). También es tiempo de compilación legal para asignar otro objeto que es un Controla la matriz. El problema es que la matriz no es en realidad una matriz de controles. En tiempo de ejecución, sigue siendo una matriz de LinkLabels. Como tal, la tarea, o escritura, arrojará una excepción.

Trataré de aclarar la respuesta de Anthony Pegram.

El tipo genérico es covariante en algún argumento de tipo cuando devuelve valores de dicho tipo (por Func<out TResult>ejemplo TResult, IEnumerable<out T>devuelve instancias de , devuelve instancias de T). Es decir, si algo devuelve instancias de TDerived, también puede trabajar con instancias como si fueran de TBase.

El tipo genérico es contravariante en algún argumento de tipo cuando acepta valores de dicho tipo (por ejemplo, Action<in TArgument>acepta instancias de TArgument). Es decir, si algo necesita instancias de TBase, también puede pasar instancias de TDerived.

Parece bastante lógico que los tipos genéricos que aceptan y devuelven instancias de algún tipo (a menos que se defina dos veces en la firma de tipo genérico, por ejemplo CoolList<TIn, TOut>) no son covariantes ni contravariantes en el argumento de tipo correspondiente. Por ejemplo, Listse define en .NET 4 como List<T>, no List<in T>o List<out T>.

Algunas razones de compatibilidad podrían haber causado que Microsoft ignore ese argumento y haga que las matrices sean covariantes en su argumento de tipo de valores. Tal vez realizaron un análisis y descubrieron que la mayoría de las personas solo usan matrices como si fueran de solo lectura (es decir, solo usan inicializadores de matriz para escribir algunos datos en una matriz) y, como tal, las ventajas superan las desventajas causadas por el posible tiempo de ejecución errores cuando alguien intentará hacer uso de la covarianza al escribir en la matriz. Por lo tanto, está permitido pero no es alentado.

En cuanto a su pregunta original, list.ToArray()crea una nueva LinkLabel[]con valores copiados de la lista original y, para deshacerse de la advertencia (razonable), deberá pasar Control[]a AddRange. list.ToArray<Control>()hará el trabajo: ToArray<TSource>acepta IEnumerable<TSource>como argumento y devuelve TSource[]; List<LinkLabel>implementa solo lectura IEnumerable<out LinkLabel>, que, gracias a la IEnumerablecovarianza, podría pasarse al método que acepta IEnumerable<Control>como argumento.

La "solución" más directa

flPanel.Controls.AddRange(_list.AsEnumerable());

Ahora, dado que está cambiando covariantemente List<LinkLabel>a, IEnumerable<Control>no hay más preocupaciones, ya que no es posible "agregar" un elemento a un elemento enumerable.

La advertencia se debe al hecho de que, en teoría, podría agregar Controlotro que no sea LinkLabela LinkLabel[]través de la Control[]referencia. Esto provocaría una excepción en tiempo de ejecución.

La conversión está sucediendo aquí porque AddRangetoma a Control[].

En términos más generales, la conversión de un contenedor de un tipo derivado a un contenedor de un tipo base solo es seguro si no puede modificar el contenedor posteriormente de la manera que se acaba de describir. Las matrices no satisfacen ese requisito.

La causa raíz del problema se describe correctamente en otras respuestas, pero para resolver la advertencia, siempre puede escribir:

_list.ForEach(lnkLbl => flPanel.Controls.Add(lnkLbl));

Con VS 2008, no recibo esta advertencia. Esto debe ser nuevo en .NET 4.0.
Aclaración: según Sam Mackrill, es Resharper quien muestra una advertencia.

El compilador de C # no sabe que AddRangeno modificará la matriz que se le pasó. Dado que AddRangetiene un parámetro de tipo Control[], en teoría podría intentar asignar un TextBoxa la matriz, lo que sería perfectamente correcto para una verdadera matriz de Control, pero la matriz es en realidad una matriz de LinkLabelsy no aceptará dicha asignación.

Hacer matrices covariantes en C # fue una mala decisión de Microsoft. Si bien puede parecer una buena idea poder asignar una matriz de un tipo derivado a una matriz de un tipo base en primer lugar, ¡esto puede conducir a errores de tiempo de ejecución!

¿Qué tal esto?

flPanel.Controls.AddRange(_list.OfType<Control>().ToArray());