Início / coding / Perguntas / 79438489
Accepted
LeGEC
Asked: 2025-02-14 13:59:13 +0800 CST

Qual é a maneira correta de agradar o verificador de tipos para uma função '(bytes | str) -> str'?

  • 772

Tenho o seguinte código:

def from_utf8(string: bytes | str) -> str:
    if isinstance(string, bytes):
        return string.decode("utf-8")
    else:
        return string  # <- type warning on this line

pylance me dá um aviso de tipo na return stringlinha:

Type "bytearray | memoryview[_I@memoryview] | str" is not assignable to return type "str"
  Type "bytearray | memoryview[_I@memoryview] | str" is not assignable to type "str"
    "bytearray" is not assignable to "str"

Pelo que entendi,
a anotação de tipo x: bytesé, na verdade, um alias para "tipos de tempo de execução" x: bytes | bytearray | memoryview[_I@memoryview], mas isinstance(x, bytes)verifica apenas bytes, não os outros dois.

Tentei verificar os tipos ao contrário:

def from_utf8(string: bytes | str) -> str:
    if isinstance(string, str):
        return string
    else:
        return string.decode("utf-8")  # <- no attribute 'decode' for 'memoryview'

O erro agora é:

Cannot access attribute "decode" for class "memoryview[_I@memoryview]"
  Attribute "decode" is unknown

Para contexto:

  • meu projeto usa python 3.11
  • Vejo esses avisos no vscode, usando o pylance versão 2025.2.1 e ms-python.pythona extensão python ( ) versão 2025.0.0

Tenho uma maneira conveniente de escrever uma versão from_utf8(string)que passe no verificador de tipos?

também: minha suposição está correta e está documentada em algum lugar?

python

1 respostas

  1. Best Answer

    Antes do Python 3.12, bytesera especificado para se comportar como um alias de builtins.bytes | builtins.bytearray | builtins.memoryview. Da documentação do Python 3.10 (ênfase minha):

    aula typing.ByteString(Sequence[int])

    Uma versão genérica de collections.abc.ByteString.

    Este tipo representa os tipos bytes, bytearray, e memoryviewde sequências de bytes.

    Como uma abreviação para esse tipo, bytespode ser usado para anotar argumentos de qualquer um dos tipos mencionados acima.

    O erro de digitação estática que você está vendo é uma consequência desse comportamento. Esse comportamento agora foi removido no Python 3.12 com a introdução do PEP 688 .

    pyright 1.1.329 (lançado há mais de um ano) desabilitou esse comportamento de digitação estática por padrão no modo estrito . Se você não quiser usar o modo estrito, mas ainda quiser desabilitar esse comportamento, defina disableBytesTypePromotionscomo true.

    Conforme apontado nos comentários, uma biblioteca de terceiros tipada pode ter sido desenvolvida sob esse comportamento, nesse caso você deve tomar cuidado ao se referir a variáveis ​​ou valores de retorno de funções dessa biblioteca. Como exemplo, sem a --strict-bytesopção, mypy passará o seguinte na verificação de tipo (veja mypy Playground ):

    def f() -> bytes:
    return memoryview(b"")
    • 3

relate perguntas