Theo hiểu biết của tôi, tất cả các ngôn ngữ lập trình mệnh lệnh hiện đại đều hỗ trợ đệ quy theo nghĩa là một thủ tục có thể tự gọi nó. Điều này không phải lúc nào cũng đúng, nhưng tôi không thể tìm thấy bất kỳ sự thật khó khăn nào bằng một tìm kiếm nhanh trên Google. Vì vậy, câu hỏi của tôi là:
Những ngôn ngữ nào không hỗ trợ đệ quy ngay từ đầu và khi nào hỗ trợ đó được thêm vào?
Câu trả lời:
Tôi không chắc là COBOL làm điều đó (chắc chắn nó đã không xảy ra cùng một lúc), nhưng tôi hoàn toàn không thể tưởng tượng được ai quan tâm nhiều.
Fortran có từ Fortran 90, nhưng yêu cầu bạn sử dụng recursivetừ khóa để nói với nó rằng một chương trình con là đệ quy.
PL / Tôi khá giống nhau - đệ quy được hỗ trợ, nhưng bạn phải nói rõ cho nó biết thủ tục nào được đệ quy.
Tôi nghi ngờ có nhiều hơn thế mặc dù. Khi bạn bắt đầu, việc cấm đệ quy chủ yếu là điều IBM đã làm trong các thiết kế ngôn ngữ của họ, vì lý do đơn giản là các máy tính lớn của IBM (360/370/3090 / ...) không hỗ trợ một phần cứng. Khi hầu hết các ngôn ngữ đến từ IBM, họ chủ yếu cấm đệ quy. Bây giờ tất cả đều đến từ những nơi khác, luôn luôn cho phép đệ quy (mặc dù tôi nên thêm rằng một số máy khác, đáng chú ý là Cray 1 ban đầu, cũng không có hỗ trợ phần cứng cho ngăn xếp).
notably the original cray 1Vì vậy, bạn không cần đệ quy để nhân bản khủng long? Tôi đoán nó thực sự là tùy thuộc vào chúng tôi khỉ để đu qua cây.
Wikipedia nói:
Các ngôn ngữ ban đầu như Fortran ban đầu không hỗ trợ đệ quy vì các biến được phân bổ tĩnh, cũng như vị trí cho địa chỉ trả về.
http://en.wikipedia.org/wiki/Subroutine#Local_variables.2C_recursion_and_V-entrancy
FORTRAN 77 không cho phép đệ quy, Fortran 90 cũng vậy, (các thói quen đệ quy phải được khai báo rõ ràng như vậy).
Hầu hết các trình biên dịch FORTRAN 77 cho phép đệ quy, một số (ví dụ: DEC) yêu cầu sử dụng tùy chọn trình biên dịch (xem chương tùy chọn trình biên dịch). GNU g77, tuân thủ nghiêm ngặt tiêu chuẩn Fortran 77, hoàn toàn không cho phép đệ quy.
Ngôn ngữ lập trình OpenCL không hỗ trợ đệ quy. (xem phần 6.8 của Thông số OpenCL )
Động lực hiện tại cho điều đó là a) thiếu không gian cho các ngăn xếp sâu b) mong muốn được biết, về mặt tĩnh, tổng số phân bổ cần thiết để tối ưu hóa hiệu suất với sự hiện diện của các bộ đăng ký lớn và lớp lót rộng rãi.
Điều này cũng có thể áp dụng cho các ngôn ngữ lập trình GPU khác, ví dụ ngôn ngữ shader.
Một số trình biên dịch c cho các bộ vi điều khiển nhỏ không hỗ trợ đệ quy, có lẽ vì chúng có kích thước ngăn xếp cực kỳ hạn chế.
BASIC, trong những ngày của số dòng, có xu hướng có hỗ trợ đệ quy kém. Nhiều (tất cả?) BASIC thời đó hỗ trợ các cuộc gọi gosub lồng nhau, nhưng không hỗ trợ một cách dễ dàng để truyền tham số hoặc trả về giá trị theo cách có ích để tự gọi.
Nhiều máy tính ban đầu gặp vấn đề với đệ quy, vì chúng đã sử dụng các lệnh gọi ghi địa chỉ trả lại vào đầu của thói quen được gọi là (PDP8, họ máy IAS, có lẽ nhiều kiến trúc mà tôi không quen), thường là theo cách mà nó không quen thuộc là mã máy cho "Chuyển đến hướng dẫn sau cái được gọi là thường trình".
Nó phụ thuộc vào những gì bạn có nghĩa là " hỗ trợ ". Để hỗ trợ đệ quy, bạn cần một ngăn xếp để khởi tạo lại các biến cục bộ ở mỗi lần nhập lại.
Ngay cả khi ngôn ngữ không có khái niệm về biến cục bộ, nếu ngôn ngữ đó có khái niệm "chương trình con" và có cách quản lý chỉ mục giữa các biến giống nhau (còn gọi là mảng), bạn có thể tăng / giảm chỉ số toàn cầu sau mỗi lần nhập / thoát của một hàm và truy cập thông qua nó một thành viên của một hoặc nhiều mảng.
Tôi không biết nếu điều này có thể được gọi là "hỗ trợ". Sự thật là tôi đã viết chức năng đệ quy với ZX-Spectrum BASIC, như tôi đã làm trong Fortran77 như trong COBOL ... luôn luôn với thủ thuật đó.
Ngôn ngữ hội không hỗ trợ trực tiếp đệ quy - bạn phải "tự làm", thường bằng cách đẩy các tham số lên ngăn xếp máy.
CALLlệnh, tự động đẩy IP lên ngăn xếp trước khi nhảy đến chương trình con và một REThướng dẫn bật địa chỉ trả lại vào IP. Không có lý do gì bạn không thể CALLnhập điểm của riêng bạn.
void f() { f(); }là đệ quy.