Đây là một cuộc thảo luận thú vị về Nguyên tắc Tương ứng của Tennent và một mô tả ngắn gọn từ Neal Gafter :
Nguyên tắc ra lệnh rằng một biểu thức hoặc câu lệnh, khi được bọc trong một bao đóng và sau đó được gọi ngay lập tức, phải có cùng ý nghĩa như trước khi được đóng trong một bao đóng. Bất kỳ thay đổi về ngữ nghĩa khi gói mã trong một bao đóng có thể là một lỗ hổng trong ngôn ngữ.
Liệu ngôn ngữ Groovy có tuân theo nguyên tắc này?
Câu trả lời:
Không hẳn, nhưng gần như vậy. Tất cả các biến có thể truy cập trong phạm vi bên ngoài đều có thể truy cập được trong bao đóng, bao gồm 'this' và các thành viên dữ liệu lớp. Tuy nhiên, một returncâu lệnh trả về từ bao đóng, không phải từ hàm kèm theo. Tôi thậm chí không chắc chắn đó là vi phạm TCP; Tôi không biết bất kỳ ngôn ngữ kiểu C nào returntrong trường hợp đóng lại trả về từ phạm vi kèm theo. Tôi đã không có bất ngờ khi sử dụng Groovy đóng cửa.