Mục lục:
Định nghĩa - Nhập tĩnh có nghĩa là gì?
Gõ tĩnh là một đặc tính ngôn ngữ lập trình trong đó các loại biến được khai báo rõ ràng và do đó được xác định tại thời điểm biên dịch. Điều này cho phép trình biên dịch quyết định xem một biến đã cho có thể thực hiện các hành động được yêu cầu từ nó hay không.
Gõ tĩnh liên kết các loại với các biến, không phải với các giá trị. Một số ví dụ về ngôn ngữ lập trình gõ tĩnh bao gồm:
- Haskell
- GIỚI THIỆU
- Java
- C
- C #
- C ++
- Ada
- Ngọc
- Pascal
- ML
- Perl
- Scala
Techopedia giải thích Nhập tĩnh
Trong kiểu gõ tĩnh, không cần thực hiện kiểm tra bổ sung trong thời gian chạy để xác nhận rằng một đối tượng có thể thực hiện một số hành động. Các ngôn ngữ lập trình được gõ tĩnh thực hiện kiểm tra kiểu trong quá trình biên dịch thay vì trong thời gian chạy, điều này làm cho các chương trình được viết bằng các ngôn ngữ này chạy nhanh hơn nhiều.
Ngoài ra, công cụ và tái cấu trúc tốt hơn trong các ngôn ngữ được nhập tĩnh vì các công cụ có thể tìm ra các loại biến khi chương trình được mã hóa. Điều này giúp hiểu ngay các tham số cho một chức năng nhất định và cả các phương thức có sẵn cho một đối tượng cụ thể. Điều này làm cho quá trình tái cấu trúc cũng đơn giản hơn nhiều.
Chỉ với một vài ngoại lệ, một khi một phương thức hoặc đối tượng được tái cấu trúc, bạn có thể dễ dàng hiểu ngay các mã khác phụ thuộc vào nó. Tuy nhiên, điều này đi kèm với một chi phí. Với một vài ngoại lệ, các ngôn ngữ gõ tĩnh gọi các chú thích bổ sung để thông báo cho trình biên dịch về các mục tiêu dự định của tác giả.
Khi nói đến cấu trúc đối tượng, các ngôn ngữ gõ tĩnh có xu hướng kém linh hoạt hơn khi so sánh với các đối tác động của chúng. Không thể thêm các trường và phương thức vào một đối tượng nhất định trong thời gian chạy. Điều này có thể phức tạp khi xử lý dữ liệu ít cấu trúc; ví dụ, phân tích cú pháp JSON, XML hoặc truy vấn cơ sở dữ liệu dẫn đến ánh xạ đối tượng không lý tưởng.
