Excepciones, clases y biblioteca estándar

9 / 3 no produce ninguna excepción (例外), así que no se entra en except. La cláusula else solo se ejecuta cuando no se produjo ninguna excepción, así que else se ejecuta después de try. La cláusula finally siempre se ejecuta, se haya producido o no una excepción, así que se ejecuta al final. Por tanto, las 3 líneas son try, else, finally. Una opción que incluye except es el orden para el caso en que se cree por error que se produjo una excepción; con esta llamada no se produce ZeroDivisionError. Una opción sin finally es el orden que obtendría si confundiera finally con una "limpieza para cuando se produce una excepción".

La cláusula else (else節) de una sentencia try solo se ejecuta cuando la cláusula try terminó hasta el final sin producir ninguna excepción. Conviene recordar que esto va en sentido contrario al else de una sentencia if, que es "cuando la condición es falsa": el else de try está del lado de "cuando todo salió bien". Lo que se ejecuta cuando se produjo una excepción es la cláusula except. Lo que se ejecuta siempre, se haya producido o no una excepción, es, en cambio, la cláusula finally. Cuando ninguna de las cláusulas except coincide, no se pasa a else; esa excepción se propaga hacia quien hizo la llamada.

f() prepara el valor que va a devolver, pero antes de devolverlo realmente ejecuta la cláusula finally (finally節). Por eso, F se imprime primero y el valor de retorno sigue siendo T. g() tiene un return dentro de su cláusula finally, y este sobrescribe el return de la cláusula try, así que el valor de retorno pasa a ser N. print evalúa f() y g() y luego los muestra juntos en una sola línea, así que primero va la línea F y después la línea T N. La opción que da T T es la respuesta para el caso en que se piensa que el return de finally se ignora, y la opción en la que F va después es la respuesta para el caso en que se piensa que finally se ejecuta después del return.

KeyboardInterrupt está directamente debajo de BaseException; no hereda de Exception. issubclass(KeyboardInterrupt, Exception) es False. Sirve para cuando un usuario intenta detener el programa con Ctrl-C, así que la jerarquía (階層) está separada para que no la absorba por accidente un except Exception escrito de forma amplia. SystemExit está en la misma posición. Las 3 restantes son todas descendientes de Exception: ZeroDivisionError está debajo de ArithmeticError, FileNotFoundError debajo de OSError y ModuleNotFoundError debajo de ImportError, así que todas se pueden capturar con except Exception.

Tanto IndexError como KeyError comparten la misma naturaleza: buscar algo mediante un índice o una clave y no encontrarlo, así que se colocan bajo la clase padre (親クラス) común LookupError. Si escribe except LookupError, puede capturar a la vez un acceso fuera de rango en una lista y una clave inexistente en un diccionario. ArithmeticError es el padre de excepciones como ZeroDivisionError, para situaciones en que el propio cálculo no se puede realizar. AttributeError es para cuando no se encuentra un atributo, y ReferenceError es para cuando el destino de una referencia débil ha desaparecido; ambas están directamente debajo de Exception y pertenecen a un linaje distinto del de LookupError.

8 / 0 produce ZeroDivisionError, pero ZeroDivisionError es una clase hija (子クラス) de ArithmeticError. Las cláusulas except se comparan en orden desde arriba, y la comparación se detiene en la primera que coincide, así que la except ArithmeticError escrita primero la captura y solo se imprime A. La except ZeroDivisionError posterior nunca llega a actuar. Solo se ejecuta un except coincidente, así que no ocurre que se impriman A y Z a la vez. El principio es colocar primero la más específica (la clase hija) y después la más amplia (la clase padre), y el código de esta pregunta tiene ese orden invertido.

Si se escribe una tupla entre paréntesis después de except, se ejecuta si coincide cualquiera de ellas. conv("21") da int("21") igual a 21, así que devuelve 42. conv("abc") se puede pasar como cadena, pero no se puede interpretar como número, así que produce ValueError. conv(None) no es de un tipo que se pueda pasar a int(), así que produce TypeError. La distinción —si el tipo es correcto pero el valor es inadecuado, se produce ValueError; si el tipo no corresponde en absoluto, se produce TypeError— coincide exactamente con el orden de la respuesta.

Escribir solo raise, sin argumento, dentro de un bloque except vuelve a lanzar (再送出) tal cual la excepción que se está manejando hacia quien hizo la llamada. Por eso, después de que se imprime inner, LoadError se propaga fuera de load(), y el except Exception exterior la captura. LoadError hereda de Exception, así que except Exception puede capturarla y el programa no se detiene. type(e).__name__ devuelve el nombre de la clase de excepción que realmente se lanzó, así que lo que se imprime es LoadError, no Exception, el nombre del tipo del lado que captura. Que solo apareciera inner sería la salida para el caso en que la excepción se absorbiera ahí mismo sin volver a lanzarse.

La primera llamada es un índice 1 de una lista, así que devuelve 2. La segunda busca una clave que no está en el diccionario, así que se produce KeyError, pero en except solo está escrito IndexError. IndexError y KeyError son ambas hijas de LookupError, pero no son padre e hija entre sí, así que un except para IndexError no puede capturar un KeyError. La excepción no capturada se propaga (伝播) hacia quien hizo la llamada, y como no hay nadie que la reciba, el programa se detiene. Si quiere capturar ambas, escriba except LookupError o ponga las dos juntas en una tupla.

assert condición, mensaje lanza AssertionError cuando la condición es falsa. Cuando la condición es verdadera, no ocurre nada. El punto importante es que, cuando se inicia en un modo optimizado (最適化) como python3 -O, la sentencia assert se elimina por completo y no se ejecuta ni una sola línea de ella. Por eso, assert no debe usarse para validar la entrada del usuario; para ese fin, se comprueba la condición con if y se lanza ValueError(...). Lo mejor es recordar assert como una herramienta para dejar constancia de los supuestos internos durante el desarrollo, y mantener ese papel separado.

Cuando escribe d.speak(), Python lo reinterpreta como Dog.speak(d) antes de llamarlo. Lo que entra en la posición del primer argumento es la propia instancia (インスタンス) que hizo la llamada. La grafía self es solo una convención; no es un nombre reservado por el lenguaje. Como el lenguaje solo especifica que la posición del primer argumento recibe la propia instancia, escribir usted mismo Dog.speak(d) también funciona igual. Crear y devolver una instancia es tarea de __new__ y del mecanismo que hay detrás de llamar a una clase, y __init__ solo inicializa una instancia que ya se ha creado. Para hacer referencia a la clase padre se usa super().

kind es una variable de clase (クラス変数) escrita directamente debajo de class, y todas las instancias creadas a partir de esa clase comparten esa única variable. Ni a ni b tienen kind en su propio __dict__, así que, al leer el atributo, ambas suben hasta la clase y ven el mismo valor. Una asignación a Dog.kind reescribe ese único valor compartido, así que wolf se vuelve visible tanto desde a como desde b, que ya estaban creadas. Como el valor no se copia en el momento de crear una instancia, que quede canine no es ninguna de las opciones correctas.

Asignar a a.kind no reescribe la variable de clase; crea una nueva entrada llamada kind en el diccionario de la instancia a. A partir de entonces, al leer a.kind se encuentra primero esta nueva entrada, que hace sombra a la variable de clase (クラス変数). b y Dog.kind siguen siendo el canine original. Así, en a.__dict__ aparece kind junto a name, que puso __init__, y al ordenarlo resulta ['kind', 'name']. La opción en la que todo pasa a ser husky es la respuesta para el caso en que se piensa por error que asignar en la instancia reescribe la variable de clase, y la opción que da solo ['name'] es la respuesta para el caso en que se piensa que no se crea ninguna sombra.

self.items.append(x) no es una asignación a self.items; solo llama a un método del objeto al que se llega mediante self.items. Ni p ni q tienen su propio items, así que ambos llegan a la misma y única lista guardada como variable de clase (クラス変数). Como resultado, tanto el 1 añadido mediante p como el 2 añadido mediante q entran en esa misma lista, y se obtiene [1, 2] se mire desde donde se mire. Si quiere un contenedor separado para cada instancia, debe asignarlo dentro de __init__ escribiendo self.items = []. Así se dividiría en [1] y [2].

El __init__ de Cat llama a super().__init__(name), así que la clase padre, Animal, establece self.name. Después, a self.color se le asigna black, así que ambos atributos quedan establecidos. cry se vuelve a definir en la clase hija, así que la implementación de la clase padre queda sobrescrita (上書き), y lo que se llama es la versión meow. isinstance(c, Animal) es True, ya que Cat sí hereda de Animal. Si olvida escribir super(), name nunca se establecería y se produciría un AttributeError, así que no falla en silencio de una forma que dé como resultado None.

El orden de resolución de métodos (メソッド解決順序) se decide mediante una regla llamada linealización C3, no mediante una simple búsqueda en profundidad. La clase padre común A se coloca después de todas las clases hijas que heredan de A, así que el orden resulta D, B, C, A, object. Si fuera en profundidad, entrando en B y yendo directamente a A, sería D, B, A, C, object, pero no es eso lo que ocurre, y este es el punto en el que hay que tener cuidado. who() busca desde el principio del MRO y usa el primero que encuentra, así que lo que se devuelve es B. Si escribe class E(C, B), resulta E, C, B, A, object; tiene prioridad el que se escribe primero.

La linealización C3 tiene dos reglas: conservar el orden en que se enumeran las clases base y colocar a una clase padre después de sus clases hijas. F(A, B) especifica poner A antes que B, pero B es hija de A, así que la clase padre A debe ir después de la hija B. Como estas dos condiciones no pueden cumplirse a la vez, se determina que no se puede construir un MRO (メソッド解決順序) coherente, y se produce un TypeError en el momento en que se evalúa la definición de la clase. Falla en el instante en que se procesa la sentencia class, no solo cuando se intenta ejecutar. Para escribirlo correctamente, hay que escribir primero la clase hija, como en class F(B, A).

_one, que empieza con un solo guion bajo, es solo una convención que indica que es de uso interno, y su nombre no cambia; se puede leer normalmente desde fuera. __two, que empieza con dos guiones bajos, sufre la alteración de nombres (名前修飾, name mangling), y su nombre real de atributo se reescribe como _P__two, es decir, _NombreDeClase__nombre. Por eso, escribir p.__two produce un AttributeError, pero escribir p._P__two le permite leerlo. Lo que aparece en __dict__ es también el nombre alterado, así que al ordenarlo resulta ['_P__two', '_one']. Solo se alteran los nombres que empiezan con dos guiones bajos; _one no está sujeto a ello.

print(v) y str(v) usan el método especial (特殊メソッド) __str__, así que resulta V(1, 2). Sin embargo, cuando se muestra dentro de un contenedor como una lista o un diccionario, para cada elemento se usa __repr__, así que resulta [Vec(x=1, y=2)]. Esta distinción de usos es el punto clave de esta pregunta. len(v) es el 2 que devuelve __len__, y v + Vec(3, 4) es un nuevo Vec que devuelve __add__; al pasarlo a print se vuelve a usar __str__, así que se muestra V(4, 6). En una clase en la que no está definido __str__, se usa __repr__ como sustituto, pero lo contrario —que se use __str__ en lugar de __repr__— nunca ocurre.

Como __eq__ está definido, p == q compara el atributo x y da True, pero p y q son objetos creados por separado, así que p is q sigue siendo False. El punto importante aquí es que, en una clase que define __eq__, su __hash__ se establece automáticamente en None, así que Point.__hash__ is None es True. Un objeto sin hash (ハッシュ) no se puede usar en un conjunto ni como clave de un diccionario, así que intentar crear {p, q} produce un TypeError. Si también quiere poder ponerlo en un conjunto, debe definir su propio __hash__ que devuelva el mismo valor para objetos iguales.

math.sqrt devuelve un número de punto flotante (浮動小数点数) incluso cuando el resultado es exacto, así que la raíz cuadrada de 16 se muestra no como 4 sino como 4.0. math.floor redondea hacia abajo en la recta numérica, así que -1.5 resulta -2, y math.ceil redondea hacia arriba, así que -1.5 resulta -1. Tenga en cuenta que, con números negativos, int(-1.5), que redondea hacia 0, da -1, lo que no coincide con el resultado de floor. Si confunde floor y ceil, obtendrá el orden -1 -2, y si supone que el tipo de retorno de sqrt es int, obtendrá 4.

os.path.splitext separa solo la extensión (拡張子), dejando el punto unido al lado de la extensión, y devuelve una tupla de 2 elementos. Por eso resulta ('/tmp/z', '.txt'). No ocurre que se pierda el punto y quede 'txt'. os.path.basename devuelve el nombre del final de la ruta, así que es 'z.txt'. Lo que devuelve el lado del directorio, '/tmp', es en cambio os.path.dirname, y cuando quiere una tupla con ambos juntos, se usa os.path.split. Conviene recordar la distinción de que splitext divide por la extensión, no por un separador de directorios.

re.match solo busca coincidencias desde el principio de la cadena, así que, como el principio de 'abc' es 'a', no coincide con 'b' y devuelve None. re.search busca incluso en medio de la cadena, así que coincide con 'b', y .group() extrae la cadena coincidente b. Esta diferencia es el punto que más se pregunta sobre re. re.findall devuelve una lista que reúne todas las partes que coinciden con el patrón (パターン), y como \d+ significa dígitos consecutivos, resulta ['1', '22', '333']. Los caracteres separadores no se incluyen. Si no hay coincidencias, devuelve una lista vacía.

Al imprimir directamente un objeto date, se muestra en formato ISO, con guiones, como 2026-08-22. strftime es lo que se usa para cambiar el formato, y si se le pasa '%Y/%m/%d', devuelve la cadena separada por barras 2026/08/22. Sumar timedelta(days=10) a una fecha no devuelve un timedelta, sino una nueva fecha que apunta a 10 días después, así que al imprimirla se obtiene 2026-09-01. El cálculo que cruza el límite de un mes lo resuelve datetime, así que no resulta una fecha inexistente como 2026-08-32, que es lo que obtendría si simplemente sumara 10 al número del día. Si piensa que print(d) usa el mismo formato que strftime, obtendría una salida separada por barras, pero la visualización predeterminada usa guiones. Cuando resta una fecha de otra, lo que se devuelve no es una fecha sino un timedelta, y su visualización toma una forma como 10 days, 0:00:00.

'abracadabra' contiene a 5 veces, b y r 2 veces cada una, y c y d una vez cada una. most_common(2) devuelve solo los 2 primeros por número de apariciones, como una lista de tuplas de elemento y recuento, así que resulta [('a', 5), ('b', 2)]. Entre b y r, que empatan en número de apariciones, va primero la que apareció antes, así que se elige b. Counter es un tipo de diccionario (辞書), pero consultar un elemento que no está presente no produce KeyError; devuelve 0, lo que es una diferencia respecto a un diccionario ordinario. Gracias a este diseño, no hace falta comprobar si existe antes de contar.

Un tipo creado con namedtuple se muestra con la forma Pt(x=1, y=2), con el nombre del tipo y los nombres de los campos. El valor se puede leer tanto por nombre como por índice, así que p.x y p[0] son ambos 1. Además, como namedtuple es un subtipo de tuple, isinstance(p, tuple) es True. Es decir, es un tipo de tupla (タプル), y sus elementos no se pueden reescribir después. Si quiere guardar un valor que se pueda cambiar, use _replace, que crea una nueva instancia con un valor sustituido, o defina una clase ordinaria.

Lo que devuelve map no es una lista sino un iterador (イテレータ); cada llamada a next() entrega el siguiente valor, y una vez agotado, se acabó. Como la primera llamada a list() saca los 3 valores, a la segunda llamada a list() no le queda nada y resulta una lista vacía. No se produce un error ni se obtiene None; simplemente queda vacía en silencio, lo que hace que sea fácil pasarlo por alto. map(str, ...) convierte cada elemento en una cadena, así que el primer resultado no son números sino ['1', '2', '3']. Lo mismo ocurre con filter, zip, enumerate y los generadores, así que, si piensa recorrerlo más de una vez, fíjelo en una lista con list() justo después de recibirlo.

Si se pasa None como primer argumento de filter, se filtra según el valor de verdad (真偽) del propio elemento. 0, la cadena vacía y None se evalúan como falsos, así que se descartan, y lo que queda es [1, 2, 'a']. No ocurre que queden los descartados. all está especificado para devolver True siempre que no haya ni un solo elemento falso, así que, para una lista vacía, sin ningún elemento, es True. any devuelve True si hay al menos un elemento verdadero, así que, para una vacía, es False. El punto de que estas dos dan respuestas opuestas cuando se les pasa una secuencia vacía se pregunta con frecuencia.

Llamar a una función que contiene yield no ejecuta ni una sola línea de su cuerpo. Lo que se devuelve es solo un objeto generador (ジェネレータ), así que primero se imprime created. Solo con el primer next(g) empieza por fin a moverse desde arriba, imprime start, luego se detiene en yield 1 y devuelve 1. El siguiente next(g) se reanuda desde donde se detuvo, imprime mid y luego se detiene en yield 2, devolviendo 2. Esta ejecución diferida es la diferencia decisiva respecto a una función ordinaria, y llamar a next(g) una vez más termina la función, lo que produce StopIteration.

== es el operador que pregunta si los valores son iguales, así que, como a y b tienen el mismo contenido, da True. is es el operador que pregunta si se trata del mismo objeto (オブジェクト), y como a y b son dos listas creadas por separado, da False. En cambio, c = a no crea una lista nueva; solo da otro nombre al mismo objeto, así que a is c es True. Es decir, si se modifica la lista a través de c, el cambio también se ve a través de a. None es un objeto especial que existe una sola vez, así que la forma idiomática es escribir x is None, pero cuando quiera comparar valores, use siempre ==.