Code Introspection trong Python

Từ khóa “code introspection” này mình vô tình tìm thấy trong một bài viết trên Medium. Sau một hồi tìm hiểu, mình mới biết “code introspection” chính là việc khai thác thông tin về class, method, module … ngay tại thời điểm runtime. Python cung cấp cho chúng ta một số built-in methods để hỗ trợ cho việc này, nhờ đó chúng ta có thể hiểu chương trình hơn, nắm rõ các objects mà mình đang làm việc hơn (nó là gì, nó có thể làm được những gì, …) qua đó có thể xử lý logic một cách đúng đắn hoặc debugging một cách hiệu quả hơn. Có lẽ đó cũng chính là lý do xuất hiện từ “introspection” (sự tự suy xét nội tâm ?).

Trong quá trình làm việc, mình cũng đã thử sử dụng một số phương thức trên và thấy rất hữu dụng. Chính vì thế, mình muốn tổng hợp lại một lần nữa để khiến bản thân nhớ lâu hơn, và hi vọng có thể chia sẻ cho bạn nào muốn tìm hiểu về Python, thêm một vài kiến thức mới thú vị. Nếu mọi người có gì góp ý thì bảo với mình nhé!

Sau đây mình sẽ giới thiệu một số hàm intropection phổ biến:

type()

Để minh họa cho phương thức này, mình xin phép lấy lại ví dụ trong một bài Medium (link ở cuối bài):

Làm thế nào để lưu trữ giá trị 1?

Chúng ta có thể liệt kê những cách sau đây:

Có nhiều cách hơn bạn nghĩ đúng không? Bây giờ chúng ta sẽ kiểm tra type của các variables trên:

Gần như mỗi biến đều là một data type khác nhau (trừ hai biến ở cuối). Cơ mà data type có quan trọng không?

Có. Vì nó sẽ xác định các operations có thể sử dụng, và đảm bảo kết quả ra đúng như kỳ vọng.

Tiếp tục ví dụ trên, khi thực hiện phép cộng (toán tử +) trên các data types khác nhau, chúng ta sẽ nhận được các output hoàn toàn khác nhau:

Cùng là làm việc trên những biến “lưu giữ giá trị 1”, nhưng ở phép toán đầu tiên thì ta đang cộng số học, phép toán thứ hai thì cộng chuỗi, còn phép toán cuối cùng thì lại gặp lỗi!

Cá nhân mình thường sử dụng phương thức type() trong quá trình debugging. Đối với mình, data types thực sự là ác mộng, vì mỗi thư viện, mỗi team làm việc, hay mỗi cá nhân đôi khi sẽ có những convention và cách tiếp cận vấn đề khác nhau. Trong một project về xử lý ảnh ở team của mình, ma trận ảnh có thể gặp dưới dạng np.uint8 hoặc np.float32; tọa độ điểm có thể gặp dưới dạng Tuple của hai số nguyên, List chứa hai số nguyên, hoặc np.ndarray chứa hai số nguyên; v.v … Nếu không cẩn thận, chúng ta có thể gặp những lỗi ngoài ý muốn như ví dụ ở trên.

Như vậy, việc kiểm tra data types và thống nhất một quy chuẩn chung khi làm việc rất quan trọng. Mình thường thực hiện bằng cách sử dụng type hint khi khai báo hàm và sử dụng assert kết hợp với isinstance() để validate inputs đầu vào trước khi thực hiện xử lí logic tiếp theo. Hàm ở trên có thể viết lại như sau:

isinstance()

Như đã thấy ở ví dụ trên, phương thức isintance() có tác dụng kiểm tra xem một object có phải là một thể hiện (instance) của class hay không. Nếu đúng, isinstance() sẽ trả về True, ngược lại trả về False.

Chúng ta có thể tham khảo thêm một ví dụ dưới đây:

Nhờ vào việc xác định class của từng object mà ta đã có các actions phù hợp cho từng class cụ thể. Trong ví dụ trên, animal là một thể hiện của Dog nên nó sẽ thực hiện phương thức bark() thay vì fly(). Điều này giúp giảm thiểu rủi ro trong quá trình thực thi chương trình.

hasattr()

Phương thức này nhằm xác định xem object có tồn tại attribute nào đó hay không.

Tiếp tục ví dụ ở trên, ta thử khiến chú chó Pluto bay như chim xem sao:

Như vậy, Pluto không hề có attribute fly. Tuy nhiên đâu có điều gì là “chắc chắn mọi con chó đều không biết bay”? Giả sử chúng ta khai báo một chú chó ngoài hành tinh chẳng hạn:

Để tránh gặp lỗi AttributeError như ở trên, chúng ta có thể giải quyết bằng cách:

Vì animal không có attribute fly() nên điều kiện trở nên sai, phương thức animal.fly() sẽ không được thực hiện. Tuy nhiên, ở alien_animal lại tồn tại phương thức này nên điều kiện trở nên đúng, và chú chó này đã bay thật.

(Tiếc thay, Woola thực sự trong phim John Carter không biết bay.)

dir()

Phương thức này liệt kê tất cả các thuộc tính và phương thức của bất cứ object nào.

Có một sự thật là, tất cả mọi thứ trong Python hầu hết đều là object. Chúng ta có thể dễ dàng kiểm chứng với isinstance() :

(Chỉ riêng về object trong Python thôi mà mình đã thấy rất nhiều điều thú vị. Mình sẽ tổng hợp và chia sẻ cho mọi người trong những phần tiếp theo.)

Object sẽ có những thuộc tính và phương thức nhất định. dir() chính là hàm quyền lực liệt kê ra tất cả những phương thức và thuộc tính của object đó, ngay cả các thuộc tính mặc định.

Output này giúp chúng ta có cái nhìn tổng quát về object animal khi nãy hơn, xác định được animal có những thuộc tính gì và có thể thực thi được những phương thức gì. Ngoài phương thức bark và thuộc tính name ở cuối mảng, các phương thức mặc định còn lại được gọi là magic methods (mình sẽ bàn về vấn đề này ở bài khác).

id()

Phương thức này trả về định danh (duy nhất) của object ở vòng đời chương trình hiện tại, trong C có thể hiểu như là địa chỉ bộ nhớ mà biến đó tham chiếu tới. Giá trị này sẽ thay đổi ở mỗi lần chạy chương trình.

Như kết quả ở trên, a và b đang cùng tham chiếu tới một vùng nhớ chung. Bây giờ ta thử khiến b trở thành một shallow copy của a xem sao:

Lúc này, hai biến a và b đã không còn chung một id, hay có thể hiểu là không còn trỏ tới cùng một vùng nhớ nữa. Chúng ta có thể dùng từ khóa is để kiểm tra:

Lưu ý rằng khi sử dụng == vẫn trả về True vì đang lúc này đang so sánh về giá trị, không phải về id.

help()

Khi debug, chúng ta có thể dùng phương thức này để hiển thị documentation về một function, class, module hay biến nào đó.