2

我试图了解动态分配的代码如何使用 dep 运行。

让我们以编译的Scheme程序为例。据我了解,当需要评估 lambda 表达式时,运行时必须分配内存以存储代码(实际上存储一个也有代码的闭包)。由于它无法提前知道代码的大小,所以它必须是动态的。因此,它必须为此使用堆。

为什么在尝试从堆中执行此代码时,DEP 机制没有运行时异常?

更一般地说,当 DEP 出现时,整个“代码就是数据,数据就是代码”的想法是如何发挥作用的?

4

2 回答 2

1

Lambda 表达式,或者更一般地说,“由其他函数生成和返回的函数”,看似需要动态代码生成,但实际上不需要:相反,此类函数通常由称为函数闭包的数据结构表示。

函数闭包是一对

  • 指向(静态编译的)函数的指针,以及
  • 自由变量的值,即在函数外部定义的变量。

例如,考虑以下类似 JavaScript 的代码:

    function make_adder(x) {
      function adder(y) {
        return x + y;
      }
      return adder;
      // equivalent to "return function(y) { return x + y; };"
    }

    var add42 = make_adder(42);
    add42(3); // 45

make_adder使用参数调用时42,它的实现返回一个闭包<adder, 42>,它是函数整数的(指针)。当此闭包应用于 时,除了可见参数外,函数部分还应用于其自由变量的值。adder 42342x3

从概念上讲,您可以认为上面的代码是这样实现的:

    function make_adder(x) {
      function adder(x, y) {
        return x + y;
      }
      return { func : adder, free : x };
    }

    var add42 = make_adder(42);
    add42.func(add42.free, 3); // 45

在 Scheme 中,第一个代码是

    (define (make_adder x)
      (lambda (y) (+ x y)))
    (define add42 (make_adder 42))
    (add42 3) ; 45

第二个是:

    (define (make_adder x)
      (define (adder x y)
        (+ x y))
      (cons adder x))
    (define add42 (make_adder 42))
    ((car add42) (cdr add42) 3) ; 45

有关详细信息,请参阅:https://en.wikipedia.org/wiki/Closure_(computer_programming)

于 2016-06-13T10:21:33.960 回答
0

不,返回 lambda 不需要内存用于代码,仅用于数据/参数。考虑闭包是 OOP 中的普通对象,而创建在 Java、c# 中是“新的”...

于 2016-06-12T14:38:44.853 回答