python / python/mypy

Generic class clone method using property variable for type arg produces name-defined error

Abierto
#17,302 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

bug
Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Merge medio
1 d 18 h
PR fusionados (30 d)
54

Descripción

My Python code is running fine for what I want it to do, but I've had to silence this mypy error in this case, where it does not appear to be correct. A property is used to access the __orig_class__ variable.

To reproduce:
mypy playground - https://mypy-play.net/?mypy=1.10.0&python=3.12&gist=063c6160fe6d1bf37973f47906a6d997

from __future__ import annotations
from typing import Generic, TypeVar, get_args

T = TypeVar("T", bound=int)

class Foo(Generic[T]):
    @property
    def t(self) -> type[T]:
        return get_args(self.__orig_class__)[0]  # Get the type arg, (int)
    
    def clone(self) -> Foo[T]:
        return Foo[self.t]()  # test.py:12: error: Name "self.t" is not defined  [name-defined]
    
    def no_complaint(self) -> None:
        print(self.t("1"))


foo = Foo[int]()
foo.no_complaint()  # `1`
r = foo.clone()
r.no_complaint()    # `1`

Expected behaviour
Mypy reports no errors, python code runs correctly.

Actual behaviour
Python code runs correctly.
Mypy returns
test.py:12: error: Name "self.t" is not defined [name-defined]

Environment
Base install with:
mypy==1.10.0
python==3.11.4

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza con el mypy playground enlazado y el ejemplo indicado de Python 3.12 y mypy 1.10.0 en test.py; después, sigue cómo se produce el diagnóstico name-defined para self.t dentro de Foo.clone. Se considera terminado cuando la reproducción no informa de errores y conserva el comportamiento mostrado en tiempo de ejecución.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
python
Área
devtools
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
45/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.