Giải thích vs Biên dịch: Một sự phân biệt hữu ích?

Rất nhiều câu hỏi được hỏi ở đây về việc diễn giải và thực hiện ngôn ngữ được biên dịch. Tôi đang tự hỏi liệu sự khác biệt thực sự có ý nghĩa gì. (Trên thực tế các câu hỏi thường là về ngôn ngữ, nhưng họ thực sự đang suy nghĩ về việc triển khai phổ biến nhất các ngôn ngữ đó).

Ngày nay hầu như không thực hiện được giải thích nghiêm ngặt. tức là khá nhiều người không phân tích cú pháp và chạy mã một dòng tại một thời điểm. Ngoài ra, việc thực hiện biên dịch mã máy cũng trở nên ít phổ biến hơn. Càng ngày, trình biên dịch nhắm vào một số loại máy ảo.

Trong thực tế, hầu hết việc thực hiện đều hội tụ trên cùng một chiến lược cơ bản. Trình biên dịch tạo mã byte được giải thích hoặc biên dịch thành mã gốc thông qua JIT. Nó thực sự là một sự pha trộn của các ý tưởng truyền thống về biên soạn và giải thích.

Vì vậy, tôi hỏi: Có một sự phân biệt hữu ích giữa các triển khai được giải thích và thực hiện biên dịch những ngày này?

Điều quan trọng cần nhớ là phiên dịch và biên dịch không chỉ là lựa chọn thay thế cho nhau. Cuối cùng, bất kỳ chương trình nào bạn viết (bao gồm một chương trình được biên dịch thành mã máy) đều được diễn giải. Giải thích mã đơn giản là lấy một bộ hướng dẫn và trả lời câu trả lời.

Biên dịch, mặt khác, có nghĩa là chuyển đổi một chương trình trong một ngôn ngữ sang ngôn ngữ khác. Thông thường, giả định rằng khi quá trình biên dịch diễn ra, mã được biên dịch sang ngôn ngữ "cấp thấp hơn" (ví dụ: mã máy, một số loại mã byte VM, v.v.). Mã biên dịch này vẫn được giải thích sau này.

Liên quan đến câu hỏi của bạn về việc liệu có sự phân biệt hữu ích giữa các ngôn ngữ được dịch và biên dịch hay không, ý kiến ​​cá nhân của tôi là mọi người nên có một sự hiểu biết cơ bản về những gì đang xảy ra với mã họ viết trong quá trình giải thích. Vì vậy, nếu mã của họ đang được biên dịch JIT, hoặc được lưu trong bộ nhớ cache, v.v., lập trình viên ít nhất nên có một sự hiểu biết cơ bản về điều đó có nghĩa là gì.

Sự khác biệt có ý nghĩa sâu sắc bởi vì các ngôn ngữ được biên dịch hạn chế ngữ nghĩa theo những cách mà ngôn ngữ diễn giải không nhất thiết phải có. Một số kỹ thuật diễn giải là rất khó (thực tế không thể) để biên dịch.

Mã được giải thích có thể thực hiện những việc như tạo mã trong thời gian chạy và cung cấp khả năng hiển thị mã đó thành các ràng buộc từ vựng của một phạm vi hiện có. Đó là một ví dụ. Một điều nữa là các trình thông dịch có thể được mở rộng bằng mã thông dịch có thể kiểm soát cách đánh giá mã. Đây là cơ sở cho "fexprs" Lisp cổ đại: các hàm được gọi với các đối số không được đánh giá và quyết định phải làm gì với chúng (có toàn quyền truy cập vào môi trường cần thiết để đi bộ mã và đánh giá các biến, v.v.). Trong các ngôn ngữ được biên dịch, bạn không thể thực sự sử dụng kỹ thuật đó; thay vào đó, bạn sử dụng macro: các hàm được gọi tại thời điểm biên dịch với các đối số không được đánh giá và dịch mã thay vì diễn giải.

Một số triển khai ngôn ngữ được xây dựng xung quanh các kỹ thuật này; các tác giả của họ từ chối biên dịch là một mục tiêu quan trọng, và thay vào đó nắm lấy loại linh hoạt này.

Phiên dịch sẽ luôn hữu ích như một kỹ thuật để khởi động trình biên dịch. Để có một ví dụ cụ thể, hãy xem CLISP (một triển khai phổ biến của Common Lisp). CLISP có một trình biên dịch được viết bằng chính nó. Khi bạn xây dựng CLISP, trình biên dịch đó sẽ được diễn giải trong các bước xây dựng ban đầu. Nó được sử dụng để tự biên dịch, và sau đó khi nó được biên dịch, quá trình biên dịch sẽ được thực hiện bằng trình biên dịch được biên dịch.

Nếu không có kernel phiên dịch, bạn sẽ cần bootstrap với một số Lisp hiện có, giống như SBCL.

Với giải thích, bạn có thể phát triển một ngôn ngữ từ đầu tuyệt đối, bắt đầu với ngôn ngữ lắp ráp. Phát triển các I / O cơ bản và các thói quen cốt lõi, sau đó viết một ngôn ngữ máy tĩnh. Một khi bạn đã có eval, hãy viết bằng ngôn ngữ cấp cao; hạt nhân mã máy thực hiện việc đánh giá. Sử dụng cơ sở này để mở rộng thư viện với nhiều thói quen hơn và cũng viết một trình biên dịch. Sử dụng trình biên dịch để biên dịch các thường trình đó và chính trình biên dịch.

Dịch nghĩa: một bước đệm quan trọng trong con đường dẫn đến việc biên soạn!

Trên thực tế rất nhiều triển khai ngôn ngữ vẫn được diễn giải nghiêm ngặt, bạn chỉ có thể không nhận thức được chúng. Để đặt tên cho một số: các ngôn ngữ hệ vỏ UNIX, các vỏ Windows cmd và PowerScript, Perl, awk, sed, MATLAB, Mathicala, v.v.

Tôi nghĩ: Hoàn toàn có .

Trên thực tế, hầu hết việc thực hiện đều hội tụ trên cùng một chiến lược cơ bản

Thực sự, C ++ nhằm mục đích chuyển sang miền biên dịch một số khái niệm cấp cao thường được trao cho người phiên dịch, nhưng nó vẫn thuộc về phía thiểu số ...

Phân biệt hữu ích: các chương trình diễn giải có thể tự sửa đổi bằng cách thêm hoặc thay đổi các chức năng khi chạy.