ruby三日游之后(一)——Ruby对象的一次探索

时间:2022-01-29 23:31:54

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

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

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

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

  1. 能够区分自身与其它(拥有标识)
  2. 能够响应请求(方法)
  3. 保持内部状态(实例变量)

Ruby 中的类层次结构


然后我们再看看一个有意思的结果:
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的类层次结构,至于为什么是这样的,不凡看看下面的这些代码。
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那么就看看下面的
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了。
原文是这么长:
#if defined HAVE_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


那么,简化一下为和前几个版本一致的,那么就是
typedef unsigned long VALUE;
原本的模型应该是这样的
ruby三日游之后(一)——Ruby对象的一次探索

Ruby的对象变的

让我们再简单看一看一个示例
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
ruby三日游之后(一)——Ruby对象的一次探索
因为这些都已经改变了 原先的对象只有这些
#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))
可是现在呢?
#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 不变的对象

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

struct RBasic {
VALUE flags;
const VALUE klass;
}

以及Object


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

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;
};

于是让我们回到

对象存在的必要条件

  1. 能够区分自身与其它(拥有标识)
  2. 能够响应请求(方法)
  3. 保持内部状态(实例变量)

struct RBasic {
VALUE flags;
const VALUE klass;
}
这两部分。
  • flags是个多目的的标记,大多用以记录结构体的类型。
  • klass包含了这个对象归属的类。
最后,让我们看看Float是怎么说的

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