Funciones, marcos de llamada y resultados devueltos

Asignar a cada función un trabajo claro

• Una función agrupa una tarea con nombre. Establezca sus entradas, su resultado devuelto y cualquier efecto secundario, como la impresión, antes de escribir el cuerpo.
• Un contrato especifica qué pueden suministrar los llamadores y qué promete la función. Aquí, las cantidades son pence enteros y deben ser enteros no negativos.

def add_fee(amount):
    """Return amount plus a fixed fee of 3 pence."""
    return amount + 3

Distinguir entre el nombre de entrada y el objeto de entrada

• En una definición, amount es un parámetro. En add_fee(8), la expresión 8 proporciona un argumento. Las expresiones de argumento se evalúan antes de ejecutar el cuerpo de la función.
• La llamada vincula el nombre del parámetro al objeto suministrado. No copia automáticamente ese objeto ni crea un enlace entre el nombre del llamador y el nombre del parámetro.

amount = 4
result = add_fee(amount * 2)
print(amount, result)

Mantener un marco separado para cada llamada

• Un marco de llamada registra una llamada de función activa, incluyendo sus parámetros y nombres locales. Cuando una función llama a otra, el llamador espera el valor devuelto.
• Lea este programa en orden de ejecución: módulo → twice → add_fee → twice → módulo. Las flechas inferiores representan un flujo de control conceptual, no una disposición física en memoria.

def twice(amount):
    subtotal = amount * 2
    return add_fee(subtotal)

amount = 4
result = twice(amount)
print(amount, result)

Devolver un resultado; imprimir un mensaje

• return finaliza la llamada actual y devuelve un objeto al llamador. Una función que llega a su fin sin usar return retorna None.
• print escribe salida. También returns None, por lo que imprimir un cálculo dentro de una función no hace que ese cálculo sea su resultado devuelto.

def show_fee(amount):
    print(amount + 3)

value = show_fee(8)
print(value)

Resolver nombres en el alcance correcto

• Una variable local pertenece a una llamada de función. Su alcance determina dónde se puede resolver un nombre; otra función no accede automáticamente a los nombres locales del llamador.
• Asignar un nuevo entero a un parámetro cambia su enlace local. No reasigna una variable con el mismo nombre en el llamador.

def increase(amount):
    amount = amount + 1
    return amount

amount = 4
new_amount = increase(amount)
print(amount, new_amount)

Descomponer un cálculo en partes probables

• La descomposición separa una tarea grande en trabajos más pequeños con contratos claros. Para un pedido, calcule el subtotal de un artículo, agregue una tarifa, luego muestre el monto final.
• Pruebe los cálculos directamente, incluyendo cantidad cero y más de un artículo. Establezca que las entradas son enteros no negativos; la validación de entrada puede ser una función separada.

def item_subtotal(unit_pence, quantity):
    return unit_pence * quantity

def order_total(unit_pence, quantity):
    return add_fee(item_subtotal(unit_pence, quantity))

Explicar toda la llamada antes de confiar en la respuesta

• Rastree las expresiones de argumento, los enlaces de parámetros, los cálculos locales y los valores devueltos. Verifique el estado del llamador después de la llamada y la salida por separado.
• No describa la transmisión de parámetros como copiar cada objeto. Una colección mutable puede modificarse a través de un parámetro; los diagramas de objetos para mutación y aliasing siguen en la unidad 1.5.

Referencias del lenguaje: funciones Python y enlace de nombres y alcance.