[PYTHON] [mypy] Zusammenfassung der Optionen, die von `--strict` nicht aktiviert wurden

Ich habe mypy --strict bisher richtig verwendet, aber ich habe mich gefragt, ob es wirklich streng ist, also habe ich mich entschlossen zu prüfen, ob es wichtige Optionen gibt, die nicht aktiviert wurden.

** Das Folgende ist die neueste Version 0.770 zum Buchungsdatum **

Fazit

Die folgenden 6 Warnoptionen werden von --strict nicht aktiviert.

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

Ob jede Option gültig ist

Zunächst werden die von mypy --help angezeigten Warnoptionen unten zusammengefasst, ob sie von --strict aktiviert werden.

Es enthält jedoch nicht die Optionen, die standardmäßig aktiviert sind (siehe unten) (mypy --help zeigt die Optionen zum Unterdrücken an).

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

Aktiviert mit --strict: ✅ / Disabled: ❌

Config file

Disallow dynamic typing

Untyped definitions and calls

None and Optional handling

Configuring warnings

Miscellaneous strictness flags

Advanced options

Für Optionen, die nicht aktiviert sind

--disallow-any-unimported

Ohne den Stub wäre der Typ der externen Bibliothek ein Alias für "typing.Any", aber warnen Sie, dass Sie ihn verwenden.

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)

Sie können es wie folgt ändern.

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

Ich habe mich gefragt, ob es voll von "Any" sein würde, aber "np.ndarray" ist schließlich auch nur eine Illusion, also könnte es in Ordnung sein. Ich denke, dass es Zeiten gibt, in denen ich "np.ndarray" als Kommentar schreibe, also denke ich, dass es eine individuelle Entscheidung ist.

--disallow-any-expr

Warnung für Ausdrücke, die typing.Any enthalten. Raus mit np.array (1) + np.array (2). Sie können fast nichts tun, ohne einen Stummel zu machen.

--disallow-any-decorated

Warnung, dass die Funktion nach dem Durchlaufen des Dekorators "typing.Any" im Argument oder im Rückgabewert hat.

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)

Sofern eine normale Funktion nicht "--disallow-any-explizit" hinzufügt, können Sie "typing.Any" als Argument verwenden, aber ich verstehe nicht, was es bedeutet, nur den Dekorateur (und "--disallow-") zu spezialisieren. Ich habe nicht das Gefühl, dass irgendetwas explizit gemacht werden kann.

--disallow-any-explicit

Warnen Sie explizit "typing.Any". Streng.

--warn-unreachable

Warnung bei Nichtliefercode.

sample.py

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

(Der Code von https://mypy.readthedocs.io/en/stable/command_line.html#cmdoption-mypy-warn-unreachable wurde ein wenig geändert.)

$ 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)

Nicht alle Nichtzustellungscodes können erkannt werden, aber ist es nicht schlecht?

--warn-incomplete-stub

Warnung vor Stichleitungen. Ich bin mir nicht sicher, weil stubgen überhaupt nicht funktioniert. Im Dokument

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.

Ist es okay, weil es heißt?

Impressionen

Persönlich dachte ich zusätzlich zu "--strict", dass die folgenden zwei in Betracht gezogen werden könnten.

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

Erstens wird mypy nur durch Trägheit verwendet. Wenn es also etwas gibt, das um Pyright, Pyre, pytype einfach zu verwenden ist, würde ich gerne wechseln.

Verschiedenes Vergleich

Referenz

--Offizielles Dokument

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