ruby三日游之后（一）——Ruby对象的一次探索

ruby三日ruby对象

目录(?)[+]

来自Ruby世界似乎是这样说的，“Ruby内一切都是对象”。

有趣的一切都是对象，那么一切也就没有不再是对象了？

"面向对象的设计方法是在结构化编程对控制流程实现了结构化后，又加上了对数据的结构化。"——《松本行弘的程序世界》

这里引用自《Ruby Hacking Guide》的对象一章的说法，对象存在的必要条件

能够区分自身与其它（拥有标识）
能够响应请求（方法）
保持内部状态（实例变量）

Ruby 中的类层次结构

然后我们再看看一个有意思的结果：

[ruby]
view plaincopyprint?





irb(main):022:0> Object.class
=> Class
irb(main):023:0> Object.superclass
=> BasicObject
irb(main):024:0> BasicObject.superclass
=> nil
irb(main):025:0>

这里使用的是1.9.3版本的ruby，于是这是Ruby的类层次结构，至于为什么是这样的，不凡看看下面的这些代码。

[cpp]
view plaincopyprint?





void
Init_class_hierarchy(void)
{
rb_cBasicObject = boot_defclass("BasicObject", 0);
rb_cObject = boot_defclass("Object", rb_cBasicObject);
rb_cModule = boot_defclass("Module", rb_cObject);
rb_cClass = boot_defclass("Class", rb_cModule);

rb_const_set(rb_cObject, rb_intern("BasicObject"), rb_cBasicObject);
RBASIC_SET_CLASS(rb_cClass, rb_cClass);
RBASIC_SET_CLASS(rb_cModule, rb_cClass);
RBASIC_SET_CLASS(rb_cObject, rb_cClass);
RBASIC_SET_CLASS(rb_cBasicObject, rb_cClass);
}

这是用于初化化类层次的代码，也就是hierarchy的意思，层次，层次结构。
至于，boot_defclass那么就看看下面的

[cpp]
view plaincopyprint?





static VALUE
boot_defclass(const char *name, VALUE super)
{
VALUE obj = rb_class_boot(super);
ID id = rb_intern(name);

rb_name_class(obj, id);
rb_const_set((rb_cObject ? rb_cObject : obj), id, obj);
return obj;
}

如果这里还有什么令人不明白的地方，那么可能就是VALUE了。
原文是这么长：

[cpp]
view plaincopyprint?





#if defined H***E_UINTPTR_T && 0
typedef uintptr_t VALUE;
typedef uintptr_t ID;
# define SIGNED_VALUE intptr_t
# define SIZEOF_VALUE SIZEOF_UINTPTR_T
# undef PRI_VALUE_PREFIX
#elif SIZEOF_LONG == SIZEOF_VOIDP
typedef unsigned long VALUE;
typedef unsigned long ID;
# define SIGNED_VALUE long
# define SIZEOF_VALUE SIZEOF_LONG
# define PRI_VALUE_PREFIX "l"
#elif SIZEOF_LONG_LONG == SIZEOF_VOIDP
typedef unsigned LONG_LONG VALUE;
typedef unsigned LONG_LONG ID;
# define SIGNED_VALUE LONG_LONG
# define LONG_LONG_VALUE 1
# define SIZEOF_VALUE SIZEOF_LONG_LONG
# define PRI_VALUE_PREFIX PRI_LL_PREFIX
#else
# error ---->> ruby requires sizeof(void*) == sizeof(long) or sizeof(LONG_LONG) to be compiled. <<----
#endif

那么，简化一下为和前几个版本一致的,那么就是

[cpp]
view plaincopyprint?





typedef unsigned long VALUE;

原本的模型应该是这样的

Ruby的对象变的

让我们再简单看一看一个示例

[cpp]
view plaincopyprint?





irb(main):025:0> 1.class
=> Fixnum
irb(main):026:0> Fixnum.class
=> Class
irb(main):027:0> Fixnum.superclass
=> Integer
irb(main):028:0> Fixnum.superclass.superclass
=> Numeric
irb(main):029:0> Fixnum.superclass.superclass.superclass
=> Object
irb(main):030:0> Fixnum.superclass.superclass.superclass.superclass
=> BasicObject
irb(main):031:0>

好吧，我觉得引用RHG中的图来说明可能会更简单一点，只是这张图只能做一时只用(转载保留 Phodal's
Blog Phodal's zenthink)



因为这些都已经改变了
原先的对象只有这些

[cpp]
view plaincopyprint?





#define R_CAST(st) (struct st*)
#define RBASIC(obj) (R_CAST(RBasic)(obj))
#define ROBJECT(obj) (R_CAST(RObject)(obj))
#define RCLASS(obj) (R_CAST(RClass)(obj))
#define RMODULE(obj) RCLASS(obj)
#define RFLOAT(obj) (R_CAST(RFloat)(obj))
#define RSTRING(obj) (R_CAST(RString)(obj))
#define RREGEXP(obj) (R_CAST(RRegexp)(obj))
#define RARRAY(obj) (R_CAST(RArray)(obj))
#define RHASH(obj) (R_CAST(RHash)(obj))
#define RDATA(obj) (R_CAST(RData)(obj))
#define RSTRUCT(obj) (R_CAST(RStruct)(obj))
#define RBIGNUM(obj) (R_CAST(RBignum)(obj))
#define RFILE(obj) (R_CAST(RFile)(obj))

可是现在呢？

[cpp]
view plaincopyprint?





#define R_CAST(st) (struct st*)
#define RBASIC(obj) (R_CAST(RBasic)(obj))
#define ROBJECT(obj) (R_CAST(RObject)(obj))
#define RCLASS(obj) (R_CAST(RClass)(obj))
#define RMODULE(obj) RCLASS(obj)
#define RFLOAT(obj) (R_CAST(RFloat)(obj))
#define RSTRING(obj) (R_CAST(RString)(obj))
#define RREGEXP(obj) (R_CAST(RRegexp)(obj))
#define RARRAY(obj) (R_CAST(RArray)(obj))
#define RHASH(obj) (R_CAST(RHash)(obj))
#define RDATA(obj) (R_CAST(RData)(obj))
#define RTYPEDDATA(obj) (R_CAST(RTypedData)(obj))
#define RSTRUCT(obj) (R_CAST(RStruct)(obj))
#define RBIGNUM(obj) (R_CAST(RBignum)(obj))
#define RFILE(obj) (R_CAST(RFile)(obj))
#define RRATIONAL(obj) (R_CAST(RRational)(obj))
#define RCOMPLEX(obj) (R_CAST(RComplex)(obj))

比之前多了TYPEDATA,RATIONAL,COMPLEX三个对象

Ruby 不变的对象

让我们看看结构化的那部分

[cpp]
view plaincopyprint?





struct RBasic {
VALUE flags;
const VALUE klass;
}

以及Object

[cpp]
view plaincopyprint?





struct RObject {
struct RBasic basic;
union {
struct {
long numiv;
VALUE *ivptr;
struct st_table *iv_index_tbl; /* shortcut for RCLASS_IV_INDEX_TBL(rb_obj_class(obj)) */
} heap;
VALUE ary[ROBJECT_EMBED_LEN_MAX];
} as;
};

还有Rstring

[cpp]
view plaincopyprint?





struct RString {
struct RBasic basic;
union {
struct {
long len;
char *ptr;
union {
long capa;
VALUE shared;
} aux;
} heap;
char ary[RSTRING_EMBED_LEN_MAX + 1];
} as;
};

于是让我们回到
对象存在的必要条件

能够区分自身与其它（拥有标识）
能够响应请求（方法）
保持内部状态（实例变量）

[cpp]
view plaincopyprint?





struct RBasic {
VALUE flags;
const VALUE klass;
}

这两部分。

flags是个多目的的标记，大多用以记录结构体的类型。
klass包含了这个对象归属的类。

最后，让我们看看Float是怎么说的

[cpp]
view plaincopyprint?





struct RFloat {
struct RBasic basic;
double float_value;
};