Làm thế nào là ý kiến ​​thể hiện trong ngữ pháp ngôn ngữ lập trình?

Tôi đang học cách xây dựng trình phân tích cú pháp bằng ngữ pháp, nhưng tôi gặp khó khăn khi cố gắng bày tỏ ý kiến, bởi vì chúng có thể xuất hiện ở hầu hết mọi nơi.

Điều này cho thấy rằng các nhận xét có thể bị xóa khỏi luồng mã thông báo trước khi phân tích cú pháp diễn ra.

Đó có phải là thông lệ tiêu chuẩn, hoặc là nhận xét bao giờ / thường được chỉ định trong ngữ pháp?

Nó rất phổ biến để coi nó như một dạng không gian màu trắng. Rất giống với các dòng mới trong các ngôn ngữ định hướng dấu chấm phẩy như C.

Khi nó là một dạng của khoảng trắng, bạn thường bỏ qua nó cao hơn trong trình phân tích cú pháp.

Họ thường không.

Chúng được loại bỏ bởi lexer, khi mã nguồn được chuyển đổi từ các ký tự thành mã thông báo.

Sau đó, trình phân tích cú pháp sẽ nhận được mã thông báo và xây dựng AST. Khi trình phân tích cú pháp thực hiện công việc của nó, bình luận đã biến mất, vì vậy chúng không phải xuất hiện trong ngữ pháp.

Trả lời nhanh

Vâng, đó là thông lệ tiêu chuẩn, để phát hiện các bình luận trong "lexer" hoặc "trình phân tích cú pháp"

Đôi khi, "trình phân tích cú pháp" có "lexer" tích hợp hoặc được trộn với "trình phân tích cú pháp" như một công cụ duy nhất ("lexer-Parser").

Trả lời mở rộng

Tôi chỉ làm việc trong trường hợp đó.

Hầu hết các "máy quét" (còn được gọi là "mã thông báo" hoặc "từ vựng"), phát hiện các nhận xét, nhưng, đã bị xóa khi trả lại mã thông báo cho "trình phân tích cú pháp".

Đôi khi, một ngôn ngữ lập trình, sử dụng một số ý kiến ​​có ý nghĩa đặc biệt, như "chỉ thị của trình biên dịch" hoặc "tài liệu".

Ví dụ bình luận tiêu chuẩn:

/*
 This function does something cool.
*/
int doSomething()
{
  return 0;
}

Ví dụ bình luận chỉ thị:

/*
 ##override
*/
int doSomething()
{
  return 0;
}

Nhận xét cho trình tạo tài liệu Ví dụ:

/*
 @description: This Function text will be turn,
  into an external pdf file, togheter with other
  similar comments.
*/
int doSomething()
{
  return 0;
}

Hầu hết các công cụ liên quan đến trình biên dịch, phát hiện các nhận xét đặc biệt này, với bộ phân tích hoặc bộ xử lý trước, đó không phải là trình phân tích chính hoặc trình phân tích cú pháp, và, thậm chí còn có một bộ từ vựng nhỏ của riêng nó.

Chúc mừng.

Một số trình phân tích cú pháp giữ lại các nhận xét và / hoặc đầu vào bất hợp pháp trong AST thêm chúng làm thuộc tính cho tất cả các nút của AST.

Bạn có thể xem dự án Microsoft roslyn thực hiện điều đó nếu tôi nhớ chính xác.