B.3 · Programación orientada a objetos

Enfoque HL soportado. Objetivo de primera evaluación 2027; PDF oficial devuelve 403; la brief adquirida anterior es la evaluación final 2026. Las guías, evaluaciones y requisitos prácticos restantes conservan sus retenciones registradas.

Requisitos previos: lea las cantidades y unidades indicadas, utilice aritmética y las condiciones del modelo a continuación. Cada lección desarrolla su propio método antes de la transferencia independiente.

Estos son ejemplos didácticos originales o explícitamente ficticios, no mediciones reales ni investigaciones evaluadas completas de estudiantes.

¿Qué explicaría esta observación?

• Dos objetos de modelo de cuenta bancaria pueden responder a la misma operación de depósito mientras mantienen diferentes saldos.
• Comience con una predicción. Enuncie las cantidades o características que compararía, luego decida qué evidencia podría distinguir entre dos explicaciones.

Construya el modelo

• Una clase define un tipo con estado y comportamiento. Un objeto es una instancia. El encapsulamiento controla el acceso mediante una interfaz para que las operaciones puedan preservar invariantes. La herencia modela una relación de tipo apropiada; la composición modela un objeto que contiene u otro objeto.
• encapsulación: Control del acceso al estado a través de una interfaz; instancia: Objeto individual de una clase.

Elija evidencias que puedan probarlo

• Una llamada a método actúa sobre una instancia particular. Los cambios de estado deben satisfacer precondiciones y postcondiciones. El polimorfismo permite que el código utilice una interfaz común con diferentes implementaciones cuando se respeta el contrato.
• Implemente un modelo sintético pequeño de cuenta o inventario. Pruebe dos instancias independientes, rechace operaciones inválidas y valores límite. Mantenga el modelo alejado de cuentas financieras reales y credenciales.

Trabaje desde cantidades conocidas

• Indique los valores conocidos y sus unidades. Elija la relación porque sus supuestos se ajustan a este caso, luego reordénela antes de la sustitución.
• Conocido: el objeto A comienza con 40 unidades y recibe 15; el objeto B comienza con 20 y recibe 5. Los saldos finales son 55 y 25. Su total es 80, pero ninguno de los saldos individuales de los objetos es 80.

Ejemplo:

Una instancia comienza con 12 unidades, añade 8 y elimina 3. Encuentre su valor final. Utilice la misma secuencia: cantidades conocidas → modelo → relación → sustitución → unidad e interpretación.

Verifique la conclusión y sus límites

• Una clase no es lo mismo que una única instancia. La herencia no es automáticamente mejor que la composición. Ocultar simplemente un campo no demuestra que todas las operaciones preservan un estado válido.
• Vuelva a la observación original. Explique qué respalda el resultado, qué condiciones asume y una forma de probar una explicación alternativa.

Advertencia:

Dos instancias de una clase siempre deben compartir un único saldo. Esta afirmación es falsa: una clase no es lo mismo que una única instancia. La herencia no es automáticamente mejor que la composición. Ocultar simplemente un campo no demuestra que todas las operaciones preservan un estado válido.

Clave:

Objetos: estado, comportamiento e interfaz: Una llamada a método actúa sobre una instancia particular. Los cambios de estado deben satisfacer precondiciones y postcondiciones. El polimorfismo permite que el código utilice una interfaz común con diferentes implementaciones cuando se respeta el contrato.

Trazabilidad ejecutable y límite

class Account:
    def __init__(self, balance):
        self.balance = balance
    def withdraw(self, amount):
        if amount < 0 or amount > self.balance:
            return False
        self.balance -= amount
        return True
a, b = Account(15), Account(20)
print(a.withdraw(30), a.balance, b.balance)
print(a.withdraw(15), a.balance, b.balance)

Salida esperada:

False 15 20
True 0 20

La rechazación ocurre antes de la mutación. Con saldos iniciales no negativos, los retiros validados preservan balance≥0. Esta pequeña clase docente expone atributos; un diseño de producción debe controlar todas las rutas de mutación, no asumir que el método solo garantiza el encapsulamiento.