¿En qué momento y bajo qué condiciones comienza a…

La despacho de métodos (method dispatch) en Swift determina qué código se ejecutará al llamar a un método de un objeto. La elección del tipo de despacho ocurre en el momento de compilación del código Swift.

Existen tres tipos principales de despacho en Swift:

Despacho directo (Direct Dispatch):
- El más rápido.
- La dirección de la función se conoce en tiempo de compilación.
- Se aplica por defecto a:
  - struct y enum (ya que no soportan herencia de clases).
  - Métodos de clases final.
  - Métodos private de clases (internal y public no soportan despacho directo).
  - Funciones globales.
  - Métodos estáticos.
  - Extensiones.
Despacho por tabla (Table Dispatch):
- Se usa para class, cuando se requiere polimorfismo y herencia.
- La dirección de la implementación concreta del método se determina en tiempo de ejecución (runtime) usando la tabla de métodos virtuales (vtable - Virtual Table).
- Cada clase tiene su propia vtable, que contiene punteros a las implementaciones de los métodos.
- Soporta herencia y sobrescritura de métodos.
```
class Animal { // Se aplicará Table Dispatch
    func speak() {
        print("Sonido desconocido")
    }
}

class Dog: Animal { // Sobrescritura, usa vtable
    override func speak() {
        print("Guau")
    }
}
```
Despacho por tabla de testigos (Witness Table Dispatch):
- Se usa para protocolos (protocol).
- Es similar al despacho por tabla, pero usa una tabla de testigos (witness table) para buscar la implementación del método del protocolo para un tipo específico que cumple con el protocolo.
- Permite usar polimorfismo con protocolos.
```
protocol Speakable { // Se aplicará Witness Table Dispatch
    func speak()
}

struct Cat: Speakable { // Implementación del protocolo
    func speak() {
        print("Miau")
    }
}
```

Condiciones que influyen en la elección:

Tipo de dato: struct, enum, class, protocol.
Modificadores de acceso: final, private, internal, public.
Herencia: Capacidad de sobrescribir métodos.
Conformidad a protocolos: Implementación de métodos del protocolo.
Contexto de llamada: Llamada a través de un tipo concreto o a través de un protocolo/clase base.

El compilador de Swift intenta usar despacho directo donde sea posible para optimizar el rendimiento, pero si se requiere soporte para polimorfismo y herencia, cambia a despacho por tabla o por tabla de testigos. La declaración explícita de métodos como final o private permite forzar el uso de despacho directo.

¿En qué momento y bajo qué condiciones comienza a funcionar la gestión en Swift?