Início / coding / Perguntas / 79322233
Accepted
palapapa
Asked: 2025-01-02 03:48:35 +0800 CST

Por que IEnumerator.Current não é anulável?

  • 772

O tipo de retorno de IEnumerator.Currenté object, não object?. Na minha opinião, como o não genérico IEnumerablepode conter qualquer tipo de objeto, incluindo nulo, IEnumerator.Currentdeve retornar object?para que o programador não esqueça de verificar.

Existe algum motivo pelo qual o tipo de retorno não foi alterado object?quando os tipos de referência anuláveis ​​foram introduzidos?

c#

1 respostas

  1. Best Answer

    Foi decidido não evitar "avisos espúrios" em foreachloops difíceis de contornar, como este exemplo de problema do GitHub :

    using System.Windows.Forms;

#nullable enable

void M(Control control) 
{
    // CS8606: Possible null reference assignment to iteration variable
    //               ↓↓↓↓↓↓↓↓↓↓↓↓
    foreach (Control childControl in control.Controls) // ControlCollection is non-generic
    {
        // Use `childControl`
    }
}

    e não foi possível suprimir os avisos:

    foreach (Control childControl! in control.Controls)

    Se você quiser se aprofundar um pouco mais:

    "Para o IEnumerator não genérico, não temos ideia se o tipo contém nulos ou não. Se formos forçados a anotá-lo, ? está correto, porque diz "é possível que isso seja nulo" e não podemos provar que não é. Mas isso acaba levando a muitos avisos espúrios, em particular ao enumerar coleções sobre fornecidas que nunca conterão nulos, por exemplo, enumerando um CookieCollection. Como o IEnumerator não genérico é efetivamente legado, nosso melhor caminho a seguir, mantendo a correção e evitando causar avisos desnecessários, é simplesmente não anotar IEnumerator.Current, deixando-o "alheio"; dessa forma, não fazemos nenhuma afirmação sobre seu estado e deixamos para as ferramentas como melhor transmitir isso."

    • 9

relate perguntas