什么叫/ cc？

我已多次尝试掌握continuation和call/cc的概念.每一次尝试都是失败的.有人可以向我解释这些概念,理想情况下,这些概念比维基百科或其他SO帖子更具现实性.

我有网络编程和OOP的背景.我也理解6502汇编并且与Erlang有一个小的randez-vous.不过,我无法绕过电话/ cc.

要将它与C进行比较,当前的延续类似于堆栈的当前状态.它具有等待当前函数结果的所有函数,以便它们可以继续执行.捕获为当前延续的变量像函数一样使用,除了它获取提供的值并将其返回到等待堆栈.此行为类似于C函数longjmp,您可以立即返回到堆栈的下半部分.

(define x 0) ; dummy value - will be used to store continuation later

(+ 2 (call/cc (lambda (cc)
                (set! x cc)  ; set x to the continuation cc; namely, (+ 2 _)
                3)))         ; returns 5

(x 4) ; returns 6

C堆栈和延续之间的一个关键区别是,即使堆栈的状态已更改,也可以在程序中的任何位置使用continuation.这意味着您可以基本上恢复堆栈的早期版本并反复使用它们,从而产生一些独特的程序流.

(* 123 (+ 345 (* 789 (x 5)))) ; returns 7

  reason: it is because (x 5) replaces the existing continuation,
          (* 123 (+ 345 (* 789 _))), with x, (+ 2 _), and returns
          5 to x, creating (+ 2 5), or 7.

保存和恢复程序状态的能力与多线程有很多共同之处.事实上,你可以使用continuation实现自己的线程调度器,因为我已经试图说明这里.

看,我发现这个Continuation Passing Style这个主题的最佳描述.

这里删除了该文章的详细副本:

作者:Marijn Haverbeke日期:2007年7月24日

Scheme的call-with-current-continuation函数可以捕获计算,调用堆栈的状态,并在以后恢复相同的状态.除了这样的原语之外,还可以实现各种形式的异常处理和类似C的longjmp技巧.

function traverseDocument(node, func) {
  func(node);
  var children = node.childNodes;
  for (var i = 0; i < children.length; i++)
    traverseDocument(children[i], func);
}   

function capitaliseText(node) {
  if (node.nodeType == 3) // A text node
    node.nodeValue = node.nodeValue.toUpperCase();
}

traverseDocument(document.body, capitaliseText);

这可以转换如下:我们为每个函数添加一个额外的参数,用于传递函数的延续.此延续是一个函数值,表示函数"返回"后必须执行的操作.(调用)堆栈在延续传递样式中变得过时 - 当一个函数调用另一个函数时,这是它做的最后一件事.它不是等待被调用函数返回,而是将它想要做的任何工作放到一个延续中,然后传递给函数.

function traverseDocument(node, func, c) {
  var children = node.childNodes;
  function handleChildren(i, c) {
    if (i < children.length)
      traverseDocument(children[i], func,
                       function(){handleChildren(i + 1, c);});
    else
      c();
  }
  return func(node, function(){handleChildren(0, c);});
}

function capitaliseText(node, c) {
  if (node.nodeType == 3)
    node.nodeValue = node.nodeValue.toUpperCase();
  c();
}

traverseDocument(document.body, capitaliseText, function(){});

想象一下,我们有一个huuuuge文档可以资本化.只需一次性遍历它需要五秒钟,并且将浏览器冻结五秒钟是相当糟糕的风格.考虑对capitaliseText的这个简单修改(不要注意丑陋的全局):

var nodeCounter = 0;
function capitaliseText(node, c) {
  if (node.nodeType == 3)
    node.nodeValue = node.nodeValue.toUpperCase();

  nodeCounter++;
  if (nodeCounter % 20 == 0)
    setTimeout(c, 100);
  else
    c();
}

现在,每20个节点,计算中断一百毫秒,以便为浏览器界面提供响应用户输入的时刻.一种非常原始的线程形式 - 你甚至可以像这样同时运行多个计算.

一个更常用的应用程序与XMLHttpRequests或用于模拟它们的各种IFRAME和SCRIPT标记hacks有关.这些总是需要一个人使用某种回调机制来处理服务器发回的数据.在简单的情况下,一个简单的函数可以做,或者可以使用一些全局变量来存储在数据返回后必须恢复的计算状态.对于复杂的情况,例如当函数使用必须向其调用者返回某个值的函数时,continuation会大大简化.您只需将延续注册为回调,并在请求完成时恢复计算.