ngôn ngữ tĩnh và Reflection

Question

Theo như tôi biết và hiểu,

Reflection là khả năng tạo/sửa đổi mã nguồn tại thời gian chạy.

Từ Wikipedia:

• Khám phá và sửa đổi cấu trúc mã nguồn (ví dụ như các khối mã, lớp học, phương pháp, các giao thức, vv) như là một đối tượng hạng nhất tại runtime.
• Chuyển đổi một chuỗi khớp với tên biểu tượng của một lớp hoặc chức năng thành tham chiếu đến hoặc yêu cầu lớp hoặc chức năng đó.
• Đánh giá chuỗi như thể đó là tuyên bố mã nguồn khi chạy.
  Tạo một trình thông dịch mới cho bytecode của ngôn ngữ để cung cấp cho một
  ý nghĩa hoặc mục đích mới để xây dựng chương trình.

Ngôn ngữ động là các ngôn ngữ mà chúng tôi có thể đánh giá (đánh giá trực tiếp từ chuỗi) tại thời gian chạy.

Từ wikipedia: "phần mở rộng của chương trình, bằng cách thêm mã mới, bằng cách mở rộng đối tượng và định nghĩa, hoặc bằng cách thay đổi hệ thống kiểu"

Ok, bây giờ, câu hỏi của tôi là: Làm thế nào tĩnh ngôn ngữ ד (không có eval khả năng) có thể có sự phản ánh (ví dụ Java)? (mã nguồn mới không được đánh giá?: /)

Cảm ơn trước!

Answer 1

Tôi nghĩ rằng giải thích wikipedia không thực sự được phân tích tốt.

Phản ánh (hoặc nội tâm) không phải là về tạo mã trong thời gian chạy mà là về khả năng mã số phản ánh trên chính nó trong thời gian chạy (và sửa đổi hành vi của nó dựa trên điều này). Ví dụ sẽ nhận được thông tin về loại đối tượng (như RTTI trong C++) hoặc nhận siêu dữ liệu được liên kết với đối tượng (như chú thích trong Java).

Tạo mã thời gian chạy có liên quan nhiều hơn đến hạng nhất so với phản ánh, vì vậy tôi cho rằng bài viết wikipedia hiện tại là loại gây hiểu lầm.

CẬP NHẬT

Nói cách khác trả lời như sau:

Ok, bây giờ, câu hỏi của tôi là, làm thế nào có thể ngôn ngữ tĩnh (không có khả năng eval) có thể có phản xạ (ví dụ Java)?

... sẽ là phản ánh không dựa vào khả năng evel. Đây là 2 tính năng ngôn ngữ riêng biệt.

Và cũng như, như Giulio Franco đã chỉ ra trong các nhận xét - Java có khả năng tạo mã thời gian chạy \ thao tác (xem CGLIB chẳng hạn).