Início / coding / Perguntas / 79174830
Accepted
palapapa
Asked: 2024-11-10 19:48:39 +0800 CST

Por que chamar um método struct não substituído requer boxing?

  • 772

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.

c#

1 respostas

  1. Best Answer

    Simplesmente, o método object.ToString()é escrito sob a suposição de que thisserá uma instância de object. (É assim, afinal, que os métodos de instância funcionam). Você não pode passar um ponteiro para uma struct e esperar que ele funcione.

    Todos os tipos de referência têm um cabeçalho de objeto e um método table . No entanto, structs não têm (não há necessidade). Portanto, se você apenas passar um (ponteiro para um) struct para um método que está esperando um ponteiro para um object, esse método provavelmente travará de maneiras excitantes e fatais.

    Quando você boxeia uma struct, ela é copiada para o heap, e recebe um cabeçalho de objeto e uma tabela de métodos. É por isso que uma struct boxeada é um object. Portanto, a maneira de chamar um método que espera um object, mas passa uma struct, é boxear a struct.

    Quando você define uma substituição ToStringna própria estrutura, esse método espera um ponteiro para essa estrutura (e não assume que o ponteiro aponta para uma tabela de métodos), então você pode passar uma estrutura diretamente sem boxing.

    (Na verdade, quando você sobrescreve ToStringuma struct, o tempo de execução emite dois métodos. Um é o método que você definiu, que espera thisser um ponteiro para uma struct, e o outro é um "thunk", que espera thisser um object(struct em caixa), que ajusta o thisponteiro para apontar para a própria struct em vez da tabela de métodos e, em seguida, chama o primeiro método. Isso permite que você chame ToStringuma struct em caixa. Não vou repetir os detalhes sangrentos, mas veja este excelente artigo de Matt Warren).

    • 7

relate perguntas