[PYTHON] [mypy] Résumé des options non activées par `--strict`

J'ai utilisé correctement mypy --strict jusqu'à présent, mais je me demandais si c'était vraiment strict, j'ai donc décidé de vérifier s'il y avait des options importantes qui n'étaient pas activées.

** Ce qui suit est la dernière version 0.770 à la date de publication **

Conclusion

Les 6 options d'avertissement suivantes ne sont pas activées par --strict.

• --disallow-any-unimported
• --disallow-any-expr
• --disallow-any-decorated
• --disallow-any-explicit
• --warn-unreachable
• --warn-incomplete-stub

Si chaque option est valide

Tout d'abord, les options d'avertissement affichées par mypy --help sont résumées ci-dessous si elles sont activées par --strict.

Cependant, il n'inclut pas les options qui sont activées par défaut comme indiqué ci-dessous (mypy --help affichera les options pour les supprimer).

• --strict-optional
• --warn-no-return
• --disallow-untyped-globals
• --disallow-redefinition

Activé avec --strict: ✅ / Désactivé: ❌

Config file

Disallow dynamic typing

Untyped definitions and calls

None and Optional handling

Configuring warnings

Miscellaneous strictness flags

Advanced options

Pour les options qui ne sont pas activées

--disallow-any-unimported

Sans le stub, le type de la bibliothèque externe serait un alias pour typing.Any, mais vous avertit que vous l'utilisez.

sample.py

import numpy as np  # type: ignore

def func() -> np.ndarray:
    return np.array(1)

$ mypy --strict --show-error-code --pretty sample.py
Success: no issues found in 1 source file
$ mypy --disallow-any-unimported --show-error-code --pretty sample.py
sample.py:3: error: Return type becomes "Any" due to an unfollowed import  [no-any-unimported]
    def func() -> np.ndarray:
    ^
Found 1 error in 1 file (checked 1 source file)

Vous pouvez le modifier comme suit.

- def func() -> np.ndarray:
+ def func() -> t.Any:

Je me demandais si ce serait plein de ʻAny, mais c'est peut-être tout à fait possible parce que np.ndarray` est aussi juste une illusion après tout. Je pense qu'il y a des moments où j'écris «np.ndarray» comme commentaire, donc je pense que c'est une décision individuelle.

--disallow-any-expr

Avertissement pour les expressions contenant typing.Any. Fini avec np.array (1) + np.array (2). Vous ne pouvez presque rien faire sans créer un talon.

--disallow-any-decorated

Attention, la fonction après avoir traversé le décorateur a typing.Any dans l'argument ou la valeur de retour.

sample.py

from abc import ABC, abstractmethod
from functools import wraps
import typing as t


class A(ABC):
    @abstractmethod
    def func_a(a: t.Any) -> None:
        pass


def deco(f: t.Callable[[int], int]) -> t.Callable[[int], t.Any]:
    @wraps(f)
    def wrapper(a: int) -> t.Any:
        return t.cast(t.Any, f(a))
    
    return wrapper


@deco
def func_b(a: int) -> int:
    return 0

$ mypy --strict --show-error-code --pretty sample.py
Success: no issues found in 1 source file
$ mypy --disallow-any-decorated --show-error-code --pretty sample.py
sample.py:8: error: Type of decorated function contains type "Any" ("Callable[[Any], None]")  [misc]
        def func_a(a: t.Any) -> None:
        ^
sample.py:21: error: Type of decorated function contains type "Any" ("Callable[[int], Any]")  [misc]
    def func_b(a: int) -> int:
    ^
Found 2 errors in 1 file (checked 1 source file)

À moins qu'une fonction normale ajoute --disallow-any-explicit, vous pouvez utiliser typing.Any comme argument, mais je ne comprends pas le sens de spécialiser uniquement le décorateur (et` --disallow- ". Je ne pense pas que tout explicite puisse être fait).

--disallow-any-explicit

Avertir explicite "typing.Any". Strict.

--warn-unreachable

Avertissement pour code de non-livraison.

sample.py

def process(x: int) -> None:
    if isinstance(x, int) or x > 7:
        print(str(x) + "bad")
    else:
        print(str(x) + "bad")

(Le code de https://mypy.readthedocs.io/en/stable/command_line.html#cmdoption-mypy-warn-unreachable a été légèrement modifié.)

$ mypy --strict --show-error-code --pretty sample.py
Success: no issues found in 1 source file
$ mypy --warn-unreachable --show-error-code --pretty sample.py
sample.py:2: error: Right operand of 'or' is never evaluated  [unreachable]
        if isinstance(x, int) or x > 7:
                                 ^
sample.py:5: error: Statement is unreachable  [unreachable]
            print(str(x) + "bad")
            ^
Found 2 errors in 1 file (checked 1 source file)

Tous les codes de non-livraison ne peuvent pas être détectés, mais n'est-ce pas mauvais?

--warn-incomplete-stub

Avertissement pour les talons. Je ne suis pas sûr parce que stubgen ne fonctionne pas en premier lieu. Dans le document

This flag is mainly intended to be used by people who want contribute to typeshed and would like a convenient way to find gaps and omissions.

Est-ce que ça va parce que ça dit?

Impressions

Personnellement, en plus de «--strict», j'ai pensé que les deux suivants pourraient être envisagés.

• --disallow-any-unimported
• --warn-unreachable

En premier lieu, mypy n'est utilisé que par inertie, donc s'il y a quelque chose de facile à utiliser autour de Pyright, Pyre, pytype, je voudrais changer.

Comparaison divers

référence

--Document officiel

• https://mypy.readthedocs.io/en/stable/command_line.html