从main.c开始走进Ruby-异常

这一阵子真没时间,9月上旬更没时间,头大.

前天写面试题目的时候遇到了setjmp和longjmp这两个方法,

于是就想到R uby的异常处理是如何实现的,顺道研究下.

其他的Ruby相关的实现现在真没时间写.但肯定要写,因为我喜欢R ,不是一般的喜欢.

===============================

兵马未动,粮草先行.

我想看看raise怎么实现的,但当我在irb中敲入了raise后,我却不知道在gdb中该对哪个方法下断点.

冒然出击肯定是盲目的,就像菲律宾特警解救香港游客人质一样,一点思路都没有.

那好吧,我还是要做点预习功课,翻开代码去找raise对应的C方法.

通过阅读eval.c的代码,发现里面有如下方法:

void
Init_eval(void)
{
    rb_define_virtual_variable("$@", errat_getter, errat_setter);
    rb_define_virtual_variable("$!", errinfo_getter, 0);

    rb_define_global_function("raise", rb_f_raise, -1);
    rb_define_global_function("fail", rb_f_raise, -1);
/*
    ..........
*/
}

其中raise这个字符串对应的方法是: rb_f_raise,

static VALUE
rb_f_raise(int argc, VALUE *argv)
{
    VALUE err;
    if (argc == 0) {
	err = get_errinfo();
	if (!NIL_P(err)) {
	    argc = 1;
	    argv = &err;
	}
    }
    rb_raise_jump(rb_make_exception(argc, argv));
    return Qnil;		/* not reached */
}

同时我们也可以看到其他方法的底层实现,比如:

• $@是获得出错信息的所在代码行,通过errat_getter实现
• $!是获得出错信息,通过errinfo_getter实现

我们既然要理解Ruby异常机制,那么我们就要对rb_f_raise进行仔细的分析.

现在我设计这样一个场景:

1. 在irb中通过raise抛出一个异常
2. 在gdb中对rb_f_raise设置断点
3. 执行 irb中的raise代码
4. 在gdb中step进入rb_f_raise及其里面,通过bt观察它的调用栈以及最底层的实现方式.

看我如下操作:

这个时候我们已经断到了rb_f_raise,下面就是要step进入其中,看看一个语言如何设计对异常的处理.

我没有把每一步的代码都贴出来,而是走到了最里面,当我遇到以下两个函数的时候,我认为我们就可以大概知道Ruby的异常处理是怎么实现的了.

int	_setjmp(jmp_buf);
void	_longjmp(jmp_buf, int);

深入过C++和Java实现的同学肯定也见过这两个函数,他们的作用就是:

• setjmp:收集当前堆栈信息并且保存到jmp_buf中,返回值是longjmp,如果不是从longjmp返回的,则返回0.
• longjmp:跳转到jmp_buf设定的位置,并将int返回给setjmp.

下面还有setjmp和longjmp的解释.

我出过一道面试题目,就是关于用setjmp.h中的方法实现异常处理的,在这里可以当作一个简单应用的例子,如下:

#include <setjmp.h>
jmp_buf jb;
int ret = setjmp(jb);
switch(ret)
{
case 0:/*ok*/;break;
case 1:exc1_handler();break;
case 2:exc2_handler();break;
default:default_handler();
}
 
if(a==b){/*do ok*/}
else{/*raise exception*/longjmp(jb,1)}

知道了这两个函数,我们就可以开心一下了,原来好多语言都使用它们去实现异常处理阿,只是功能丰富程度不同,但通过了解上面这些,至少我们知道了一个大概的思路,给我们自己的语言设计启发了不少.

话题再转回R uby的调试中,在断到longjmp的时候,我使用bt命令查看了一下调用栈,可以比较清楚的看到当在Ruby层面执行raise语句的时候,它是通过调用哪些关键函数来实现异常处理功能的.

整个raise的流程差不多就这样,我在对其中个别几个函数再剖析一下:

rb_make_exception是在rb_raise_jump的时候调用的,

他的作用就是生成一个异常对象给rb去raise.

现在我们来看一下这个exception的生成过程.

VALUE
rb_make_exception(int argc, VALUE *argv)
{
    VALUE mesg;
    ID exception;
    int n;

    mesg = Qnil;
    switch (argc) {
      case 0:
	break;
      case 1:
	if (NIL_P(argv[0]))
	    break;
	mesg = rb_check_string_type(argv[0]);
	if (!NIL_P(mesg)) {
	    mesg = rb_exc_new3(rb_eRuntimeError, mesg);
	    break;
	}
	n = 0;
	goto exception_call;

      case 2:
      case 3:
	n = 1;
      exception_call:
	CONST_ID(exception, "exception");
	if (!rb_respond_to(argv[0], exception)) {
	    rb_raise(rb_eTypeError, "exception class/object expected");
	}
	mesg = rb_funcall(argv[0], exception, n, argv[1]);
	break;
      default:
	rb_raise(rb_eArgError, "wrong number of arguments");
	break;
    }
    if (argc > 0) {
	if (!rb_obj_is_kind_of(mesg, rb_eException))
	    rb_raise(rb_eTypeError, "exception object expected");
	if (argc > 2)
	    set_backtrace(mesg, argv[2]);
    }

    return mesg;
}

罗列这么多代码的确很不好意思,因为不是每行都需要说明一下,但我又怕只取部分代码片段的话,会有人看不明白.

mesg = rb_check_string_type(argv[0]);

这里是将错误信息argv转换为String

mesg = rb_exc_new3(rb_eRuntimeError, mesg);

这里将mesg变成一个异常的对象,而在此之前它还只是个String.

我们看到更改mesg Ruby类型的时候都不需要加强制转换,就是因为这是在C层面,一切R uby对象都是VALUE.

rb_exc_new3是通过rb_funcall(etype, rb_intern("new"), 1, str);来实现的.

我们又看到了rb_intern方法,这个方法是把ruby的方法名字转换为id,然后找到该id对应的该函数的C的实现,再执行C的实现.这是C中使用Ruby函数的一个通用思路.

CONST_ID(exception, "exception");

这个宏定义如下:

#define CONST_ID_CACHE(result, str)			\
    {							\
	static ID rb_intern_id_cache;			\
	if (!rb_intern_id_cache)			\
	    rb_intern_id_cache = rb_intern2(str, strlen(str));	\
	result rb_intern_id_cache;			\
    }
#define CONST_ID(var, str) \
    do CONST_ID_CACHE(var =, str) while (0)

 其中static类型的rb_intern_id_cache用来保存exception的C实现,这样再次访问这个方法的时候就不用使用rb_intern2去取了.

贴一下setjmp和longjmp的解释:

这也能投隐藏贴,你们都是什么心态?

3、缝纫机

4、马耳他十字机芯——用于控制时钟的秒针运动

5、汽车变档机制

6、汽车等速万向节

7、舰炮弹--药装填系统

8、转子发动机——内燃机的一种，把热能转为旋转运动而非活塞运动

1、直列式发动机——它的汽缸肩并肩地排成一排

2、V 型发动机 ——汽缸排列在成一定角度的两个平面上

3、水平对置式发动机 ——汽缸排列在发动机相对的两个平面上