Comprender las modificaciones funcionales en Golang con Derfer

en Golang, Defer permite a los desarrolladores configurar funciones para ejecutar una función después de concluir, habilitar la limpieza posterior a la ejecución. Sin embargo, pueden surgir problemas al intentar modificar los valores variables declarados de diferentes maneras dentro de la misma función.

Considere el siguiente ejemplo del código:

func c(i int) int {
    defer func() { i   }()
    return i
}

func c1() (i int) {
    defer func() { i   }()
    return i
}

func c2() (i int) {
    defer func() { i   }()
    return 2
}

en C (0), debido a que es un parámetro de entrada, el valor devuelto no se ve afectado por el incremento diferido, lo que resulta en una salida de impresión de 0.

en C1 (), i es el parámetro de resultado nombrado, donde el valor de retorno se asigna explícitamente a la ejecución de la función diferida. Por lo tanto, el incremento diferido afecta el valor devuelto, dando una salida de 1.

Sin embargo, en c2 (), aunque se devuelva explícitamente como 2, el incremento diferido modifica el parámetro de resultado, dando como resultado un valor de retorno de 3.

la especificación aclara este comportamiento:

para las funciones con parámetros de resultados nombrados, los valores devueltos son siempre los valores de esas variables, pero las declaraciones de retorno pueden asignar nuevos valores a estos parámetros. Las funciones diferidas pueden modificar aún más estos parámetros después de la declaración de retorno.

Este principio se aplica tanto a las funciones como a los métodos, donde las funciones diferidas pueden acceder y modificar los parámetros de resultados nombrados antes de que se devuelvan. Por lo tanto, es crucial considerar cómo las declaraciones variables y las modificaciones de la función diferida afectan los valores finales devueltos.