Tại sao GCC chuyển từ Bison sang trình phân tích cú pháp gốc đệ quy cho C ++ và C?

Có một sự thay đổi ngôn ngữ đòi hỏi nó hoặc một số lý do thực tế tại sao Bison không còn phù hợp hoặc tối ưu?

Tôi thấy trên wikipedia họ đã chuyển đổi, tham khảo các ghi chú phát hành GCC 3.4 và GCC 4.1 .

Những ghi chú phát hành trạng thái:

Một trình phân tích cú pháp C ++ đệ quy viết tay đã thay thế trình phân tích cú pháp C ++ có nguồn gốc từ YACC từ các bản phát hành GCC trước đó. Trình phân tích cú pháp mới chứa cơ sở hạ tầng được cải thiện cần thiết để phân tích mã nguồn C ++ tốt hơn, xử lý các phần mở rộng và phân tách rõ ràng (nếu có thể) giữa phân tích ngữ nghĩa và phân tích ngữ nghĩa phù hợp. Trình phân tích cú pháp mới sửa nhiều lỗi đã được tìm thấy trong trình phân tích cú pháp cũ.

Và:

Trình phân tích cú pháp C và Objective-C dựa trên Bison cũ đã được thay thế bằng trình phân tích cú pháp đệ quy gốc viết tay nhanh hơn, nhanh hơn

Những gì tôi muốn biết là những vấn đề thực tế mà họ gặp phải và tại sao không thể / không thực tế để giải quyết bằng Bison

GCC chuyển sang phân tích cú pháp viết tay vì thông báo lỗi có ý nghĩa hơn khi sử dụng các kỹ thuật gốc đệ quy, như tôi đã giải thích ở đây .

Ngoài ra, C ++ đang trở thành một ngôn ngữ phức tạp (cú pháp) như vậy để phân tích rằng việc sử dụng trình tạo trình phân tích cú pháp không đáng giá cho nó.

Cuối cùng, phần lớn công việc của một trình biên dịch thực sự không phân tích cú pháp, nó đang tối ưu hóa. Các đường chuyền tối ưu hóa trung gian GCC phức tạp hơn nhiều so với phân tích cú pháp.

(BTW bạn có thể tùy chỉnh GCC, ví dụ như bằng plugin hoặc sử dụng MELT , nhưng bạn thực sự không thể mở rộng cú pháp của ngôn ngữ mà nó chấp nhận - ngoại trừ bằng cách thêm thuộc tính và pragma).