class Continuation
Continuation
对象由 Kernel#callcc
生成,在 +require+ 了 continuation 之后。它们保存着返回地址和执行上下文,允许从程序中的任何位置非本地返回到 callcc
代码块的末尾。Continuation 有点类似于 C 语言的结构化版本 setjmp/longjmp
(尽管它们包含更多的状态,所以您可以认为它们更接近线程)。
例如:
require "continuation" arr = [ "Freddie", "Herbie", "Ron", "Max", "Ringo" ] callcc{|cc| $cc = cc} puts(message = arr.shift) $cc.call unless message =~ /Max/
会产生:
Freddie Herbie Ron Max
您也可以在其他方法中调用 callcc
require "continuation" def g arr = [ "Freddie", "Herbie", "Ron", "Max", "Ringo" ] cc = callcc { |cc| cc } puts arr.shift return cc, arr.size end def f c, size = g c.call(c) if size > 1 end f
这个(有些牵强附会)的例子允许内部循环提前放弃处理
require "continuation" callcc {|cont| for i in 0..4 print "#{i}: " for j in i*5...(i+1)*5 cont.call() if j == 17 printf "%3d", j end end } puts
会产生:
0: 0 1 2 3 4 1: 5 6 7 8 9 2: 10 11 12 13 14 3: 15 16
公共实例方法
cont[args, ...]
调用 continuation。程序从 callcc
代码块的末尾继续执行。如果没有给出参数,则原始的 callcc
返回 nil
。如果给出一个参数,callcc
返回它。否则,返回一个包含 args 的数组。
callcc {|cont| cont.call } #=> nil callcc {|cont| cont.call 1 } #=> 1 callcc {|cont| cont.call 1, 2, 3 } #=> [1, 2, 3]
别名:call
call(args, ...) 点击切换源代码
调用 continuation。程序从 callcc
代码块的末尾继续执行。如果没有给出参数,则原始的 callcc
返回 nil
。如果给出一个参数,callcc
返回它。否则,返回一个包含 args 的数组。
callcc {|cont| cont.call } #=> nil callcc {|cont| cont.call 1 } #=> 1 callcc {|cont| cont.call 1, 2, 3 } #=> [1, 2, 3]
static VALUE rb_cont_call(int argc, VALUE *argv, VALUE contval) { rb_context_t *cont = cont_ptr(contval); rb_thread_t *th = GET_THREAD(); if (cont_thread_value(cont) != th->self) { rb_raise(rb_eRuntimeError, "continuation called across threads"); } if (cont->saved_ec.fiber_ptr) { if (th->ec->fiber_ptr != cont->saved_ec.fiber_ptr) { rb_raise(rb_eRuntimeError, "continuation called across fiber"); } } cont->argc = argc; cont->value = make_passing_arg(argc, argv); cont_restore_0(cont, &contval); UNREACHABLE_RETURN(Qnil); }
也别名为:[]