Io语言快餐(1) - 一切皆是对象,消息和槽的语言-阿里云开发者社区

开发者社区> lusing> 正文

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

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

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可能是不同的

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
过程式语言与面向对象语言的区别
过程式语言与面向对象语言,到底有什么区别?可能是初学者常碰到的问题。简单来说,过程式语言整个是构建在动词上的语言。比如,最常见的经典过程式语言- C语言,打印一条语句的语法是printf(), 这个方法的名字本身就是一个动词,这个动词强调了一个动作的过程,所谓过程式就是这个意思。
481 0
Class类对象的三种实例化模式 | 带你学《Java语言高级特性》之八十一
本节需要学会掌握Class类对象的三种实例化模式的方法,在以后的开发过程中都会用到。
570 0
《Java程序员面试秘笈》—— 面试题8 在Java中,对象是如何传递消息的
面试题解析Java对象之间的消息传递,是通过调用相互的实例方法来实现的,而不是静态方法。
1760 0
C++语言基础 例程 对象数组
贺老师的教学链接  本课讲解 对象数组应用实例 #include <iostream> using namespace std; class Box { public: Box(int h=10,int w=12,int len=15): height(h),width(w),length(len) { } int volume( ); private:
760 0
阿里云服务器端口号设置
阿里云服务器初级使用者可能面临的问题之一. 使用tomcat或者其他服务器软件设置端口号后,比如 一些不是默认的, mysql的 3306, mssql的1433,有时候打不开网页, 原因是没有在ecs安全组去设置这个端口号. 解决: 点击ecs下网络和安全下的安全组 在弹出的安全组中,如果没有就新建安全组,然后点击配置规则 最后如上图点击添加...或快速创建.   have fun!  将编程看作是一门艺术,而不单单是个技术。
4479 0
Io语言快餐(1) - 一切皆是对象,消息和槽的语言
为什么要了解Io这样的语言?如果不是《七周七语言》这样的书来介绍它,估计很少有人关注到它吧。其实目的很简单,作为js代码和js虚拟机的开发人员,学习原型化的语言对于更深入地理解javascript是有难以估量的帮助的。毕竟javascript和Io同源,在原型化思想上都供鉴了Self语言的思想。
3160 0
+关注
lusing
刘子瑛,阿里系统框架专家。工作十余年,一直对新编程语言、新开发方法、数学与算法相关和并发等相关领域保持浓厚的兴趣。乐于通过技术分享促进新技术。
179
文章
60
问答
文章排行榜
最热
最新
相关电子书
更多
文娱运维技术
立即下载
《SaaS模式云原生数据仓库应用场景实践》
立即下载
《看见新力量:二》电子书
立即下载