Làm cách nào để cải thiện khả năng đệ quy của việc triển khai ECMAScript?

Question

Sau một số thử nghiệm gửi lại, tôi thấy rằng việc triển khai của tôi không thể xử lý nhiều đệ quy. Mặc dù sau khi tôi chạy một vài thử nghiệm trong Firefox, tôi thấy rằng điều này có thể phổ biến hơn tôi nghĩ ban đầu. Tôi tin rằng vấn đề cơ bản là việc triển khai của tôi yêu cầu 3 cuộc gọi để thực hiện cuộc gọi hàm. Cuộc gọi đầu tiên được thực hiện với một phương thức có tên là Call đảm bảo cuộc gọi đang được thực hiện cho đối tượng có thể gọi và nhận giá trị của bất kỳ đối số nào là tham chiếu. Cuộc gọi thứ hai được thực hiện theo phương thức có tên Call được xác định trong giao diện ICallable. Phương thức này tạo ra bối cảnh thực thi mới và xây dựng biểu thức lambda nếu nó chưa được tạo ra. Cuộc gọi cuối cùng được thực hiện cho lambda mà đối tượng hàm đóng gói. Rõ ràng thực hiện một cuộc gọi chức năng là khá nặng nhưng tôi chắc chắn rằng với một chút tinh chỉnh tôi có thể làm cho đệ quy một công cụ khả thi khi sử dụng thực hiện này.

public static object Call(ExecutionContext context, object value, object[] args) 
{ 
    var func = Reference.GetValue(value) as ICallable; 
    if (func == null) 
    { 
     throw new TypeException(); 
    } 
    if (args != null && args.Length > 0) 
    { 
     for (int i = 0; i < args.Length; i++) 
     { 
      args[i] = Reference.GetValue(args[i]); 
     } 
    } 
    var reference = value as Reference; 
    if (reference != null) 
    { 
     if (reference.IsProperty) 
     { 
      return func.Call(reference.Value, args); 
     } 
     else 
     { 
      return func.Call(((EnviromentRecord)reference.Value).ImplicitThisValue(), args); 
     } 
    } 
    return func.Call(Undefined.Value, args); 
} 

public object Call(object thisObject, object[] arguments) 
{ 
    var lexicalEnviroment = Scope.NewDeclarativeEnviroment(); 
    var variableEnviroment = Scope.NewDeclarativeEnviroment(); 
    var thisBinding = thisObject ?? Engine.GlobalEnviroment.GlobalObject; 
    var newContext = new ExecutionContext(Engine, lexicalEnviroment, variableEnviroment, thisBinding); 
    Engine.EnterContext(newContext); 
    var result = Function.Value(newContext, arguments); 
    Engine.LeaveContext(); 
    return result; 
} 

Answer 1

Tôi không thể tin rằng điều này dễ dàng như thế nào khi làm việc. Về cơ bản trong trình biên dịch của tôi, tôi kiểm tra xem liệu hàm đó có trả về kết quả của việc gọi chính nó hay không. Nếu vậy, thay vào đó tôi trả về các đối số đang được chuyển. Sau đó, tôi chỉ cần lấy bất kỳ giá trị tham chiếu nào và gọi lại lambda sao lưu. Với điều này tại chỗ tôi đã có thể thực hiện hàng triệu cuộc gọi đệ quy.

Tôi muốn cảm ơn DrJokepu để truyền cảm hứng cho giải pháp này.

public object Call(object thisObject, object[] arguments) 
{ 
    var lexicalEnviroment = Scope.NewDeclarativeEnviroment(); 
    var variableEnviroment = Scope.NewDeclarativeEnviroment(); 
    var thisBinding = thisObject ?? Engine.GlobalEnviroment.GlobalObject; 
    var newContext = new ExecutionContext(Engine, lexicalEnviroment, variableEnviroment, thisBinding); 
    var result = default(object); 
    var callArgs = default(object[]); 

    Engine.EnterContext(newContext); 
    while (true) 
    { 
     result = Function.Value(newContext, arguments); 
     callArgs = result as object[]; 
     if (callArgs == null) 
     { 
      break; 
     } 
     for (int i = 0; i < callArgs.Length; i++) 
     { 
      callArgs[i] = Reference.GetValue(callArgs[i]); 
     } 
     arguments = callArgs; 
    } 
    Engine.LeaveContext(); 

    return result; 
}