python / python/mypy

Final not honored when applied post-hoc

Đang mở
#20,144 2 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

bug topic-final
Ngôn ngữ chính
Python
Star
20.6k
Fork
3.3k
Chỉ số merge pull request
Chỉ số pull request đang chờ

Mô tả

Bug Report

The behavior of Final is a bit inconsistent. It can be applied post-hoc, but then it won't be honored.

To Reproduce

import platform
import sys

from typing import Final

SERIES_STD = ' ▌█' if platform.system() == 'Windows' else ' ▏▎▍▌▋▊▉█'
if sys.__stdout__ and sys.__stdout__.encoding:
    try:
        SERIES_STD.encode(sys.__stdout__.encoding)
    except UnicodeEncodeError:
        SERIES_STD = ' |'

SERIES_STD: Final = SERIES_STD
SERIES_STD = '| '

Expected Behavior

I expect an assignment error for the final line to raise an error.

error: Cannot assign to final name "SERIES_STD"  [misc]

Some people might argue applying Final post-hoc itself should raise an error, but I'm not one of them.

Actual Behavior

Success: no issues found in 1 source file

Your Environment

  • Mypy version used: 1.18.2
  • Mypy command-line flags: None
  • Mypy configuration options from mypy.ini (and other config files): No Config
  • Python version used: 3.13.9

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Hướng nghiên cứu

Bắt đầu bằng cách chạy reproducer được cung cấp với mypy 1.18.2 và theo dõi cách các annotation Final post hoc được xử lý. Xác định đường dẫn kiểm tra kiểu liên quan, bổ sung coverage cho ví dụ này và xác nhận rằng phép gán lại báo cáo "Cannot assign to final name", trong khi hành vi khác của Final vẫn không thay đổi.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Công nghệ
python
Lĩnh vực
tooling
Loại issue
Lỗi
Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức độ hoạt động
Đình trệ
Độ rõ ràng
Đặc tả rõ ràng
Mức phù hợp với người mới
52/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.