Một tập hợp các hành vi bất ngờ của Python đã làm bùng phát lại các cuộc thảo luận về chất lượng thiết kế ngôn ngữ lập trình, với các nhà phát triển so sánh những đặc điểm kỳ lạ của Python với những sự không nhất quán khét tiếng của JavaScript. Dự án What the f*ck Python! trưng bày những hành vi mã lệnh bất ngờ thách thức các giả định của nhà phát triển về cách Python hoạt động bên dưới.
Danh Tính Chuỗi So Với Sự Bằng Nhau Tạo Ra Sự Nhầm Lẫn
Cách Python xử lý các đối tượng chuỗi tiết lộ các chi tiết triển khai có thể gây nhầm lẫn cho các nhà phát triển. Khi tạo các chuỗi giống hệt nhau, Python đôi khi lưu trữ chúng như cùng một đối tượng trong bộ nhớ và đôi khi tạo ra các đối tượng riêng biệt. Điều này dẫn đến kết quả bất ngờ khi sử dụng toán tử is, toán tử này kiểm tra danh tính đối tượng thay vì sự bằng nhau về nội dung. Hành vi này phụ thuộc vào các yếu tố như string interning và cách các chuỗi được tạo ra, khiến việc dự đoán trở nên khó khăn nếu không có kiến thức sâu về nội bộ Python.String interning: Kỹ thuật tối ưu hóa của Python trong đó các chuỗi giống hệt nhau được lưu trữ một lần trong bộ nhớ và được tái sử dụng
Các Đặc Điểm Kỳ Lạ Thường Gặp Trong Python:
- Vấn Đề Định Danh Chuỗi:
"wtf" is "wtf"trả vềTrue, nhưng"wtf!" is "wtf!"có thể trả vềFalse - So Sánh Chuỗi:
False == False in [False]được đánh giá làTruedo cơ chế chuỗi toán tử - Hành Vi Object ID: Kết quả của hàm
id()phụ thuộc vào string interning và thời gian tồn tại của đối tượng - Chuyển Đổi Boolean:
bool("False")trả vềTruevì các chuỗi không rỗng có giá trị truthy
Các Phép So Sánh Chuỗi Tạo Ra Kết Quả Bất Ngờ
Một trong những hành vi đáng ngạc nhiên nhất liên quan đến các toán tử so sánh chuỗi. Biểu thức False == False in [False] được đánh giá là True, điều này có vẻ phản trực quan bất kể bạn phân tích nó trong đầu như thế nào. Điều này xảy ra vì Python coi các phép so sánh chuỗi như các biểu thức boolean phức hợp, thực tế chuyển đổi câu lệnh thành (False == False) and (False in [False]). Mặc dù tính năng này cho phép ký hiệu toán học như 1 < x < 10, nó có thể tạo ra sự nhầm lẫn khi áp dụng cho các toán tử không bắc cầu.
Cộng Đồng Chia Rẽ Về Việc Chỉ Trích Ngôn Ngữ
Cuộc thảo luận đã tiết lộ sự chia rẽ sâu sắc trong cách các nhà phát triển nhìn nhận việc chỉ trích ngôn ngữ. Một số cho rằng những ví dụ này đại diện cho các trường hợp biên hiếm khi xuất hiện trong mã sản xuất, nhấn mạnh rằng Python tốt tuân theo các quy ước đã được thiết lập và hiếm khi sử dụng các hàm như id(). Những người khác lại khẳng định rằng các ngôn ngữ lập trình nên được kiểm tra nghiêm ngặt như bất kỳ phần mềm nào khác, vì những sự không nhất quán có thể dẫn đến các lỗi tinh vi trong các ứng dụng thực tế.
Đối với một ngôn ngữ được sử dụng rộng rãi như Python, chúng ta nên kiểm tra nó như các tester QA. Tất cả những sự không nhất quán này cộng lại thành hàng tấn lỗi khi bạn mong đợi một cái gì đó tuân theo một mẫu nhất quán và nó không làm vậy.
Các Điểm Thảo Luận Chính:
- Tác Động Đến Sản Xuất: Hầu hết các ví dụ sử dụng các hàm như
id()hiếm khi xuất hiện trong code thực tế - Thiết Kế Ngôn Ngữ: Tranh luận về việc liệu tính nhất quán hay khả năng đọc hiểu nên được ưu tiên
- Chất Lượng Tài Liệu: Python thiếu đặc tả chính thức so với các ngôn ngữ lớn khác
- So Sánh Với JavaScript: Cộng đồng chia rẽ về việc liệu Python có xứng đáng bị chỉ trích tương tự như JS hay không
Mối Quan Ngại Về Đặc Tả Và Tài Liệu
Cuộc tranh luận cũng đã làm nổi bật mối quan ngại về việc Python thiếu một đặc tả chính thức. Không giống như các ngôn ngữ có đặc tả chi tiết cho phép các triển khai độc lập, Python chủ yếu dựa vào CPython làm triển khai tham chiếu. Cách tiếp cận này có nghĩa là một số hành vi là chi tiết triển khai thay vì các tính năng ngôn ngữ được đảm bảo, khiến các nhà phát triển khó dự đoán hơn về cách mã sẽ hoạt động trên các triển khai Python khác nhau.
Cuộc thảo luận phản ánh những căng thẳng rộng lớn hơn trong thiết kế ngôn ngữ lập trình giữa khả năng đọc, tính nhất quán và tính thực tiễn trong triển khai. Trong khi triết lý thiết kế của Python nhấn mạnh khả năng đọc mã và năng suất của nhà phát triển, những ví dụ này cho thấy rằng ngay cả các ngôn ngữ được thiết kế tốt cũng có thể thể hiện những hành vi đáng ngạc nhiên thách thức các mô hình tinh thần của nhà phát triển về cách ngôn ngữ nên hoạt động.
Tham khảo: What the f*ck Python!