Tôi có thể tìm ngữ pháp BNF hoặc YACC chuẩn cho ngôn ngữ C++ ở đâu?

Question

Tôi đang cố gắng làm việc trên một loại trình tạo mã để giúp thử nghiệm đơn vị một dự án pha trộn C/C++ kế thừa. Tôi không tìm thấy bất kỳ loại công cụ độc lập nào có thể tạo ra mã khai từ việc khai báo. Vì vậy, tôi quyết định để xây dựng một, nó không phải là khó khăn.

Xin vui lòng, bất kỳ ai cũng có thể chỉ cho tôi một liên kết ngữ pháp chuẩn, được mô tả tốt hơn bằng ngôn ngữ yacc.

Hy vọng tôi không sáng tạo lại bánh xe, hãy giúp tôi trong trường hợp đó.

Best Regards, Kevin

Answer 1

Để có cách tiếp cận khác, bạn có thể xem xét sự ủng hộ của heo trên trình biên dịch hiện có.

GCC-XML sẽ "biên dịch" C++ thành tệp XML với nhiều thông tin hữu ích; nó có thể là đủ cho mục đích của bạn.

Thật không may, GCC-XML chỉ là 1/4-duy trì, và làm cho nó hoạt động có thể ... thú vị. Chúc may mắn, nếu bạn đi tuyến đường này.

Answer 2

Từ C++ FAQ Lite:

38.11 Is there a yacc-able C++ grammar?

Ngữ pháp yacc chính bạn sẽ muốn là từ Ed Willink. Ed tin rằng ngữ pháp của bạn hoàn toàn tuân thủ với the ISO/ANSI C++ standard, tuy nhiên, ông không đảm bảo rằng: "ngữ pháp có không", ông nói, "được sử dụng trong sự tức giận." Bạn có thể nhận được the grammar without action routines hoặc the grammar with dummy action routines. Bạn cũng có thể nhận được the corresponding lexer. Đối với những người là quan tâm đến cách ông đạt được trình phân tích cú pháp không có ngữ cảnh (bằng cách đẩy tất cả sự mơ hồ cộng với số lượng nhỏ sửa chữa sau khi phân tích hoàn tất), bạn có thể muốn đọc chương 4 của his thesis.

Ngoài ra còn có ngữ pháp yacc rất cũ không hỗ trợ mẫu, ngoại lệ, cũng như không gian tên; cộng với nó lệch từ ngôn ngữ chính trong một số cách tinh tế. Bạn có thể nhận được rằng ngữ pháp here hoặc here.

Answer 3

Tôi đã tìm thấy this one gần đây. Tôi đã không thử nó ra, do đó, không chắc chắn nếu nó hoạt động. Bạn có thể cung cấp thêm thông tin về công cụ bạn đang cố gắng phát triển không? Tôi đã tải ngữ pháp này xuống vì tôi đang làm việc trên một công cụ thiết bị để tôi có thể thêm thông tin bảo hiểm cho số unit test framework của mình.

Sau khi đọc bình luận của bạn ...

Tôi nghĩ this tool chính xác phù hợp với nhu cầu của bạn.

Answer 4

Liên kết của Jared là điều gần nhất với ngữ pháp không có ngữ cảnh mà bạn có thể nhận được. Một số điều cần phải được trì hoãn cho sau này, nhưng đó là bởi một số đối số tốt hơn ngữ pháp ngữ cảnh nhạy cảm của C++.

Để làm mọi thứ trở nên tồi tệ hơn, C++ 1x sẽ phức tạp hóa ngữ pháp một cách đáng kể. Để có được phân tích cú pháp hoàn hảo của C++, một trình phân tích cú pháp sẽ cần phải thực hiện đủ tiêu chuẩn để thực hiện phân giải quá tải một cách chính xác, bao gồm việc trích lập đối số mẫu, do đó sẽ yêu cầu cơ chế khái niệm, lambdas và có hiệu lực gần như tất cả ngôn ngữ, ngoại trừ tra cứu tên hai giai đoạn và các đặc điểm ngoại lệ, nếu tôi gọi lại chính xác, không cần triển khai thực tế để phân tích thành công chương trình.

Thực tế, bạn đang nửa chừng đến trình biên dịch nếu bạn có thể phân tích cú pháp C++.

Answer 5

Bộ công cụ tái cấu trúc phần mềm DMS của chúng tôi có thể thu được bằng trình phân tích cú pháp C++ đầy đủ tính năng mạnh mẽ, . Xem http://www.semanticdesigns.com/Products/FrontEnds/CppFrontEnd.html Việc này sẽ xây dựng các bảng AST và biểu tượng và có thể phỏng đoán loại biểu thức bất kỳ. DMS cho phép thực hiện phân tích và chuyển đổi tùy ý trên mã C++.

Một phép chuyển đổi "đơn giản" là thiết lập mã để thu thập phạm vi kiểm tra dữ liệu; chúng tôi cung cấp công cụ này như một công cụ COTS. Xem bài viết này để hiểu làm thế nào DMS làm nó: http://www.semanticdesigns.com/Company/Publications/TestCoverage.pdf

EDIT tháng 9 năm 2013 (Câu trả lời này đã nhận được một chút cũ): Phân tích dòng C++ phân tích cú pháp/độ phân giải tên/Kiểm soát DMS của xử lý đầy đủ C++ 11, trong Các biến thể ISO-, GNU và Microsoft. Nó cũng sẽ phân tích cú pháp (và giữ lại) mã nguồn có chứa hầu hết các điều kiện tiền xử lý. Nó có ngữ pháp rõ ràng thúc đẩy quá trình phân tích cú pháp, không giống như GCC hoặc Clang.

Answer 6

Tôi vừa mới tìm thấy một số file ngữ pháp cho C++ (C++ 1998: ISO/IEC 14882: 1998 và C++ 2008: ISO/IEC SC22/WG21 N2723 = 08-0233) tại grammarware website. Các ngữ pháp được thể hiện bằng BNF, DMS BNF, BGF, SDF và Rascal ký hiệu. Thật đáng tiếc, mặc dù, các ngữ pháp C++ dường như không được cập nhật (không có C++ 2003 hoặc C++ 11).