Thực hiện một máy ảo dựa trên ngăn xếp cho một tập hợp con của C

Question

Xin chào tất cả mọi người Tôi hiện đang triển khai một ngôn ngữ lập trình đơn giản cho trải nghiệm học tập nhưng tôi cần một số lời khuyên. Hiện tại tôi đang thiết kế phiên dịch của tôi và tôi đã gặp vấn đề.

Ngôn ngữ của tôi là tập hợp con của C và tôi gặp sự cố liên quan đến việc triển khai trình thông dịch chồng. Trong ngôn ngữ sau đây sẽ biên dịch:

somefunc() 
{ 
    1 + 2; 
} 

main() 
{ 
    somefunc(); 
} 

Bây giờ đây là được rồi nhưng khi "1 + 2" được tính kết quả được đẩy lên một chồng và sau đó trở về chức năng nhưng vẫn có một số trên stack, và không nên có. Làm thế nào tôi có thể giải quyết vấn đề này?

Tôi đã nghĩ về việc lưu "trạng thái" của ngăn xếp trước khi gọi hàm và khôi phục "trạng thái" sau khi gọi hàm. Ví dụ, lưu số lượng các phần tử trên stack, sau đó thực thi mã hàm, trả về và sau đó bật từ stack cho đến khi chúng ta có cùng số phần tử như trước (hoặc có thể +1 nếu hàm trả về một cái gì đó).

Bất kỳ ý tưởng nào? Cảm ơn mọi lời khuyên!

Answer 1

Câu hỏi hay! Một trong những sở thích của tôi là viết trình biên dịch cho các ngôn ngữ đồ chơi, vì vậy kudo cho hương vị lập trình tuyệt vời của bạn.

An tuyên bố biểu thức là nơi mã trong câu lệnh chỉ đơn giản là một biểu thức. Điều này có nghĩa là bất kỳ điều gì trong biểu mẫu <expression> ;, bao gồm những thứ như bài tập và cuộc gọi chức năng, nhưng không phải là if s, while s hoặc return s. Bất kỳ câu lệnh biểu thức nào sẽ có giá trị còn lại trên ngăn xếp ở cuối, mà bạn nên loại bỏ.

1 + 2 là một tuyên bố biểu hiện, nhưng như vậy là những:

• x = 5;
  Việc chuyển nhượng biểu lá giá trị 5 trên stack từ kết quả của một bài tập là giá trị của các trái toán hạng tay. Sau khi tuyên bố được hoàn tất, bạn bật tắt các giá trị không sử dụng 5.

• printf("hello world!\n");
  printf() trả về số lượng ký tự. Bạn sẽ có giá trị này còn lại trên stack, do đó, pop nó khi tuyên bố kết thúc.

Tuyên bố biểu thức hiệu quả sẽ để lại giá trị trên ngăn xếp trừ khi loại biểu thức là void. Trong trường hợp đó, bạn có các trường hợp đặc biệt là void và không bật bất kỳ thứ gì sau đó hoặc đẩy giá trị "void" giả mạo lên ngăn xếp để bạn luôn có thể bật một giá trị.

Answer 2

Bạn sẽ cần một trình phân tích cú pháp thông minh hơn. Khi bạn thấy một biểu thức có giá trị không được sử dụng thì bạn cần phát ra POP.

Answer 3

Đây là cơ hội quan trọng về tối ưu hóa học tập. bạn có một hàm thực hiện phép tính số nhưng số nguyên, kết quả toán học int thậm chí không được sử dụng theo bất kỳ cách nào, hình dạng hoặc hình thức nào.

Để trình biên dịch của bạn tối ưu hóa chức năng đi sẽ làm giảm rất nhiều bytecode được tạo và thực hiện không có gì!