Llamar a una función no nula sin usar su valor de retorno. ¿Qué sucede realmente?

Question

Entonces, encontré una pregunta similar here, pero las respuestas son más sobre el estilo y si puede o no hacerlo.

Mi pregunta es, ¿qué sucede realmente cuando llamas a una función no nula que devuelve un objeto, pero nunca asignas o usas dicho objeto devuelto? Entonces, menos sobre si puedes o no, porque sé absolutamente que puedes y entiendo la otra pregunta relacionada anteriormente ... ¿qué hace el entorno de compilador/tiempo de ejecución?

Esta no es una pregunta específica de un idioma, pero si responde, especifique a qué idioma se refiere, ya que los comportamientos serán diferentes.

Answer 1

Creo que tanto para C# como para Java, el resultado termina en la pila, y el compilador fuerza una instrucción pop para ignorarlo. La publicación del blog de Eric Lippert en "The void is invariant" tiene algo más de información al respecto.

Por ejemplo, considere el siguiente código C#:

using System; 

public class Test 
{ 
    static int Foo() { return 10; } 

    public static void Main() 
    { 
     Foo(); 
     Foo(); 
    } 
} 

La IL generada (por el MS C# 4 compilador) para el método Main es:

.method public hidebysig static void Main() cil managed 
{ 
    .entrypoint 
    .maxstack 8 
    L_0000: call int32 Test::Foo() 
    L_0005: pop 
    L_0006: call int32 Test::Foo() 
    L_000b: pop 
    L_000c: ret 
} 

Nota las llamadas a pop - que desaparecen si convierte Foo en un método nulo.

Answer 2

Depende un poco de la convención de llamadas que se utilice. Para tipos pequeños/simples, la devolución típicamente ocurrirá en un registro. En este caso, la función escribirá el valor en el registro, pero nada más prestará atención, y la próxima vez que se necesite ese registro (lo que normalmente sucederá bastante rápido) se sobrescribirá con otra cosa.

Para tipos más grandes, el compilador normalmente asignará una estructura para mantener el valor de retorno. No obstante, dónde y cómo exactamente esa asignación variará con el compilador, en algunos casos será una estructura estática y los contenidos serán ignorados y sobreescritos la próxima vez que llame a una función que devuelva el mismo tipo. En otros casos, estará en la pila y, aunque no lo haya utilizado, aún debe asignarse antes de llamar a la función y liberarse posteriormente

Answer 3

En .NET, si el objeto que se devuelve es un tipo de referencia, y la aplicación no tiene otras referencias a ese objeto, entonces todavía tendrá un objeto flotando en la memoria hasta que el recolector de basura decida recogerlo.

Esto es potencialmente malo si el objeto que se devuelve pasa a estar reteniendo los recursos. Si implementa la interfaz IDisposable, su código debería estar llamando al método Dispose, pero en este caso nunca se invocará el método Dispose.

EDITAR: corrigió un error tipográfico.

Answer 4

Para C++, normalmente, el compilador optimizará el retorno de la variable, convirtiéndola en una función vacía, y si esto permite optimizaciones adicionales, el compilador puede optimizar toda la llamada de función o partes de ella que solo pertenecen al valor de retorno. Para Java y C#, tengo poca idea.

Answer 5

¿qué hace el compilador?

El compilador genera una instrucción pop que descarta el resultado de la pila virtual.

¿Qué hace el entorno de tiempo de ejecución?

Suena atascado el código en código que devuelve el valor de retorno en un registro, en lugar de una ubicación de pila. (Normalmente EAX en arquitecturas x86.)

El jitter sabe que el valor no se utilizará, por lo que probablemente genere código que borre el registro. O tal vez solo lo deja dando vueltas en el registro por un tiempo.

¿Qué entorno de tiempo de ejecución le preocupa? Hay muchos de ellos, y todos tienen diferentes nervios.