palapapa's questions

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?

De acordo com boxing em structs ao chamar ToString() , chamar um método não substituído em um C# structfaz com que ele seja boxed. Isso ocorre, em última análise, por causa de como a constrained callvirtinstrução IL funciona, que, de acordo com a documentação , diz que:

Se thisTypefor um tipo de valor e thisTypenão implementar, methodentão ptrserá desreferenciado, colocado em caixa e passado como o ponteiro 'this' para a callvirtinstrução do método.

No entanto, ele não explica por que é assim, especialmente se ele structimplementa o método, ele não coloca em caixa o struct:

Se thisTypefor um tipo de valor e thisTypeimplementar methodentão ptré passado sem modificações como o ponteiro 'this' para uma call methodinstrução, para a implementação de methodpor thisType.

Por que o runtime não pode fazer a mesma coisa mesmo que o método não tenha sido implementado ou substituído pelo struct? Isso provavelmente tem algo a ver com como o runtime chama métodos, mas não consigo descobrir.