Io语言快餐(1) - 一切皆是对象，消息和槽的语言

Io是一种基于原型的语言。Io语法只不过是把消息全部串联起来，每条消息都会返回一个对象，每条消息也都带有置于括号内的可选参数。 在Io中，万事万物皆消息，且每条消息都会返回另一接收消息的对象。 Io语言没有关键字，有的只是少量在行为上接近于关键字的字符。

Io的官方网站是：http://iolanguage.org/ 源代码地址在：https://github.com/stevedekorte/io 在mac下，可以通过Homebrew安装io。

补充一句，为什么要了解Io这样的语言？如果不是《七周七语言》这样的书来介绍它，估计很少有人关注到它吧。其实目的很简单，作为js代码和js虚拟机的开发人员，学习原型化的语言对于更深入地理解javascript是有难以估量的帮助的。毕竟Javascript和Io同源，在原型化思想上都供鉴了Self语言的思想。

一切皆是消息和槽

这段代码的意思是，给”Hello,World”字符串发送print消息。

Io没有类，可通过复制现有对象创建新对象，现有对象就是原型。 可以通过clone消息创建新对象：

在Io里，对象没有属性，而是槽，通过:=可以对槽进行赋值，例：

:=是如果没有这个槽的话，就创建这个槽，而=是只赋值。

我们可以发送print消息，看看Circle对象现在是什么样子：

通过将槽名发给对象作为消息，可以读取值，例：

如果发给对象一个不存在的槽名做为消息，会得到错误信息，例：

继承

Io语言没有类的概念。但是，它的对象有带有type槽的对象和不带type槽的对象这两种。

如果一个对象的首字母为大写，它就默认是个带slot槽的对象。反之，如果是小写，则其没有type槽。

我们举个例子，假如我们定义了一个Circle对象，想生成不同的圆的实例，那么就可以用不带type槽的新对象。

例：

但是，我们想在圆的基础上扩充成一个球的对象，这个球对象可以做为各种大小的球的样板，我们就可以用大写开头做继承。

例：

ball1对象中并没有定义x, y, z, r槽，它们分别继承自Ball和Circle对象。请注意，ball1中我们使用的是”=”而不是”:=”，没有定义新槽。

我们可以通过给对象发送type消息来获取它的类型：

proto消息用于查询一个对象的原型是谁：

方法

方法是一种特殊的槽而已，也没什么特殊的。 比如我们写一个求圆的面积的方法吧：

调用一下：

对象知识复习

在继续前进之前，我们还需要打磨一下知识。

首先，我们需要理解Circle_0x7faa53434220这样的对象的含义。虽然没有明确，但是Circle实际上是一个指针，Circle_0x7faa53434220才是真正的对象。

我们来做这样一个实验，对Circle进行两次定义，然后分别克隆出它们的子对象，看看是什么情况：

看起来circle1和circle2的type都是Circle。

我们继续实验，给Circle增加两个槽：

原型对象变了，circle2自然也获得了area槽： 我们来验证一下：

那么，circle1是不是也可以呢？我们也来试验一下：

Circle类新增的属性对于circle1对象没有影响。 这是为什么？我们通过proto消息来看一下吧：

也就是说circle1是以Circle_0x7f984f4992b0对象为原型克隆出来的，而circle2是以Circle_0x7f9850b2b440为原型克隆出来的。 它们的type相同，但是proto不同。

为了避免误解，我们还是尽量保持proto和type一致吧。

小结