Trong các biến Python không được khai báo - như được khai báo bằng nhiều ngôn ngữ như C, C ++, Java, v.v.variable type on the basis of value stored in it. Bây giờ vì không phải lúc nào chúng tôi gán một giá trị cho một biến trong khi viết mã, đôi khi giá trị được gán ở thời gian chạy. Ví dụ: chúng tôi thường xuyên lấy đầu vào từ người dùng và gán nó cho một biến. Trong trường hợp như vậy, các biến có thể được liên kết với loại (loại dữ liệu) nhất định trong khi viết mã. & NBSP; Đó là vì lý do này trong Python được gọi là ngôn ngữ được đánh máy động bởi vì nó sử dụng liên kết động hoặc ràng buộc muộn - tức là tại thời điểm chạy. & NBSP; Hãy cho chúng tôi hiểu bằng cách sử dụng một số ví dụ mã hóa: Cung cấp đầu ra: Hãy để chúng tôi cố gắng hiểu mã ở trên: Hãy để chúng tôi cải thiện mã của chúng tôi để chứng minh thêm quan điểm của chúng tôi:Ví dụ
Explanation:
Biến Python -Binding
Trong mã trên, ID hàm () được sử dụng để tìm địa chỉ bộ nhớ là một biến (được truyền đến ID hàm () dưới dạng đối số) đang chỉ đến. Trong trường hợp của chúng tôi, biến x được truyền dưới dạng đối số. & Nbsp;
Kết luận - Python sử dụng liên kết động cho các biến
Vì giá trị được gán cho biến X được thay đổi từ 10 thành Hello Hello, nó hiển thị địa chỉ bộ nhớ khác nhau sau mỗi lần gán. Điều này chứng tỏ rằng Python sử dụng liên kết động cho các biến của nó, chỉ hoạt động như các nhãn chỉ vào một số địa chỉ bộ nhớ giữ một số giá trị mà chúng tôi gán cho một biến.
Dạy, mã hóa và chia sẻ là niềm đam mê của anh ấy. Một người cố vấn và động lực thực sự. C/ C ++, Python, Java, Web Technologies (HTML5/ CSS/ JavaScript/ JQuery, Bootstrap, NodeJS, PHP, v.v.) và một người đam mê WordPress với hơn hai thập kỷ kinh nghiệm.
Trong bài học này, bạn sẽ tìm hiểu về các hệ thống loại, so sánh việc gõ động và gõ tĩnh. Tất cả các ngôn ngữ lập trình bao gồm một số loại hệ thống loại chính thức hóa loại đối tượng mà nó có thể hoạt động và cách xử lý các loại đó.type systems, comparing dynamic typing and static typing. All programming languages include some kind of type system that formalizes which categories of objects it can work with and how those categories are treated.
Gõ động
Python là một ngôn ngữ được đánh máy động. Điều này có nghĩa là trình thông dịch Python chỉ kiểm tra loại khi mã chạy và loại biến được phép thay đổi trong suốt vòng đời của nó. Dưới đây là một vài ví dụ chứng minh những ý tưởng đó:dynamically typed language. This means that the Python interpreter does type checking only as code runs, and the type of a variable is allowed to change over its lifetime. Here are a couple of examples that demonstrate those ideas:
>>>
>>> if False: ... 1 + "two" # This line never runs, so no TypeError is raised ... else: ... 1 + 2 ... 3 >>> 1 + "two" # Now this is type checked TypeError: unsupported operand type(s) for +: 'int' and 'str'Trong ví dụ đầu tiên, chi nhánh 1 + "two" không bao giờ chạy, vì vậy nó không bao giờ được kiểm tra. Ví dụ thứ hai cho thấy rằng khi 1 + "two" được đánh giá, nó sẽ tăng X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))0 vì bạn có thể thêm một số nguyên và một chuỗi trong Python.
Trong ví dụ tiếp theo này, bạn thấy các biến có thể thay đổi loại không:
>>>
>>> thing = "Hello" >>> type(thing) <class 'str'> >>> thing = 28.1 >>> type(thing) <class 'float'>X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))1 Trả về loại đối tượng.
Gõ tĩnh
Đối diện của gõ động là gõ tĩnh. Kiểm tra loại tĩnh được thực hiện mà không cần chạy chương trình. Ví dụ, trong hầu hết các ngôn ngữ được gõ tĩnh C và Java, điều này được thực hiện khi chương trình của bạn được biên dịch. Loại biến không được phép thay đổi trong suốt vòng đời của nó.static typing. Static type checks are performed without running the program. In most statically typed languages, for instance C and Java, this is done as your program is compiled. The type of a variable is not allowed to change over its lifetime.
Trong ví dụ X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))2 này trong Java, hãy xem phần giữa, trong đó X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))3 được định nghĩa tĩnh là một loại X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))4 và sau đó được gán giá trị X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))5:
public class HelloTypes { public static void main(String[] args) { String thing; thing = "Hello World"; System.out.println(thing); } }
Đây không phải là một khóa học trên Java, vì vậy đừng lo lắng về các chi tiết cụ thể về cách tạo mã Java. Mục đích của ví dụ này là cho bạn thấy rằng có thêm các bước trong hầu hết các ngôn ngữ được đánh máy thống kê.
Trong ví dụ tiếp theo này, bạn sẽ sử dụng lệnh X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))6 để biên dịch chương trình. Điều này tạo ra một tệp mới có cùng tên, nhưng một tiện ích mở rộng khác X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))7 thay vì X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))8. Đó là tệp có thể chạy bằng lệnh X=10 print(type(X)) #Let us display the memory address, X is pointing to print(id(X)) X="Hello" print(type(X)) #Let us now display new memory address, X is pointing to print(id(X))9:
$ javac HelloTypes.java $ java HelloTypes.class Hello World
Nếu bạn cố gắng chỉ định lại >>> if False: ... 1 + "two" # This line never runs, so no TypeError is raised ... else: ... 1 + 2 ... 3 >>> 1 + "two" # Now this is type checked TypeError: unsupported operand type(s) for +: 'int' and 'str' 0 thành một giá trị thuộc loại khác, ban đầu bạn sẽ không gặp lỗi. Chỉ khi mã được biên dịch, bạn mới thấy lỗi:
public class HelloTypes { public static void main(String[] args) { String thing; thing = "Hello World"; thing = 42; System.out.println(thing); } }
Dòng >>> if False: ... 1 + "two" # This line never runs, so no TypeError is raised ... else: ... 1 + 2 ... 3 >>> 1 + "two" # Now this is type checked TypeError: unsupported operand type(s) for +: 'int' and 'str' 1 đang cố gắng thay đổi loại >>> if False: ... 1 + "two" # This line never runs, so no TypeError is raised ... else: ... 1 + 2 ... 3 >>> 1 + "two" # Now this is type checked TypeError: unsupported operand type(s) for +: 'int' and 'str' 0 từ chuỗi thành int. Nếu bạn biên dịch mã này, bạn sẽ thấy lỗi:
$ javac Hellotypes.java HelloTypes.java:8: error: incompatible types: int cannot be converted to String thing = 42; 1 error
Python sẽ luôn luôn là một ngôn ngữ được đánh máy động. Tuy nhiên, PEP 484 đã giới thiệu các gợi ý loại, điều này cũng có thể thực hiện kiểm tra loại tĩnh của mã python.
Dưới đây là một vài tài nguyên trên công cụ Bpython, vòng lặp (đọc vòng lặp inval Eval) được sử dụng trong các video này:
- Một Python tốt hơn: Bpython vs Python
- Trang chủ Bpython
- Tài liệu Bpython