khó khăn trong việc bình luận c-style trong flex/lex

Question

Tôi muốn thực hiện một quy tắc trong flex để tiêu thụ một lời nhận xét c kiểu như/* */

tôi đã sau

c_comment "/*"[\n.]*"*/" 

Nhưng nó không bao giờ được kết hợp. Bất kỳ ý tưởng tại sao? nếu bạn cần thêm mã của tôi, vui lòng cho tôi biết và tôi sẽ gửi toàn bộ nội dung. Nhờ bất cứ ai trả lời.

Answer 1

Tôi khuyên bạn nên sử dụng start conditions để thay thế.

%x C_COMMENT 

"/*"   { BEGIN(C_COMMENT); } 
<C_COMMENT>"*/" { BEGIN(INITIAL); } 
<C_COMMENT>\n { } 
<C_COMMENT>. { } 

Do lưu ý rằng có phải không được bất kỳ khoảng trắng giữa <condition> và nguyên tắc.

%x C_COMMENT xác định trạng thái C_COMMENT và quy tắc /* bắt đầu. Khi nó bắt đầu, */ sẽ quay trở lại trạng thái ban đầu (INITIAL được xác định trước) và mọi ký tự khác sẽ chỉ được sử dụng mà không có bất kỳ hành động cụ thể nào. Khi hai quy tắc khớp với nhau, Flex làm mất hiệu lực bằng cách lấy một đối số có kết quả khớp dài nhất, do đó quy tắc chấm không ngăn không cho */ khớp với. Quy tắc \n là cần thiết vì a dot matches everything except a newline.

Định nghĩa %x làm C_COMMENT một độc quyền nhà nước, có nghĩa là lexer sẽ chỉ phù hợp với quy tắc được "gắn thẻ" <C_COMMENT> khi nó đi vào nhà nước.

Đây là một tiny example lexer thực hiện câu trả lời này bằng cách in mọi thứ ngoại trừ những gì bên trong /* comments */.

Answer 2

Không chắc chắn lý do tại sao nó không được chọn nhưng tôi biết rằng một mô hình của loại đó có thể tạo ra các yếu tố từ vựng lớn. Việc phát hiện chỉ đánh dấu nhận xét bắt đầu và quăng tất cả mọi thứ trong bitbucket hiệu quả hơn cho đến khi bạn tìm thấy điểm đánh dấu kết thúc.

This site có mã mà sẽ làm điều đó:

"/*" { 
    for (;;) { 
     while ((c = input()) != '*' && c != EOF) 
      ; /* eat up text of comment */ 
     if (c == '*') { 
      while ((c = input()) == '*') 
       ; 
      if (c == '/') 
       break; /* found the end */ 
     } 
     if (c == EOF) { 
      error ("EOF in comment"); 
      break; 
     } 
    } 
} 

Answer 3

Tôi tin rằng giải pháp này là đơn giản:

"/*"((\*+[^/*])|([^*]))*\**"*/" 

Answer 4

Dưới đây là một ví dụ chỉ trong trường hợp bất cứ ai là nhầm lẫn về cách làm việc trả lời zneak của:

(Về cơ bản, bạn đặt "% x C_COMMENT" trong phần đầu tiên và phần còn lại trong phần thứ hai, như được giải thích bằng liên kết hữu ích của mình)

foo.l 

%{ 
// c code.. 
%} 
%x C_COMMENT 

%% 
"/*"   { BEGIN(C_COMMENT); } 
<C_COMMENT>"*/" { BEGIN(INITIAL); } 
<C_COMMENT>. { } 

%% 
// c code.. 

Hy vọng rằng sẽ giúp ai đó! Tiff

Answer 5

Các hoạt động ví dụ là:

\/\*([^*]|[\r\n]|(\*+([^*/]|[\r\n])))*\*+\/ 

mà tìm thấy trong ostermiller.org

Answer 6

Tôi đã thử một số các giải pháp đề xuất và đây là kết quả.

• tôi không thể có được giải pháp C_COMMENT, trong đó có nhiều nhất up-phiếu và sẽ rất tốt, làm việc tại tất cả trong thực tế (một trong những ý kiến ​​để nó giải thích ít nhất một lý do tại sao). Nó nên được downvoted và chắc chắn không nên là giải pháp được bầu chọn cao nhất
• Giải pháp từ Mugen dường như hoạt động trong tất cả mã tôi đã chạy trên
• Không thể lấy giải pháp từ Andrey để biên dịch cả trong lex . Tôi đã xem trang web được tham chiếu và sử dụng các mẫu từ đó đã không giúp đỡ

• câu trả lời từ paxdiablo đã hoạt động và có lợi thế là dễ đọc. Tôi cũng được sửa đổi như sau:

   
  "/*" { int c1 = 0, c2 = input(); 
       for(;;) { 
       if(c2 == EOF) break; 
       if(c1 == '*' && c2 == '/') 
        break; 
       c1 = c2; 
       c2 = input(); 
       } 
      } 
  

Answer 7

"/*"(.|\n)"*/" thay đổi biểu hiện thường xuyên của bạn vào đó, nó sẽ làm việc cho chắc chắn.

Answer 8

Có một ví dụ cách trong the Flex manual, mà được các trường hợp cạnh gnarly phải:

<INITIAL>"/*"   BEGIN(IN_COMMENT); 
<IN_COMMENT>"*/"  BEGIN(INITIAL); 
<IN_COMMENT>[^*\n]+ // eat comment in chunks 
<IN_COMMENT>"*"  // eat the lone star 
<IN_COMMENT>\n  yylineno++;