当前位置: 首页 > 工具软件 > Io Language > 使用案例 >

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

丁绪
2023-12-01

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语言的思想。

一切皆是消息和槽

Io> "Hello,World" print
Hello,World==> Hello,World

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

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

Io> Circle := Object clone
==>  Circle_0x7fac57845db0:
  type             = "Circle"

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

Io> Circle x := 0
==> 0
Io> Circle y := 0
==> 0
Io> Circle r := 1
==> 1

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

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

Io> Circle print
 Circle_0x7fac57845db0:
  r                = 1
  type             = "Circle"
  x                = 0
  y                = 0
==>  Circle_0x7fac57845db0:
  r                = 1
  type             = "Circle"
  x                = 0
  y                = 0

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

Io> Circle x
==> 0

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

Io> Circle z = 2

  Exception: Slot z not found. Must define slot using := operator before updating.
  ---------
  message 'updateSlot' in 'Command Line' on line 1

继承

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

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

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

例:

Io> circle1 := Circle clone
==>  Circle_0x7faa55409e70:
Io> circle1 x = 1
==> 1
Io> circle1 y = 1
==> 1
Io> circle1 r = 2.5
==> 2.5
Io> circle1 slotNames
==> list(x, r, y)

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

例:

Io> Circle slotNames
==> list(type, x, r, y)
Io> Ball := Circle clone
==>  Ball_0x7faa536269a0:
  type             = "Ball"
Io> Ball z := 0
==> 0
Io> ball1 := Ball clone
==>  Ball_0x7faa5358cc30:
Io> ball1 x = 1
==> 1
Io> ball1 y = 1
==> 1
Io> ball1 z = 1
==> 1
Io> ball1 r = 1
==> 1
Io> ball1 slotNames
==> list(x, r, y, z)

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

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

Io> Circle type
==> Circle
Io> Ball type
==> Ball
Io> ball1 type
==> Ball

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

Io> ball1 proto
==>  Ball_0x7faa536269a0:
  type             = "Ball"
  z                = 0
Io> Ball proto
==>  Circle_0x7faa53659110:
  r                = 1
  type             = "Circle"
  x                = 0
  y                = 0

方法

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

Io> Circle area := method(3.14*r*r println)
==> method(
    3.14 * r * r println
)

调用一下:

Io> circle2 := Circle clone
==>  Circle_0x7faa53434220:
Io> circle2 area
1
==> 3.1400000000000001
Io> circle2 r = 4
==> 4
Io> circle2 area
4
==> 50.240000000000002

对象知识复习

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

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

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

Io> Circle := Object clone
==>  Circle_0x7f984f4992b0:
  type             = "Circle"

Io> 
==> nil
Io> Circle x := 0
==> 0
Io> Circle y := 0
==> 0
Io> Circle r := 1
==> 1
Io> 
==> nil
Io> Circle slotNames
==> list(type, x, r, y)
Io> circle1 := Circle clone
==>  Circle_0x7f984f457c20:
Io> circle1 type
==> Circle

Io> Circle := Object clone
==>  Circle_0x7f9850b2b440:
  type             = "Circle"
Io> Circle x := 0
==> 0
Io> Circle y := 0
==> 0
Io> Circle r := 1
==> 1
Io> Circle slotNames
==> list(type, x, r, y)
Io> circle2 := Circle clone
==>  Circle_0x7f98508b3a10:
Io> circle2 type
==> Circle

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

我们继续实验,给Circle增加两个槽:

Io> Circle area := method(3.1416*r*r println)
==> method(
    3.1416 * r * r println
)
Io> Circle desc := "Circle"
==> Circle

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

Io> circle2 x = 1
==> 1
Io> circle2 y = 1
==> 1
Io> circle2 r = 10
==> 10
Io> circle2 area
10
==> 314.160000000000025

那么,circle1是不是也可以呢?我们也来试验一下:

Io> circle1 x = 1
==> 1
Io> circle1 y = 1
==> 1
Io> circle1 r = 10
==> 10
Io> circle1 area

  Exception: Circle does not respond to 'area'
  ---------
  Circle area                          Command Line 1

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

Io> circle1 proto
==>  Circle_0x7f984f4992b0:
  r                = 1
  type             = "Circle"
  x                = 0
  y                = 0

Io> circle2 proto
==>  Circle_0x7f9850b2b440:
  area             = method(...)
  desc             = "Circle"
  r                = 1
  type             = "Circle"
  x                = 0
  y                = 0

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

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

小结

  • Io语言是一种原型式的语言,没有类,一切皆对象
  • 对象有槽,槽可以是任何对象,方法也是对象
  • 对象的操作只有一种,发送消息,消息的结果返回一个对象
  • clone出的对象可以继承父对象的槽
  • 大写开头的对象有type槽,小写开头的对象没有type槽
  • type和proto可能是不同的
 类似资料: