`_v` can be read and written from the outside of the class so the generic class should be invariant properly.

*Memo:

• mypy --strict test.py
• mypy 1.19.1
• Python 3.14.0
• Windows 11

v can be read and written from the outside of the class so the generic class is invariant properly as shown below:

class Cls[T]:
    v: T = cast(T, 100) # Invariant

cls: Cls[int] = Cls[int]()

# It indicates `Invariant`.
cls1: Cls[float] = cls # Errpr
cls2: Cls[int] = cls   # No error
cls3: Cls[bool] = cls  # Error

# Read & Write
print(cls.v) # No error
cls.v = 200  # No error

Now, _v can be read and written from the outside of the class but the generic class is covariant improperly as shown below so it should be invariant properly:

*Memo:

• A single leading underscore(_abc) just indicates Internal use so it's not private(Readable & Writable).

class Cls[T]:
    _v: T = cast(T, 100) # Covariant

cls: Cls[int] = Cls[int]()

# It indicates `Covariant`.
cls1: Cls[float] = cls # No error
cls2: Cls[int] = cls   # No error
cls3: Cls[bool] = cls  # Error

# Read & Write
print(cls._v) # No error
cls._v = 200  # No error

Bắt đầu bằng cách tái hiện báo cáo từ test.py bằng mypy --strict với các phiên bản mypy 1.19.1 và Python 3.14.0 đã nêu. Theo dõi cách mypy suy luận variance cho các lớp generic có thuộc tính public và thuộc tính có một dấu gạch dưới. Hoàn thành khi ví dụ _v được xử lý là invariant trong khi vẫn giữ nguyên các phép gán hợp lệ và không hợp lệ đã cho.